mathigon / world-of-mathematics
Using beautiful graphics and interactive simulations, this award winning textbook makes advanced mathematical ideas accessible to the general public.
☆32Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for world-of-mathematics
- A reading list of of papers on alternatives and subjunctive interfaces☆10Updated 9 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆154Updated 5 years ago
- knot theory and computational algebra software☆34Updated 10 years ago
- A Monad for simulating quantum processes.☆22Updated 10 years ago
- ☆14Updated 4 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- A system for computational category theory and applications☆35Updated 8 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- Tim Button's open textbook on set theory☆30Updated last year
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Textbook on metalogic based on the Open Logic Project☆36Updated 10 months ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- An encyclopedia of proofs☆57Updated this week
- Elementary Number Theory: Primes, Congruences, and Secrets☆107Updated last year
- The Quantum IO Monad, implemented in Haskell☆100Updated 8 months ago
- A hip inductive theorem prover!☆88Updated 2 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆70Updated 3 years ago
- A DSL for the internal language of a topos☆61Updated 7 months ago
- Metamath verifier in Python☆34Updated 7 months ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- Theorem proving in Lean☆48Updated 3 weeks ago
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 6 years ago
- Real number computation software☆121Updated 2 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- multilingual dictionary of mathematical terminology☆19Updated last week
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 2 years ago