Symboliq is a symbolic math evaluation and manipulation library for C++ designed for use in proof assistants and symbolic equation solvers.
Follow Symboliq Math Library
You Might Also Like
With the world of work changed forever, it’s essential to manage your workplace and assets together to effectively create a high-performing environment. The Eptura experience combines the power of workplace management software with asset management, enabling you to effectively operate your building and facilitate hybrid work.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Symboliq Math Library!