pzinn / Macaulay2WebLinks
Macaulay2 web app with support for KaTeX and HTML output
☆19Updated last month
Alternatives and similar repositories for Macaulay2Web
Users that are interested in Macaulay2Web are comparing it to the libraries listed below
Sorting:
- Julia package for the Singular library☆35Updated this week
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- GAP packages for Julia integration☆82Updated this week
- Tangent bundle, vector space and Submanifold definition☆51Updated 2 months ago
- A framework for composing and simulating multiphysics systems☆78Updated last month
- Listing of online math seminars☆43Updated 3 weeks ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆83Updated last month
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 4 years ago
- Tensor algebra abstract type interoperability setup☆44Updated 2 months ago
- Building dynamical systems compositionally☆73Updated this week
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆37Updated 4 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 3 years ago
- ☆38Updated 2 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last month
- Mathematica package for Clifford (geometric) algebra calculations☆13Updated 4 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- Cellular automata creation and analysis tools☆27Updated 5 months ago
- Partial differential equations using Discrete Exterior Calculus☆15Updated 6 years ago
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10Updated 2 years ago
- A Mathematica package for solving Riemann–Hilbert problems numerically☆30Updated 6 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆40Updated 2 months ago
- Microbenchmarks comparing the Julia Programming language with other languages☆89Updated 3 weeks ago
- Julia interface to Z3☆71Updated 2 months ago
- Mathematica packages for geometric algebra☆48Updated 5 months ago
- unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system i…☆18Updated 3 months ago
- ☆33Updated last month
- Lightweight package for sharing tensor-algebra definitions☆41Updated 2 months ago
- A mechanical Calling-Julia-from-Python library for Python 3.7+ and Julia 1.6+☆12Updated 5 months ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago