assumptionsofphysics / bookLinks
The "Assumptions of Physics" book
☆32Updated this week
Alternatives and similar repositories for book
Users that are interested in book are comparing it to the libraries listed below
Sorting:
- A Tensor Language☆55Updated 4 years ago
- Python implementation of the monster group☆53Updated 3 weeks ago
- A software package for analyzing Calabi-Yau manifolds.☆36Updated this week
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆93Updated last month
- Building dynamical systems compositionally☆73Updated last week
- The Open Problems Project☆38Updated 3 months ago
- Quantum computing without the linear algebra☆76Updated 3 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆107Updated last week
- Sources for "Applied Category Theory for Engineering"☆35Updated 2 weeks ago
- ☆92Updated last year
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆144Updated last year
- Wolfram Notebooks + LLMs☆98Updated this week
- Build Petri net models compositionally☆88Updated 3 weeks ago
- A semantic Extension of TeX/LaTeX☆54Updated last month
- Notes on Diffy Qs, a textbook for differential equations☆74Updated this week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆62Updated 6 months ago
- open source E-book on statistical physics☆46Updated last year
- Group theory visualization software in the browser☆255Updated last year
- A community database for the problems on the erdosproblems.com site☆71Updated this week
- ☆70Updated 3 weeks ago
- blueprint for prime number theorem and more☆188Updated this week
- plasTeX plugin to build formalization blueprints.☆240Updated this week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- The root repository for the SpectralSequences project.☆31Updated last week
- A framework for composing and simulating multiphysics systems☆72Updated last week
- Symbolic Geometric Algebra/Calculus package for SymPy☆268Updated 3 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Source code for the nLab☆186Updated 6 months ago