guillefix / augmath
Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
☆54Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for augmath
- Multiroom meeting app integrating web tools☆44Updated 3 months ago
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- Fungrim: the Mathematical Functions Grimoire☆118Updated 2 years 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 months ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆35Updated 2 years ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Metamath verifier in Python☆34Updated 6 months ago
- DeepAlgebra☆25Updated 7 years ago
- MathWebSearch Implementation☆47Updated last year
- Listing of online math seminars☆41Updated 2 months ago
- 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…☆87Updated this week
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆203Updated last week
- Notes from Andrew Blumberg's class on equivariant homotopy theory☆16Updated last year
- This project converts structured Lean code into an interactive browser game.☆73Updated 11 months ago
- A collection of tools for building, rendering, and converting Latex documents☆22Updated last year
- A web application to visualize complex mappings.☆28Updated 8 years ago
- Intuitive math descriptions and animations (like 3b1b)☆93Updated last year
- "A First Course in Linear Algebra" open source textbook☆65Updated last month
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Symbolic Geometric Algebra/Calculus package for SymPy☆232Updated 3 weeks ago
- This is a Coloring Book about Group Theory☆86Updated last year
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Inverse Laplace transform based on concentrated matrix-exponential functions☆40Updated last year
- Riemann Hypothesis book☆74Updated 6 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- Tool for euclidean geometry aware of logic☆81Updated 5 months ago
- Xy-pic extension for MathJax☆61Updated 3 years ago
- Cross-referencing system for LaTeX, inspired with RDF☆16Updated last week
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 3 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆15Updated last month