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:
- ☆30Updated 7 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated 2 weeks ago
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated last year
- P.D. Magnus' forallx logic textbook☆67Updated 3 months ago
- "A First Course in Linear Algebra" open source textbook☆67Updated last week
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Open Source Precollege Algebra Textbook☆20Updated 2 months ago
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- Tea Time Numerical Analysis☆26Updated 2 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Maxima, the descendant of Macsyma computer algebra system (CAS), ported to Android☆45Updated 8 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆45Updated 2 months ago
- Hevea is a fast latex to html translator☆106Updated last month
- Literate Programming in C/C++☆33Updated 2 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Latex source for geometric algebra and physics notes.☆37Updated last week
- ☆43Updated 2 months ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆41Updated this week
- A Python to Emacs-Lisp Compiler☆12Updated 8 years ago
- BibTeX bibliography for The Princeton Companion to Applied Mathematics.☆10Updated 9 years ago
- MMIX 2009 – a RISC computer for the third millennium☆42Updated last week
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- Collection of builtin GNU TeXmacs plugins☆44Updated 5 months ago
- Website for personal collection and previewing of Beamer and TikZ snippets. Presented with Python/Jinja2.☆111Updated 10 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- Applied Discrete Structures using PreTeXt☆44Updated 3 weeks ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- A system for computational category theory and applications☆38Updated 9 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago