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 3 weeks ago
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- Working through Structure and Interpretation of Classical Mechanics.☆125Updated last year
- Open Source Precollege Algebra Textbook☆20Updated last week
- Riemann Hypothesis book☆75Updated 7 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated last month
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Tea Time Numerical Analysis☆26Updated 2 years ago
- Jupyter Kernel for Mathics☆20Updated 8 years 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
- Maxima, the descendant of Macsyma computer algebra system (CAS), ported to Android☆45Updated 8 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- Example projects, code, and documents for comparing Mathematica with R.☆57Updated 11 months ago
- knot theory and computational algebra software☆37Updated 11 years ago
- SymPy Documentation repository☆36Updated this week
- Computer calculations made easy☆134Updated 11 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system i…☆17Updated 2 weeks ago
- A free open-source textbook for Multivariable Calculus that emphasizes differentials and linear algebra☆38Updated 14 years ago
- Numerical Algorithms in C☆84Updated 13 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- Notes on Diffy Qs, a textbook for differential equations☆72Updated this week
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- ☆21Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆196Updated 7 months 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 system for computational category theory and applications☆39Updated 9 years ago