chakravala / Math-Research-NotesLinks
Theorems, Definitions, Papers, Research
☆17Updated 6 years ago
Alternatives and similar repositories for Math-Research-Notes
Users that are interested in Math-Research-Notes are comparing it to the libraries listed below
Sorting:
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Tangent bundle, vector space and Submanifold definition☆51Updated 3 weeks ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- A study of ecosystem in Julia, as an alternative to Matlab☆12Updated 5 years ago
- Standard basic quantum circuit simulator building blocks. (archived, for it is moved to Yao.jl)☆26Updated 3 years ago
- Awesome Geometric Algebra☆28Updated 5 years ago
- Julia package for the Singular library☆20Updated 3 years ago
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 6 years ago
- A framework for composing and simulating multiphysics systems☆71Updated this week
- Julia package to provide access to CMake☆13Updated 5 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆13Updated 2 months ago
- Python to Julia transpiler.☆77Updated last year
- ☆13Updated last week
- ☆10Updated 3 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- Sugar coating Julia's many ASTs☆42Updated 4 years ago
- Benchmarking, testing, and development tools for differential equations and scientific machine learning (SciML)☆52Updated last week
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated 3 weeks ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆98Updated 3 years ago
- A CPU- and GPU-friendly package for solving ordinary differential equations☆50Updated this week
- A DSL for modern parsing☆46Updated last year
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆66Updated 8 months ago
- An event based Discrete Event Simulation engine☆22Updated 3 years ago
- Efficient filtering and linear algebra routines for multidimensional arrays☆11Updated last year
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Updated last year