Recent Advances in Real Geometric Reasoning (Q3452275)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Recent Advances in Real Geometric Reasoning	scientific article

Statements

scholarly article

0 references

Recent Advances in Real Geometric Reasoning (English)

0 references

Matthew England

0 references

James H. Davenport

0 references

Automated Deduction in Geometry

0 references

publication date

11 November 2015

0 references

full work available at URL

https://arxiv.org/abs/1504.06484

0 references

describes a project that uses

0 references

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

On the theories of triangular sets

0 references

Deciding polynomial-exponential problems

0 references

Testing elementary function identities using CAD

0 references

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

0 references

0 references

Cylindrical algebraic decompositions for boolean combinations

0 references

Truth table invariant cylindrical algebraic decomposition

0 references

Optimising Problem Formulation for Cylindrical Algebraic Decomposition

0 references

Algorithms in real algebraic geometry

0 references

0 references

Constructing a single open cell in a cylindrical algebraic decomposition

0 references

Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination

0 references

An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions

0 references

Quantifier elimination by cylindrical algebraic decomposition based on regular chains

0 references

Computing cylindrical algebraic decomposition via triangular decomposition

0 references

0 references

0 references

Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets

0 references

0 references

Real quantifier elimination is doubly exponential

0 references

Efficient projection orders for CAD

0 references

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

0 references

Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

0 references

Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting

0 references

Complexity of deciding Tarski algebra

0 references

Solving systems of polynomial inequalities in subexponential time

0 references

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition

0 references

An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

0 references

Solving Non-linear Arithmetic

0 references

0 references

MetiTarski: Past and Future

0 references

0 references

Cylindrical algebraic decomposition using validated numerics

0 references

0 references

0 references

The complexity of deciding consistency of systems of polynomials in exponent inequalities

0 references

Computing triangular systems and regular systems

0 references

Cylindrical algebraic sub-decompositions

0 references

Studies in Equisingularity II. Equisingularity in Codimension 1 (and Characteristic Zero)

0 references

On Equimultiple Subvarieties of Algebroid Hypersurfaces

0 references

Cylindrical algebraic decomposition using local projections

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-21362-0_3

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3452275

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3452275&oldid=38019098"