planetmath / 00_GeneralLinks
☆39Updated 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:
- P.D. Magnus' forallx logic textbook☆69Updated 9 months ago
- ☆30Updated 8 years ago
- Open Source Precollege Algebra Textbook☆22Updated 5 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated last week
- Working through Structure and Interpretation of Classical Mechanics.☆129Updated 2 months ago
- "A First Course in Linear Algebra" open source textbook☆69Updated 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
- Tea Time Numerical Analysis☆26Updated 3 years ago
- All code examples from "The Little Prover" book☆23Updated 10 years ago
- ☆15Updated last year
- Riemann Hypothesis book☆74Updated 8 years ago
- probabilistic programming for PL folks☆159Updated 4 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆51Updated last week
- SymPy Documentation repository☆37Updated this week
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆85Updated 2 years ago
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- Applied Discrete Structures using PreTeXt☆45Updated last month
- A copy of all materials (TEX, PDF, DOC, PNG) used in my article on TeX and professional fonts☆125Updated 14 years ago
- Let's translate works of Grothendieck☆32Updated 6 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- Collection of animals and other beings drawn in TikZ☆98Updated last week
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆33Updated 8 years ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated this week
- Tim Button's open textbook on set theory☆41Updated 6 months ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Example projects, code, and documents for comparing Mathematica with R.☆58Updated last year
- Have Zotero interact with TeXmacs☆23Updated 2 years ago
- A toy Lisp interpreter and simple eval function☆148Updated 2 years ago