planetmath / 00_General
☆33Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for 00_General
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 6 months ago
- ☆27Updated 6 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated 10 months ago
- Tea Time Numerical Analysis☆26Updated 2 years ago
- Open Source Precollege Algebra Textbook☆19Updated 3 weeks ago
- Learning Haskell: algorithms, data structures, mini-programs, materials, excercises☆17Updated 5 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆36Updated 12 years ago
- Riemann Hypothesis book☆74Updated 6 years ago
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- P.D. Magnus' forallx logic textbook☆60Updated 11 months ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆42Updated 3 weeks ago
- Metamath verifier in Python☆34Updated 7 months ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆27Updated 7 months ago
- The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)☆88Updated last year
- Kan: A browser extension for reading nLab☆25Updated 6 years ago
- Tools for managing the TeX sources of the Stacks project☆15Updated 5 months ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Basic Analysis, undergraduate real analysis textbook☆61Updated 3 weeks ago
- Library for exact real number computations☆39Updated 9 years ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆24Updated 3 months ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 7 years ago
- DeepAlgebra☆25Updated 7 years ago
- ☆13Updated 9 months ago
- Notes on Diffy Qs, a textbook for differential equations☆58Updated last week
- Elementary Number Theory: Primes, Congruences, and Secrets☆107Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago