Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas (Q1735326): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10559-018-0102-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2901948111
@@ Property / OpenAlex ID: W2901948111 / rank @@
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002851
@@ Property / cites work: Q4002851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817857
@@ Property / cites work: Q5817857 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to the problem of solving systems of linear inequalities
+Normal rank
@@ Property / cites work @@
+Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank