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 last week
- unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system i…☆18Updated 4 months ago
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Building dynamical systems compositionally☆73Updated 3 weeks ago
- Partial differential equations using Discrete Exterior Calculus☆15Updated 6 years ago
- A framework for composing and simulating multiphysics systems☆78Updated 3 weeks ago
- introduction to dataflow analysis using julia☆14Updated 5 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆72Updated 2 months ago
- Tangent bundle, vector space and Submanifold definition☆51Updated 2 weeks ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆84Updated last month
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 4 years ago
- GAP packages for Julia integration☆81Updated this week
- Julia library to manipulate MLIR dialects.☆65Updated 9 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- [DEPRECATED] A formatter for the Julia language powered by JuliaFormatter.jl☆39Updated 2 years ago
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆37Updated 4 years ago
- Listing of online math seminars☆43Updated last month
- Mathematica package for Clifford (geometric) algebra calculations☆14Updated 4 months ago
- A Mathematica package for solving Riemann–Hilbert problems numerically☆30Updated 6 years ago
- Simplicial Sets and the Discrete Exterior Calculus☆39Updated this week
- Toolset for modifying Julia AST and characteristic values☆16Updated 6 years ago
- Julia interface to Z3☆70Updated 3 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last month
- Build Petri net models compositionally☆86Updated 2 months ago
- ☆28Updated 3 years ago
- Lightweight package for sharing tensor-algebra definitions☆41Updated 3 months ago
- Tensor algebra abstract type interoperability setup☆43Updated 2 months ago
- A mechanical Calling-Julia-from-Python library for Python 3.7+ and Julia 1.6+☆12Updated 6 months ago
- Julia bindings for the FLINT number theory C library☆208Updated this week