There are no reviews yet. Be the first to send feedback to the community and the maintainers!
internal-methods
Notes on how to use the internal language of toposes in algebraic geometrysshlatex
A collection of hacks to efficiently run LaTeX via sshagdapad
Agda as a collaborative multiplayer gamescheme-theory-in-agda
A formalization of synthetic algebraic geometry in Agdamathe-notizen
Random notes on mathematics (in German)vortrag-haskell
Slides for an introductory talk about Haskell (in German)mathezirkel-kurs
Worksheets and lecture notes for my math courses for school students (in German)constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructivelytalk-physics-of-sounds
The physics of sounds: experiments with basic Linux toolshardlink-deduplication
Tiny Perl program to deduplicate files using hardlinksmodellkategorien
Exercise sheets for a course on Model Categories at the University of Augsburgtalk-hott
Introductory talk on homotopy type theorytalk-constructive-mathematics
Talks about constructive mathematicstalk-pugs-retrospective
A retrospective on Pugs, the experimental Perl 6 platform of 2005 and 2006constructive-algebra
Haskell library for dealing with algebraic numbers and Galois groupslatex2png
A short shell script to compile LaTeX sources to cropped PNG imagesalgebraische-zahlentheorie
Exercise sheets for a one-semester course on Algebraic Number Theoryhomologische-algebra
Exercise sheets for a two-semester course on Homological Algebra at the University of Augsburgzufall-als-ressource
Wenn die Sonne über Monte-Carlo scheint: wie mathematische Zufallsmethoden Simulationen physikalischer Naturphänomene ermöglichen (notes for a German math course)algebra
Exercise sheets for several courses on Algebrainstiki-cli
Tiny tool to edit Instiki wikis locallyelm-experiments
Tiny experiments with Elmvortrag-typographie
Slides for a crash course on typography (in German)mathezirkel
Organization of the Augsburger Matheschülerzirkelpizzaseminar
Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germanytalk-homological-algebra
A quickstart guide to derived functors and spectral sequencesLove Open Source and this site? Check out how you can help us