iblech/constructive-algebra iblech/constructive-algebra

  • Stars
    star
    2
  • Language
    Haskell
  • Created over 9 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
iblech/constructive-algebra
github

iblech

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Haskell library for dealing with algebraic numbers and Galois groups

More Repositories

1

internal-methods

Notes on how to use the internal language of toposes in algebraic geometry
TeX
49
star
2

sshlatex

A collection of hacks to efficiently run LaTeX via ssh
Shell
39
star
3

agdapad

Agda as a collaborative multiplayer game
JavaScript
27
star
4

scheme-theory-in-agda

A formalization of synthetic algebraic geometry in Agda
Agda
13
star
5

mathe-notizen

Random notes on mathematics (in German)
TeX
11
star
6

vortrag-haskell

Slides for an introductory talk about Haskell (in German)
TeX
11
star
7

mathezirkel-kurs

Worksheets and lecture notes for my math courses for school students (in German)
TeX
10
star
8

constructive-maximal-ideals

Reifying dynamical algebra: maximal ideals in countable rings, constructively
TeX
4
star
9

talk-physics-of-sounds

The physics of sounds: experiments with basic Linux tools
C
3
star
10

hardlink-deduplication

Tiny Perl program to deduplicate files using hardlinks
Perl
3
star
11

modellkategorien

Exercise sheets for a course on Model Categories at the University of Augsburg
TeX
2
star
12

talk-hott

Introductory talk on homotopy type theory
TeX
2
star
13

talk-constructive-mathematics

Talks about constructive mathematics
TeX
2
star
14

talk-pugs-retrospective

A retrospective on Pugs, the experimental Perl 6 platform of 2005 and 2006
TeX
2
star
15

mathematik-der-vorhersagen

Unterlagen zum JGW-Kurs /Mathematik der Vorhersagen/ (Papenburg-1 2015)
Python
2
star
16

latex2png

A short shell script to compile LaTeX sources to cropped PNG images
Shell
2
star
17

algebraische-zahlentheorie

Exercise sheets for a one-semester course on Algebraic Number Theory
TeX
2
star
18

homologische-algebra

Exercise sheets for a two-semester course on Homological Algebra at the University of Augsburg
TeX
2
star
19

zufall-als-ressource

Wenn die Sonne über Monte-Carlo scheint: wie mathematische Zufallsmethoden Simulationen physikalischer Naturphänomene ermöglichen (notes for a German math course)
Python
1
star
20

algebra

Exercise sheets for several courses on Algebra
TeX
1
star
21

instiki-cli

Tiny tool to edit Instiki wikis locally
Perl
1
star
22

elm-experiments

Tiny experiments with Elm
Elm
1
star
23

vortrag-typographie

Slides for a crash course on typography (in German)
TeX
1
star
24

mathezirkel

Organization of the Augsburger Matheschülerzirkel
TeX
1
star
25

pizzaseminar

Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germany
Tcl
1
star
26

talk-homological-algebra

A quickstart guide to derived functors and spectral sequences
TeX
1
star