A heuristic prover for real inequalities (Q287379): Difference between revisions

@@ Property / arXiv ID @@
+.4410
@@ Property / arXiv ID: 1404.4410 / rank @@
+Normal rank
@@ Property / cites work @@
+MetiTarski: An Automatic Prover for the Elementary Functions
+Normal rank
@@ Property / cites work @@
+A formally verified proof of the prime number theorem
+Normal rank
@@ Property / cites work @@
+Combining decision procedures for the reals
@@ Property / cites work: Combining decision procedures for the reals / rank @@
+Normal rank
@@ Property / cites work @@
+A formally verified proof of the central limit theorem
+Normal rank
@@ Property / cites work @@
+A Heuristic Prover for Real Inequalities
@@ Property / cites work: A Heuristic Prover for Real Inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728843
@@ Property / cites work: Q2728843 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Sledgehammer with SMT Solvers
@@ Property / cites work: Extending Sledgehammer with SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof synthesis and reflection for linear arithmetic
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient E-Matching for SMT Solvers
@@ Property / cites work: Efficient E-Matching for SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3594446
@@ Property / cites work: Q3594446 / rank @@
+Normal rank
@@ Property / cites work @@
+δ-Complete Decision Procedures for Satisfiability over the Reals
+Normal rank
@@ Property / cites work @@
+Q4039929
@@ Property / cites work: Q4039929 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Nonlinear Real Formulas Via Sums of Squares
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight relevance filtering for machine-generated resolution problems
+Normal rank
@@ Property / cites work @@
+Introduction to Interval Analysis
@@ Property / cites work: Introduction to Interval Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic simplification
@@ Property / cites work: Algebraic simplification / rank @@
+Normal rank
@@ Property / cites work @@
+E-matching for Fun and Profit
@@ Property / cites work: E-matching for Fun and Profit / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
+Normal rank
@@ Property / cites work @@
+Real World Verification
@@ Property / cites work: Real World Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839903
@@ Property / cites work: Q5839903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Polytopes
@@ Property / cites work: Lectures on Polytopes / rank @@
+Normal rank