mathigon / world-of-mathematicsLinks
Using beautiful graphics and interactive simulations, this award winning textbook makes advanced mathematical ideas accessible to the general public.
☆33Updated 7 years ago
Alternatives and similar repositories for world-of-mathematics
Users that are interested in world-of-mathematics are comparing it to the libraries listed below
Sorting:
- Elementary Number Theory: Primes, Congruences, and Secrets☆109Updated last year
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- sorear's Metamath system engine☆13Updated 9 years ago
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 7 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- ☆59Updated 4 months ago
- A system for computational category theory and applications☆38Updated 9 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- Applied Discrete Structures using PreTeXt☆44Updated this week
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- multilingual dictionary of mathematical terminology☆19Updated last week
- Metamath verifier in Python☆40Updated last month
- VATA Tree Automata Library☆32Updated 11 months ago
- The Universal Algebra Calculator☆14Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Mathematica's programming language parser written in Scala☆24Updated 10 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- World's dumbest fuzzer☆52Updated last year
- Working through Structure and Interpretation of Classical Mechanics.☆125Updated last year
- The MMT Language and System☆75Updated 11 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated this week
- Mathematical Components (the Book)☆146Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Real number computation software☆125Updated 2 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆180Updated 2 years ago
- Programming Language Explorations☆94Updated last week
- ☆13Updated 4 years ago