chakravala / Math-Research-NotesLinks
Theorems, Definitions, Papers, Research
☆18Updated 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 2 years ago
- An efficient symbolic term rewriting engine☆78Updated 5 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Tangent bundle, vector space and Submanifold definition☆51Updated 2 weeks ago
- Standard basic quantum circuit simulator building blocks. (archived, for it is moved to Yao.jl)☆26Updated 4 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 6 years ago
- Utilities for calling C++ from Julia☆48Updated 5 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆14Updated last month
- Experiments with variational autoencoders in Julia☆17Updated 6 years ago
- Tensor algebra abstract type interoperability setup☆44Updated 4 months ago
- A study of ecosystem in Julia, as an alternative to Matlab☆12Updated 5 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- A CPU- and GPU-friendly package for solving ordinary differential equations☆50Updated this week
- Python to Julia transpiler.☆78Updated last year
- An event based Discrete Event Simulation engine☆22Updated 4 years ago
- Delay coordinates embeddings and optimizing them☆30Updated last week
- A tail recursion optimization macro for julia.☆16Updated 5 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 4 years ago
- A framework for composing and simulating multiphysics systems☆79Updated last week
- A DSL for modern parsing☆47Updated last month
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆97Updated 3 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- ☆10Updated 4 years ago
- Benchmarking, testing, and development tools for differential equations and scientific machine learning (SciML)☆53Updated 3 weeks ago
- Mathematica syntax for Symata.jl☆14Updated 5 years ago
- PEG Parser for Julia☆38Updated 9 years ago
- Sugar coating Julia's many ASTs☆43Updated 4 years ago
- Transpiling from Julia's typed AST☆40Updated 5 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Updated last year
- A operator overloading, tape-based, reverse-mode AD☆68Updated 2 years ago