symbolic-manipulation

There are 7 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++ 1550

• davidedc / Algebrite

  Computer Algebra System in Javascript (Typescript)

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

• asc-community / AngouriMath

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

  csharpalgebraintegrationlatexparsingsolverequationsnugetinequalitysymbolic-mathcomputer-algebrasymbolic-manipulationarbitrary-precisionmathcalculusparsejupyterdifferentiationfsharphacktoberfest
  Language:C# 753
• SymbolicUtils.jl

  JuliaSymbolics / SymbolicUtils.jl

  Symbolic expressions, rewriting and simplification

  juliapattern-matchingsymbolic-manipulationsymbolic-math
  Language:Julia 499

• mathnet / mathnet-symbolics

  Math.NET Symbolics

  computer-algebradotnetfsharpmathmathnetsymbolic-manipulation
  Language:F# 334

• JuliaSymbolics / Metatheory.jl

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

  compiler-constructioncompiler-optimizationegraphsequality-saturationjuliaoptimizationprogramming-languagesymbolicsymbolic-computationsymbolic-manipulationterm-rewriting
  Language:Julia 332

• fricas / fricas

  Official repository of the FriCAS computer algebra system

  computer-algebracomputer-algebra-systemmathmathematicssymbolic-computationsymbolic-manipulationrisch-algorithmsymbolic-integration
  286

• kpeeters / cadabra2

  A field-theory motivated approach to computer algebra.

  computer-algebramathematicstensorsphysicsscience-researchcpluspluspython3symbolic-manipulationcadabra2computer-algebra-systemtensor-algebra
  Language:C++ 215
• symbolica

  benruijl / symbolica

  A modern computer algebra system which aims to handle expressions with billions of terms.

  computer-algebramathematicsphysicssymbolic-manipulation
  Language:Rust 97

• bjodah / pyodesys

  ∫ Straightforward numerical integration of systems of ordinary differential equations

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

• SymbolicML / DynamicExpressions.jl

  Ridiculously fast symbolic expressions

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

• 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 75

• dfdx / Espresso.jl

  Expression transformation package

  expression-transformationmacrosmetaprogrammingpattern-matchingsymbolic-manipulation
  Language:Julia 55

• dalum / Sylvia.jl

  A simple symbolic library with a pretty name 🧚🏻

  symbolic-expressionssymbolic-manipulationsylvia
  Language:Julia 46

• bjodah / pyneqsys

  Solve symbolically defined systems of non-linear equations numerically.

  nonlinear-equationsleast-squaresroot-findingsymbolic-manipulationsympy
  Language:Python 42

• 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 32

• gbl08ma / eigenmath

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

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

• leftaroundabout / Symbolic-math-HaTeX

  Convenient Haskell syntax for writing in LaTeX math expressions

  haskelllatexsymbolic-manipulation
  Language:Haskell 27

• pynac / pynac

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

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

• benruijl / reform

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

  computer-algebrasymbolic-manipulationmathematicsphysics
  Language:Rust 21

• tschijnmo / drudge

  CAS based on sympy focusing on tensor and noncommutative algebras

  sciencecomputer-algebraphysicsmathematicssymbolic-manipulation
  Language:Python 19

• leftaroundabout / dumb-cas

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

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

• iitis / IntU

  Mathematica package for calculating polynomial integrals over the unitary group

  mathematicsunitary-groupmathematical-physicssymbolic-manipulation
  Language:Mathematica 11

• isaacphysics / equality-checker

  Lightweight server for testing equivalence of two symbolic expressions.

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

• bjodah / sym

  Unified interface to symbolic manipulation libraries in Python

  symbolic-manipulationwrapper
  Language:Python 7

• thiagopbueno / pyddlib

  pyddlib is a Python3 library for manipulating decision diagrams.

  addalgebraic-data-typesbdddecision-diagramslogicsymbolic-manipulation
  Language:Python 6

• baharev / safe-eliminations

  Identifying numerically safe eliminations automatically

  pythonsympysymbolic-manipulationsymbolic-expressionstearingeliminationnumerical-methods
  Language:Python 5

• pyccel / GeLaTo

  Generalized Locally Toeplitz

  b-splinesfourier-analysisisogeometric-analysispartial-differential-equationssymbolic-manipulationsympy
  Language:Jupyter Notebook 5

• qedb / eqlib

  Previous iteration of QEDb [ARCHIVED]

  rule-enginesymbolic-manipulationdart
  Language:Dart 4

• MatteoRagni / cas-rb

  Very simple CAS in Ruby

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

• LordDarkula / polypy

  Symbolic manipulation of mathematical expressions

  mathematical-expressionssymbolic-manipulationpythonmathematical-functions
  Language:Python 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

• netkat-lang / idds

  Identity suppressed decision diagrams (IDDs)

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

• qedb / qedb

  Previous iteration of QEDb [ARCHIVED]

  mathsymbolic-manipulationdart
  Language:Dart 1

• bsdz / symbolize

  Mathematical Symbol Engine

  python3symbolic-manipulationtype-theory
  Language:Python 0