symbolic-manipulation topic

List symbolic-manipulation repositories

eigenmath

31
Stars
4
Forks
Watchers

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

verified publisher icon gbl08ma

Espresso.jl

55
Stars
8
Forks
Watchers

Expression transformation package

verified publisher icon dfdx

imR0T

74
Stars
33
Forks
Watchers

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 ASC...

verified publisher icon screetsec

casadi

1.6k
Stars
357
Forks
Watchers

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-c...

verified publisher icon casadi

AngouriMath

763
Stars
70
Forks
Watchers

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

verified publisher icon asc-community

Metatheory.jl

341
Stars
44
Forks
Watchers

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

verified publisher icon JuliaSymbolics

Algebrite

945
Stars
58
Forks
Watchers

Computer Algebra System in Javascript (Typescript)

verified publisher icon davidedc

fricas

291
Stars
45
Forks
Watchers

Official repository of the FriCAS computer algebra system

verified publisher icon fricas

SymbolicUtils.jl

514
Stars
98
Forks
Watchers

Symbolic expressions, rewriting and simplification

verified publisher icon JuliaSymbolics

cadabra2

215
Stars
37
Forks
Watchers

A field-theory motivated approach to computer algebra.

verified publisher icon kpeeters