seckindemirbas / PLP
This is the repository for PLP, An introduction to mathematical proof, book
☆18Updated 10 months ago
Alternatives and similar repositories for PLP
Users that are interested in PLP are comparing it to the libraries listed below
Sorting:
- Notes on Diffy Qs, a textbook for differential equations☆64Updated 3 weeks ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆30Updated last year
- Basic Analysis, undergraduate real analysis textbook☆75Updated last month
- Source code for some notes for the mathematical tripos.☆22Updated 6 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated 3 weeks ago
- Translate LaTeX or TeX math markup to typst☆29Updated 3 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆72Updated last year
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated last year
- A Binder repo for SageMath computing environment☆27Updated this week
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆26Updated 3 years ago
- An Infinite Descent into Pure Mathematics☆42Updated 4 years ago
- Run python code in typst☆33Updated last year
- LaTeX graphics with TikZ, by Packt Publishing☆153Updated 10 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated 2 weeks ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Theorems, Definitions, Papers, Research☆17Updated 5 years ago
- P.D. Magnus' forallx logic textbook☆67Updated last month
- Tag-based webview of LaTeX documents☆28Updated last year
- GeoGebra Discovery☆22Updated 3 weeks ago
- Commutative diagrams with TikZ☆51Updated 2 years ago
- Solving Leetcode problems in Typst☆24Updated last year
- Supplementary code for Introduction to Theoretical Computer Science book.☆65Updated last year
- Macaulay2 web app with support for KaTeX and HTML output☆18Updated 4 months ago
- Lecture slides and homework assignments for MA3227 Numerical Analysis II at the National University of Singapore.☆24Updated 4 years ago
- Project to verify the Guy-Selfridge conjectures☆16Updated this week
- The root repository for the SpectralSequences project.☆30Updated last month
- A Typst Resume/CV template, inspired by Alessandro Plasmati's Graduate CV LaTex template☆20Updated 5 months ago
- Font Awesome SVG's for Manim☆18Updated last year
- Collection of scripts to animate matplotlib plots with manim☆50Updated 2 years ago