Analysing All Polynomial Equations in
No abstract available.
Related papers
- Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) VMCAI 2021
- Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations SAS 2014
- Local Search for Solving Satisfiability of Polynomial Formulas CAV 2023
- Precise interprocedural analysis through linear algebra POPL 2004
- Precise interprocedural analysis using random interpretation POPL 2005
- How to prove decidability of equational theories with second-order computation analyser SOL JFP 2019
- Non-determinism analyses in a parallel-functional language JFP 2005
- String solving with word equations and transducers: towards a logic for analysing mutation XSS POPL 2016