seckindemirbas / PLPLinks
This is the repository for PLP, An introduction to mathematical proof, book
☆19Updated 11 months ago
Alternatives and similar repositories for PLP
Users that are interested in PLP are comparing it to the libraries listed below
Sorting:
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆31Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Notes on Diffy Qs, a textbook for differential equations☆65Updated last week
- Theorems, Definitions, Papers, Research☆17Updated 5 years ago
- Basic Analysis, undergraduate real analysis textbook☆75Updated last week
- Lecture slides and homework assignments for MA5233 Computational Mathematics at the National University of Singapore.☆39Updated 4 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Commutative diagrams with TikZ☆52Updated 2 years ago
- A Binder repo for SageMath computing environment☆27Updated this week
- Python package to convert LaTeX markup to DOM☆14Updated 4 months ago
- Errata for Algorithms for Optimization book☆70Updated last month
- P.D. Magnus' forallx logic textbook☆67Updated 2 months ago
- Tutorial material for Julia basic training☆34Updated last week
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated this week
- Python for Mathematics: A book aimed at undergraduate mathematicians learning python☆19Updated last year
- Stanford's CS229 Machine Learning lecture notes compiled into a Tufte-style textbook☆55Updated 3 years ago
- Estimate derivatives with finite differences☆17Updated 6 months ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆73Updated last year
- The root repository for the SpectralSequences project.☆30Updated 2 months ago
- Translate LaTeX or TeX math markup to typst☆30Updated 3 weeks ago
- Lecture notes for the "Randomised and Advanced algorithms" class developed for the University of Sydney.☆18Updated 3 months ago
- Source code for some notes for the mathematical tripos.☆22Updated 6 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆18Updated last week
- ☆37Updated 3 years ago
- Lightweight markup language - Document Once☆50Updated 2 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆12Updated 2 months ago
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆27Updated 3 years ago
- Collection of scripts to animate matplotlib plots with manim☆50Updated 2 years ago
- C++ courses for Paris Dauphine☆22Updated 3 years ago