assumptionsofphysics / book
The "Assumptions of Physics" book
☆27Updated 2 weeks ago
Alternatives and similar repositories for book:
Users that are interested in book are comparing it to the libraries listed below
- Developing mathematics in Coq from the ground up☆20Updated 8 months ago
- Notes on Diffy Qs, a textbook for differential equations☆63Updated 3 weeks ago
- ☆21Updated this week
- A Tensor Language☆55Updated 4 years ago
- The main source code for Regina☆38Updated last week
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 3 years ago
- Building dynamical systems compositionally☆69Updated 6 months ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- GluCat: Clifford algebra templates☆20Updated 2 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last month
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆71Updated last month
- A domain specific language (DSL) for probabilistic graphical models☆43Updated this week
- The Open Problems Project☆27Updated 4 months ago
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆20Updated 9 months ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆20Updated 2 weeks ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 5 months ago
- ☆69Updated 3 weeks ago
- ☆18Updated last year
- Metamath verifier in Python☆38Updated last year
- Representing Wolfram Language expressions in Rust.☆17Updated last year
- Formalizing results about the Mandelbrot set in Lean☆21Updated 6 months ago
- VSCode extension for Metamath☆10Updated last month
- Commutative diagrams with TikZ☆50Updated 2 years ago
- MathWebSearch Implementation☆48Updated 2 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- A Circular Color Map☆36Updated 2 years ago
- LSPServer is a package that implements the Language Server Protocol for Wolfram Language and allows a Wolfram Language kernel to run as a…☆52Updated 2 years ago
- Latex source for geometric algebra and physics notes.☆38Updated this week
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆30Updated 3 months ago