xsources / Matlab-simulation-of-Schramm-Loewner-EvolutionLinks
Description and analysis of some mathematical/physics phenomena by using simulation
☆19Updated last year
Alternatives and similar repositories for Matlab-simulation-of-Schramm-Loewner-Evolution
Users that are interested in Matlab-simulation-of-Schramm-Loewner-Evolution are comparing it to the libraries listed below
Sorting:
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆36Updated 10 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- knot theory and computational algebra software☆38Updated 11 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- A system for computational category theory and applications☆39Updated 9 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- A DSL for the internal language of a topos☆66Updated 2 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 4 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 4 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Real number computation software☆127Updated 3 years ago
- a datastructure for scalable combinatorial syntax☆19Updated 6 months ago
- A heuristic procedure for proving inequalities☆33Updated 7 years ago
- Python implementation of the monster group☆53Updated 3 weeks ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- CAP project -- Categories, Algorithms, and Programming☆35Updated 2 weeks ago
- ☆27Updated 3 years ago
- ☆21Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Deposited packages of the homalg project☆16Updated 2 weeks ago
- ☆43Updated 4 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated last week
- ☆118Updated last year
- An interactive theorem prover for string diagrams☆120Updated 10 months ago
- Working through Structure and Interpretation of Classical Mechanics.