symbolic-math

There are 91 repositories under symbolic-math topic.

  • asc-community/AngouriMath

    New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

    Language:C#7712635871

  • sicmutils/sicmutils

    Computer Algebra, Physics and Differential Geometry in Clojure.

    Language:Clojure768308368
  • SymbolicUtils.jl

    JuliaSymbolics/SymbolicUtils.jl

    Symbolic expressions, rewriting and simplification

    Language:Julia5201826098
  • emmy

    mentat-collective/emmy

    The Emmy Computer Algebra System.

    Language:Clojure363811118
  • symja_android_library

    axkr/symja_android_library

    :coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.

    Language:Java3521735982

  • justindujardin/mathy

    Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning

    Language:Python1301212158

  • MasonProtter/Symbolics.jl

    A symbolic math library written in Julia modelled off scmutils

    Language:Julia107141215

  • HarrisonGrodin/Rewrite.jl

    An efficient symbolic term rewriting engine

    Language:Julia76846
  • mathiu.cpp

    BowenFu/mathiu.cpp

    mathiu : a simple computer algebra system in C++.

    Language:C++75311

  • project-eutopia/keisan

    A Ruby-based expression parser, evaluator, and programming language

    Language:Ruby7241010

  • yuemingl/SymJava

    A Java library for fast symbolic-numeric computation

    Language:C++716512

  • pymc-devs/symbolic-pymc

    Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.

    Language:Python6123448

  • rinikerlab/Ensembler

    Ensembler is a python package that provides fast and easy access to 1D and 2D model system simulations. It can be used for method development or to deepen understanding of a broad spectrum of modeling methods, from basic sampling techniques to enhanced sampling and free energy calculations. It is easy to install, fast, increases shareability, comparability, and reproducibility of scientific code developments.

    Language:Python477269

  • tomilov/insituc

    x86/x64 JIT compiler for math string expressions written in C++. Parser is Boost.Spirit X3. AST transformations: partial derivation, constant folding.

    Language:C++44314

  • y0-causal-inference/y0

    ❓y0 (pronounced "why not?") is for causal inference in Python

    Language:Jupyter Notebook4111838

  • deep-symbolic-mathematics/TPSR

    [NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"

    Language:Python37428

  • deep-symbolic-mathematics/Multimodal-Math-Pretraining

    [ICLR 2024 Spotlight] This is the official code for the paper "SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training"

    Language:Python36313

  • ForoughA/neuralMath

    Combining Symbolic and Function Evaluation Expressions In Neural Programs

    Language:Python32428

  • rjrosati/SymbolicTensors.jl

    Manipulate tensors symbolically in Julia! Currently needs a SymPy dependency, but work is ongoing to change the backend to SymbolicUtils.jl

    Language:Julia32384
  • reduce-algebra

    reduce-algebra/reduce-algebra

    reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, to report any bugs or request assistance.

    31630

  • zalo/Symplex

    A Symbolic Code Algebra+Calculus system for VS Code

    Language:TypeScript28401

  • owlbarn/owl_symbolic

    Connect Owl with other accelerators and numerical frameworks with symbolic maths

    Language:OCaml17426

  • pyccel/sympde

    Symbolic calculus for partial differential equations (and variational forms)

    Language:Python1711593

  • RobinKa/egga

    Symbolic Geometric Algebra with E-Graphs

    Language:Python17301

  • gutow/Algebra_with_Sympy

    Defines an Algebraic equation which can be rearranged using SymPy.

    Language:Jupyter Notebook154213

  • jbyuki/swan.lua

    Symbolic math toolbox in Lua

    Language:Lua1320

  • softsys4ai/differentiable-proving

    Code and data for the paper "Pretrained Language Models are Symbolic Mathematics Solvers too!", arXiv:2110.03501

    Language:Python12612

  • Zeta611/polycalc

    🧮 Polynomial Calculator

    Language:C12410

  • AdamWhiteHat/Polynomial

    Comprehensive univariate polynomial class. All arithmetic performed symbolically. Some advanced features include: Arithmetic of polynomial rings over a finite field, the Tonelli-Shanks algorithm, GCD, exponentiation by squaring, irreducibility checking, modular arithmetic (obviously) and polynomials from roots.

    Language:C#10503

  • MathGene/MathGene

    The JavaScript Open Source symbolic math calculation and rendering engine.

    Language:JavaScript92164

  • elia-mercatanti/deep-learning-symbolic-mathematics

    Discussion and test of the first successful approach to solving symbolic mathematics problems through the use of neural networks, proposed for the first time by two Facebook researchers, Guillaume Lample and François Charton. My Master Degree Thesis in Data Science.

    Language:Jupyter Notebook8104

  • yxiao1996/RoboticsGallery

    Toy robotic projects from winter holiday 2018-2019 and spring 2019 at Boston University

    Language:MATLAB8200

  • agustinbrusco/Physics-and-Math-Plots

    No puedo cursar una materia sin intentar en algún momento llevarla a código y visualizar los temas que estoy estudiando. Este repo tiene el objetivo de mantener ordenada y accesible la colección de todos esos intentos.

    Language:Jupyter Notebook7301

  • horeilly1101/deriv

    𝝏F A symbolic derivative calculator, with API endpoints

    Language:Java73123
  • reduce-historical

    reduce-algebra/reduce-historical

    reduce-historical: historical snapshots of the portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/historical/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, for additional details.

    Language:TeX7610

  • SymboScript/SymboScript

    Limitless programming language

    Language:Rust6100