seckindemirbas / PLPLinks
This is the repository for PLP, An introduction to mathematical proof, book
☆19Updated last year
Alternatives and similar repositories for PLP
Users that are interested in PLP are comparing it to the libraries listed below
Sorting:
- Theorems, Definitions, Papers, Research☆17Updated 6 years ago
- Translate LaTeX or TeX math markup to typst☆30Updated 2 months ago
- Notes on Diffy Qs, a textbook for differential equations☆69Updated 2 weeks ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Python for Mathematics: A book aimed at undergraduate mathematicians learning python☆20Updated last year
- Julia interface to GAlgebra via PyCall☆17Updated this week
- A domain specific language (DSL) for probabilistic graphical models☆49Updated last week
- Lecture slides and homework assignments for MA3227 Numerical Analysis II at the National University of Singapore.☆24Updated 4 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆31Updated last year
- Typst package for creating scientific posters☆74Updated last week
- Errata for Algorithms for Optimization book☆71Updated 3 months ago
- A package for marking and annotating in math blocks in Typst.☆40Updated 2 months ago
- Tutorial material for Julia basic training☆43Updated 3 weeks ago
- Julia High Performance☆24Updated 6 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 2 weeks ago
- GluCat: Clifford algebra templates☆21Updated 4 months ago
- Resources for learning about numerical methods.☆40Updated last year
- A collection of facilitative tools for LaTeX typesetting☆18Updated 8 months ago
- SciML-Bench Benchmarks for Scientific Machine Learning (SciML), Physics-Informed Machine Learning (PIML), and Scientific AI Performance☆23Updated last week
- Repo to host book about Lagrangian Descriptors technique☆16Updated 2 years ago
- Fundamentals of Numerical Computation text, Julia version for the MATLAB (1st) edition.☆85Updated 3 weeks ago
- A Typst package for various enhancements for mathematical expressions.☆26Updated 2 months ago
- Creates bibliographies in Typst with URL/DOI links☆12Updated 3 months ago
- Shorthand column notations for tables in Typst.☆13Updated 2 weeks ago
- Lecture slides and homework assignments for MA5233 Computational Mathematics at the National University of Singapore.☆39Updated 4 years ago
- A perl script for searching and replacing in mathematics in LaTeX documents.☆11Updated 3 years ago
- JuliaLab Website☆22Updated last month
- APEX Calculus text, Version 4. Static; for updated files, see APEXCalculusV5.☆34Updated 5 years ago
- Repository for the 2020 AI2S Julia course☆8Updated 4 years ago