pzinn / Macaulay2Web
Macaulay2 web app with support for KaTeX and HTML output
☆17Updated 2 weeks ago
Alternatives and similar repositories for Macaulay2Web:
Users that are interested in Macaulay2Web are comparing it to the libraries listed below
- Julia package for the Singular library☆35Updated this week
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 3 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 weeks ago
- Tag-based webview of LaTeX documents☆28Updated 11 months ago
- A framework for composing and simulating multiphysics systems☆55Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated last month
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Wolfram package for Geometric Algebra☆7Updated 4 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆25Updated 6 months ago
- Lightweight package for sharing tensor-algebra definitions☆31Updated last month
- Formalizing results about the Mandelbrot set in Lean☆20Updated 2 months ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- The root repository for the SpectralSequences project.☆27Updated 2 weeks ago
- Mathematica package for Clifford (geometric) algebra calculations☆11Updated 7 months ago
- Building dynamical systems compositionally☆67Updated 2 months ago
- Tensor algebra abstract type interoperability setup☆43Updated 2 months ago
- Julia interface to GAlgebra via PyCall☆15Updated this week
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆34Updated 3 years ago
- ☆29Updated 10 months ago
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 3 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆68Updated last year
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- ☆28Updated 3 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆52Updated last year
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- The sources of the web LFortran GUI interface☆14Updated last year
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- Package-specific AbstractUnitRange types for julia☆8Updated 9 months ago
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆29Updated 6 months ago