Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms (Q2830000): Difference between revisions

Latest revision as of 21:22, 12 July 2024

scientific article

Language	Label	Description	Also known as
English	Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms	scientific article

Statements

instance of

scholarly article

0 references

title

Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms (English)

0 references

author

Mădălina Eraşcu

0 references

published in

Computer Algebra in Scientific Computing

0 references

publication date

9 November 2016

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-45641-6_13

0 references

cites work

Building Bridges between Symbolic Computation and Satisfiability Checking

0 references

Q4434828

0 references

Improved projection for cylindrical algebraic decomposition

0 references

QEPCAD B

0 references

Constructing a single open cell in a cylindrical algebraic decomposition

0 references

SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving

0 references

Real quantifier elimination is doubly exponential

0 references

Efficient projection orders for CAD

0 references

Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)

0 references

Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)

0 references

On the Theoretical and Practical Complexity of the Existential Theory of Reals

0 references

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification

0 references

Solving Non-linear Arithmetic

0 references

Pseudo Division and Pseudo Multiplication Processes

0 references

Introduction to Interval Analysis

0 references

Interval Newton iteration in multiple precision for the univariate case

0 references

Cylindrical algebraic decomposition using validated numerics

0 references

Identifiers

zbMATH Open document ID

1453.12002

0 references

DOI

10.1007/978-3-319-45641-6_13

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2830000

@@ Property / describes a project that uses @@
+REDLOG
@@ Property / describes a project that uses: REDLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMT-RAT
@@ Property / describes a project that uses: SMT-RAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ 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/978-3-319-45641-6_13
+Normal rank
@@ Property / OpenAlex ID @@
+W2508609416
@@ Property / OpenAlex ID: W2508609416 / rank @@
+Normal rank
@@ Property / cites work @@
+Building Bridges between Symbolic Computation and Satisfiability Checking
+Normal rank
@@ Property / cites work @@
+Q4434828
@@ Property / cites work: Q4434828 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved projection for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing a single open cell in a cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient projection orders for CAD
@@ Property / cites work: Efficient projection orders for CAD / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
+Normal rank
@@ Property / cites work @@
+On the Theoretical and Practical Complexity of the Existential Theory of Reals
+Normal rank
@@ Property / cites work @@
+An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo Division and Pseudo Multiplication Processes
+Normal rank
@@ Property / cites work @@
+Introduction to Interval Analysis
@@ Property / cites work: Introduction to Interval Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Newton iteration in multiple precision for the univariate case
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank