xsources / Matlab-simulation-of-Schramm-Loewner-Evolution
Description and analysis of some mathematical/physics phenomena by using simulation
☆18Updated 9 months ago
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
- 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
- Deposited packages of the homalg project☆13Updated last month
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Updated 4 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Latex source for geometric algebra and physics notes.☆37Updated this week
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- ☆24Updated 2 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- ☆13Updated 3 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- DeepAlgebra☆25Updated 7 years ago
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆20Updated 11 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- ☆13Updated 2 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- Metamath verifier in Python☆37Updated 10 months ago
- A formalization of synthetic algebraic geometry in Agda☆13Updated 6 years ago
- M4 algebraic geometry course in Lean☆59Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 years ago
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- ☆45Updated last year
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year