Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas

DOI10.1007/s10559-018-0102-4zbMath1486.68257OpenAlexW2901948111WikidataQ128884225 ScholiaQ128884225MaRDI QIDQ1735326

Xianqiang Yang

Publication date: 28 March 2019

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-018-0102-4

zbMATH Keywords

canonical formsoftware verificationsystem of linear inequalitiesalgebraic programminglinear semialgebraic formula

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (2)

The replenishment algorithm in algebras of sets ⋮ Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry

Uses Software

• CoCoA
• Isabelle
• LEO-II
• QEPCAD
• SINGULAR
• VAMPIRE
• Paradox
• REDLOG
• z3
• MiniZinc
• Satallax
• SMTInterpol
• CVC4
• MathSAT5
• Gandalf
• E Theorem Prover
• GitHub
• STP

Cites Work

• Unnamed Item
• Unnamed Item
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Algebraic approach to the problem of solving systems of linear inequalities
• Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling
• The MathSAT5 SMT Solver

This page was built for publication: Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas