pzinn / Macaulay2WebLinks
Macaulay2 web app with support for KaTeX and HTML output
☆19Updated last week
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
- A framework for composing and simulating multiphysics systems☆73Updated last month
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- A Mathematica package for solving Riemann–Hilbert problems numerically☆29Updated 6 years ago
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10Updated 2 years ago
- unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system i…☆18Updated 2 months ago
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 4 years ago
- Listing of online math seminars☆43Updated this week
- Partial differential equations using Discrete Exterior Calculus☆15Updated 6 years ago
- Tangent bundle, vector space and Submanifold definition☆51Updated 2 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Building dynamical systems compositionally☆73Updated this week
- A mechanical Calling-Julia-from-Python library for Python 3.7+ and Julia 1.6+☆12Updated 4 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last week
- Simplicial Sets and the Discrete Exterior Calculus☆39Updated last week
- Mathematica package for Clifford (geometric) algebra calculations☆13Updated 3 months ago
- GAP packages for Julia integration☆82Updated this week
- [DEPRECATED] A formatter for the Julia language powered by JuliaFormatter.jl☆39Updated last year
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- ☆33Updated 3 weeks ago
- Build Petri net models compositionally☆88Updated last month
- Lecture slides and homework assignments for MA3227 Numerical Analysis II at the National University of Singapore.☆24Updated 4 years ago
- A collection of functionality around rooted trees to generate order conditions for Runge-Kutta methods in Julia for differential equation…☆37Updated last month
- Using PLT trampolines to provide a BLAS and LAPACK demuxing library.☆67Updated last week
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆33Updated 2 weeks ago
- Microbenchmarks comparing the Julia Programming language with other languages☆89Updated last week
- Benchmarks for differentiable programming across languages and domains.☆47Updated this week
- Julia library to manipulate MLIR dialects.☆64Updated 8 months ago
- Tensor algebra abstract type interoperability setup☆44Updated last month