Books
Michael Kohlhase
Dennis Müller
Dennis Müller
Michael Kohlhase
Papers
Michael Kohlhase
Dennis Müller
Dennis Müller
Dennis Müller
Michael Kohlhase
Michael Kohlhase
Marc Berges
Jonas Betzendahl
Abhishek Chugh
Michael Kohlhase
Dominic Lohr
Dennis Müller
Jonas Betzendahl
Abhishek Chugh
Michael Kohlhase
Dominic Lohr
Dennis Müller
Dominic Lohr
Marc Berges
Michael Kohlhase
Dennis Müller
Max Rappr
Marc Berges
Michael Kohlhase
Dennis Müller
Max Rappr
Dennis Müller
Josefine Kelber
Michael Kohlhase
Jan Frederik Schaefer
Marcel Schütz
Michael Kohlhase
Jan Frederik Schaefer
Marcel Schütz
Libraries
Informatische Werkzeuge der Geistes- und Sozialwissenschaften
smglom/IWGS
AI
smglom/ai
Algebra
smglom/algebra
Analysis
smglom/analysis
Arithmetics
smglom/arithmetics
Automated Reasoning
smglom/atp
Automata
smglom/automata
Calculus
smglom/calculus
Categories
smglom/categories
Cognitive Science
smglom/cogsci
Complexity Theory
smglom/complexity
Computing
smglom/computing
Mathematical Constants
smglom/constants
Computer Science
smglom/cs
Constraint Satisfaction
smglom/csp
Databases
smglom/db
Didactics
smglom/didactics
Elliptic Curves
smglom/elliptic-curves
Epistemology
smglom/epistemology
Formal Methods
smglom/formal-methods
Functional Analysis
smglom/functional-analysis
Introduction to Programming
smglom/gdp
Geometry
smglom/geometry
Formal Grammars
smglom/grammar
Graph Theory
smglom/graphs
Mathematical Identities
smglom/identities
Knowledge Representation
smglom/krmt
Logic-Based Natural Language Semantics
smglom/lbs
Linear Algebra
smglom/linear-algebra
Linguistics
smglom/linguistics
Logic
smglom/logic
Magic Squares
smglom/magic
Manifolds
smglom/manifolds
Mathematics
smglom/math
Mathematical Software
smglom/mathsoft
Measure Theory
smglom/measure-theory
Machine Learning
smglom/ml
MMT
smglom/mmt
Mathematical Vernacular
smglom/mv
Natural Language Processing
smglom/nlp
Numbers
smglom/numbers
Number Theory
smglom/numthy
Functions in Number Theory
smglom/numthyfun
Organizations
smglom/orga
Physics
smglom/physics
Prime Numbers
smglom/primes
Probability Theory
smglom/probability
Research Data
smglom/research-data
Search Algorithms
smglom/search
Set Theory
smglom/sets
Statistics
smglom/stats
Theoretical Computer Science
smglom/theocs
Topology
smglom/topology
Trigonometry
smglom/trigonometry
Units
smglom/units
VoLL-KI
smglom/voll-ki
Web Technologies
smglom/www