symbolic-manipulation

There are 8 repositories under symbolic-manipulation topic.

• casadi / casadi

  CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.

  optimizationnonlinearderivativescode-generationnumerical-calculationsacademic-projectscientific-computingmathematicssymbolic-manipulationparameter-estimationoptimal-controlmodularmatlaboctavepythonc-plus-pluslibraryalgorithmic-differentationnonlinear-programming
  Language:C++ 2040

• davidedc / Algebrite

  Computer Algebra System in Javascript (Typescript)

  javascriptcasalgebrasymbolic-computationcoffeescriptjavascript-casalgebraic-computationcomputer-algebra-systemcomputer-algebrasymbolic-manipulationsymbolicalgebraicmath
  Language:TypeScript 990

• asc-community / AngouriMath

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

  algebraarbitrary-precisioncalculuscomputer-algebracsharpdifferentiationequationsfsharpinequalityintegrationjupyterlatexmathnugetparseparsingsolversymbolic-manipulationsymbolic-math
  Language:C# 803
• symbolica

  benruijl / symbolica

  A modern computer algebra library for Python and Rust.

  computer-algebramathematicsphysicssymbolic-manipulationexpressionsgroebner-basispattern-matchingpolynomial-arithmeticsymbolic-computationarithmeticexpansionfactorizationgreatest-common-divisornumerical-integration
  Language:Rust 652
• SymbolicUtils.jl

  JuliaSymbolics / SymbolicUtils.jl

  Symbolic expressions, rewriting and simplification

  juliasymbolic-mathsymbolic-manipulationpattern-matching
  Language:Julia 559

• JuliaSymbolics / Metatheory.jl

  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

  juliasymbolicsymbolic-computationprogramming-languageoptimizationcompiler-optimizationcompiler-constructionterm-rewritingequality-saturationegraphssymbolic-manipulation
  Language:Julia 389

• mathnet / mathnet-symbolics

  Math.NET Symbolics

  computer-algebramathnetdotnetfsharpsymbolic-manipulationmath
  Language:F# 366

• fricas / fricas

  Official repository of the FriCAS computer algebra system

  computer-algebracomputer-algebra-systemmathmathematicsrisch-algorithmsymbolic-computationsymbolic-integrationsymbolic-manipulation
  350

• kpeeters / cadabra2

  A field-theory motivated approach to computer algebra.

  computer-algebramathematicstensorsphysicsscience-researchcpluspluspython3symbolic-manipulationcadabra2computer-algebra-systemtensor-algebrasympy
  Language:C++ 260

• SymbolicML / DynamicExpressions.jl

  Ridiculously fast symbolic expressions

  binary-treesexpression-evaluatorsymbolic-computationsymbolic-manipulationsymbolic-regression
  Language:Julia 125

• bjodah / pyodesys

  ∫ Straightforward numerical integration of systems of ordinary differential equations

  ordinary-differential-equationsnumerical-codescode-generationsymbolic-manipulationsympyinitial-value-problem
  Language:Python 96

• screetsec / imR0T

  imR0T: Send a quick message with simple text encryption to your whatsapp contact and protect your text by encrypting and decrypting, basically in ROT13 with new multi encryption based algorithm on ASCII and Symbols Substitution

  cryptographyencryption-algorithmsencryption-toolkali-linuxbash-scriptrot13encryption-decryptionwhatsapp-apihacking-toolsymbolic-manipulation
  Language:Shell 76

• dfdx / Espresso.jl

  Expression transformation package

  expression-transformationmacrosmetaprogrammingsymbolic-manipulationpattern-matching
  Language:Julia 59

• bjodah / pyneqsys

  Solve symbolically defined systems of non-linear equations numerically.

  least-squaresnonlinear-equationsroot-findingsymbolic-manipulationsympy
  Language:Python 52

• dalum / Sylvia.jl

  A simple symbolic library with a pretty name 🧚🏻

  symbolic-expressionssymbolic-manipulationsylvia
  Language:Julia 46

• gbl08ma / eigenmath

  Port of the Eigenmath math engine to the Casio Prizm (fx-CG 10 and 20)

  casio-prizmeigenmathsymbolic-manipulationcasio-calculatorscalculatorsprizmprizm-calculator
  Language:C++ 36

