planetmath / 00_GeneralLinks
☆37Updated 7 years ago
Alternatives and similar repositories for 00_General
Users that are interested in 00_General are comparing it to the libraries listed below
Sorting:
- Tea Time Numerical Analysis☆26Updated 2 years ago
- ☆30Updated 7 years ago
- 2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)☆18Updated 9 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- Open Source Precollege Algebra Textbook☆20Updated last month
- Hevea is a fast latex to html translator☆103Updated 3 weeks ago
- ☆14Updated last year
- SymPy Documentation repository☆34Updated this week
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated last month
- ☆19Updated last year
- Riemann Hypothesis book☆75Updated 7 years ago
- A Python to Emacs-Lisp Compiler☆12Updated 8 years ago
- ☆21Updated last year
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆45Updated last month
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Deposited packages of the homalg project☆14Updated last month
- Tim Button's open textbook on set theory☆37Updated last year
- Intuitionistic Programming Language☆11Updated 11 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Euclidean plane and its relatives; a minimalist introduction.☆18Updated last month
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆25Updated 9 months ago
- Self-contained, one-step literate markdown.☆24Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- The Aldor Programming Language☆34Updated 3 months ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆82Updated last year
- Short essays I've written☆78Updated last year