metatheory
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Using latest TermInterface for custom types in MetaTheory | 2 | 70 | July 10, 2024 | |
Q: Using TermInterface to set up Metatheory | 0 | 192 | November 20, 2023 | |
Using Metatheory.jl to simplify algebra expression | 0 | 326 | May 29, 2023 | |
A Recap of the state of the Symbolics ecosystem | 7 | 1281 | September 17, 2021 | |
Term representation in SymbolicUtils/Symbolics -- rational polynomial form, and future changes | 0 | 637 | August 30, 2021 |