• rjrosati / SymbolicTensors.jl

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

  juliaphysicssymbolic-computationtensor-algebrasymbolic-mathsymbolic-manipulation
  Language:Julia 33

• leftaroundabout / Symbolic-math-HaTeX

  Convenient Haskell syntax for writing in LaTeX math expressions

  haskelllatexsymbolic-manipulation
  Language:Haskell 28

• pynac / pynac

  Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:

  computer-algebrasupport-libraryc-plus-plusmathematicscassymbolic-manipulationsymbolic-computation
  Language:C++ 27

• benruijl / reform

  A symbolic manipulation toolkit which aims to handle expressions with billions of terms

  computer-algebrasymbolic-manipulationmathematicsphysics
  Language:Rust 24

• DrudgeCAS / drudge

  A symbolic algebra system for tensorial and noncommutative algebras

  sciencecomputer-algebraphysicsmathematicssymbolic-manipulation
  Language:Python 24

• leftaroundabout / dumb-cas

  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.

  haskellcomputer-algebra-systemsymbolic-manipulationtemplate-haskell
  Language:Haskell 17

• iitis / IntU

  Mathematica package for calculating polynomial integrals over the unitary group

  mathematicsunitary-groupmathematical-physicssymbolic-manipulation
  Language:Mathematica 14

• thiagopbueno / pyddlib

  pyddlib is a Python3 library for manipulating decision diagrams.

  decision-diagramssymbolic-manipulationbddaddlogicalgebraic-data-types
  Language:Python 10

• bjodah / sym

  Unified interface to symbolic manipulation libraries in Python

  symbolic-manipulationwrapper
  Language:Python 9

• isaacphysics / equality-checker

  Lightweight server for testing equivalence of two symbolic expressions.

  pythonsymbolic-manipulationsympycomputer-algebracomputer-algebra-systemcomputer-aided-assessmente-assessment
  Language:Python 7

• pyccel / GeLaTo

  Generalized Locally Toeplitz

  isogeometric-analysisb-splinesfourier-analysissympypartial-differential-equationssymbolic-manipulation
  Language:Jupyter Notebook 7

• baharev / safe-eliminations

  Identifying numerically safe eliminations automatically

  pythonsympysymbolic-manipulationsymbolic-expressionstearingeliminationnumerical-methods
  Language:Python 5

• MatteoRagni / cas-rb

  Very simple CAS in Ruby

  computer-algebra-systemrubyruby-gemcassymbolic-manipulation
  Language:Ruby 4

• qedb / eqlib

  Previous iteration of QEDb [ARCHIVED]

  rule-enginesymbolic-manipulationdart
  Language:Dart 4

• LordDarkula / polypy

  Symbolic manipulation of mathematical expressions

  mathematical-expressionssymbolic-manipulationpythonmathematical-functions
  Language:Python 2

• netkat-lang / idds

  Identity suppressed decision diagrams (IDDs)

  bddsbinary-decision-diagramssymbolic-manipulationdata-structures
  Language:OCaml 2

• reity / symbolism

  Extensible combinator library for building symbolic Python expressions that are compatible with serialization and can be evaluated at a later time.

  abstract-syntax-treedata-structurespython-librarysymbolic-expressionssymbolic-manipulation
  Language:Python 2

• christianparpart / Fetisch

  F# Mathematics Library

  fsharpmathematicsalgebracomputer-algebrasymbolic-manipulation
  Language:F# 1

• GiacomoCorradini / SymbolicComputationSympy

  Repository for the seminar "Calcolo simbolico in Python: un'introduzione a SymPy" from DII UniTN.

  symbolic-computationsymbolic-manipulationsympy
  Language:Jupyter Notebook 1

• Repin-Daniil / symbolic-math

  С++ library for symbolic mathematical calculations

  abstract-syntax-treeastcomputer-algebracpluspluscppreverse-polish-notationrpn-calculatorsymbolic-computationsymbolic-differentiationsymbolic-manipulationsymbolic-mathmath-libraryshunting-yard-algorithm
  Language:C++ 1