symbolic
Here are 11 public repositories matching this topic...
Sydr benchmark applications
-
Updated
Jul 25, 2022 - C++
SymPP: A Symbolic Library that compiles itself
-
Updated
Nov 23, 2020 - C++
Library for Data Decision Diagrams and Set Decision Diagrams
-
Updated
Aug 26, 2024 - C++
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
-
Updated
Aug 26, 2024 - C++
WebAssembly bindings for the GiNaC computer algebra system
-
Updated
Nov 5, 2021 - C++
This program demonstrates symbolic derivation from variety of mathematical functions.
-
Updated
Aug 8, 2017 - C++
Open source interactive numerical computing platform
-
Updated
Feb 25, 2020 - C++
Improve this page
Add a description, image, and links to the symbolic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the symbolic topic, visit your repo's landing page and select "manage topics."