Symbolic Libraries

5 Components & Libraries

Sortby

Symbolic Libraries

Symbolic execution tool

This project is no longer internally developed and maintained. However, we are happy to review and accept small, well-written pull requests by the community. We will only consider bug fixes and minor…

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.

Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

Aesara is a Python library that allows one to define, optimize, and efficiently evaluate mathematical expressions involving multi-dimensional arrays. Or via conda-forge: We welcome bug reports and fi…

A python package to solve robot arm inverse kinematics in symbolic form

A python based system for generating closed-form solutions to the manipulator inverse kinematics problem using behavior trees for action selection. Solutions are fully symbolic and are output as LaTe…

A python framework for symbolic music generation, evaluation and analysis

A Python library for symbolic music generation, analysis and visualization. Published in SoftwareX 2023. The modules contained in this library are: To install the latest version, clone this repositor…

Related tags

streamlit-application

openai-api