Symboliq Math Library

Brought to you by: deklund2

Last Update: 2013-03-07

Symboliq is a symbolic math evaluation and manipulation library for C++ designed for use in proof assistants and symbolic equation solvers.

Other Useful Business Software

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Symboliq Math Library!

2005-01-07

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Recommended Projects

Symbolics.jl
Symbolic programming for the next generation of numerical software
ViennaFEM
A finite element solver using state-of-the-art programming techniques.
SymEngine.jl
Julia wrappers of SymEngine
ModelingToolkit.jl
Modeling framework for automatically parallelized scientific ML
mkLink
Make multiple types of symbolic links from the context menu.