Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition (Q5495913): Difference between revisions

Latest revision as of 20:33, 8 July 2024

scientific article; zbMATH DE number 6327252

Language	Label	Description	Also known as
English	Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition	scientific article; zbMATH DE number 6327252

Statements

instance of

scholarly article

0 references

title

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

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Lecture Notes in Computer Science

0 references

publication date

7 August 2014

0 references

full work available at URL

https://arxiv.org/abs/1404.6371

0 references

zbMATH Keywords

cylindrical algebraic decomposition

0 references

truth-table invariance

0 references

regular chains

0 references

triangular decomposition

0 references

problem formulation

0 references

describes a project that uses

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

cites work

Cylindrical Algebraic Decomposition I: The Basic Algorithm

0 references

On mechanical quantifier elimination for elementary algebra and geometry

0 references

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

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

Q5301651

0 references

Algorithmic methods for investigating equilibria in epidemic modeling

0 references

An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions

0 references

Computing cylindrical algebraic decomposition via triangular decomposition

0 references

Q4391213

0 references

Partial cylindrical algebraic decomposition for quantifier elimination

0 references

Efficient projection orders for CAD

0 references

Understanding Branch Cuts of Expressions

0 references

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

0 references

MetiTarski: Past and Future

0 references

On the ''Piano Movers'' problem. II: General techniques for computing topological properties of real algebraic manifolds

0 references

Cylindrical algebraic decomposition using validated numerics

0 references

Identifiers

zbMATH Open document ID

1304.68223

0 references

DOI

10.1007/978-3-319-08434-3_5

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5495913

@@ Property / author @@
+Russell J. Bradford
@@ Property / author: Russell J. Bradford / rank @@
+Normal rank
@@ Property / author @@
+James H. Davenport
@@ Property / author: James H. Davenport / rank @@
+Normal rank
@@ Property / author @@
+David J. Wilson
@@ Property / author: David J. Wilson / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BranchCuts
@@ Property / describes a project that uses: BranchCuts / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MetiTarski
@@ Property / describes a project that uses: MetiTarski / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1797874232
@@ Property / OpenAlex ID: W1797874232 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6371
@@ Property / arXiv ID: 1404.6371 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+On mechanical quantifier elimination for elementary algebra and geometry
+Normal rank
@@ Property / cites work @@
+Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decompositions for boolean combinations
+Normal rank
@@ Property / cites work @@
+Truth table invariant cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Optimising Problem Formulation for Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Q5301651
@@ Property / cites work: Q5301651 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic methods for investigating equilibria in epidemic modeling
+Normal rank
@@ Property / cites work @@
+An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
+Normal rank
@@ Property / cites work @@
+Computing cylindrical algebraic decomposition via triangular decomposition
+Normal rank
@@ Property / cites work @@
+Q4391213
@@ Property / cites work: Q4391213 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Efficient projection orders for CAD
@@ Property / cites work: Efficient projection orders for CAD / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding Branch Cuts of Expressions
@@ Property / cites work: Understanding Branch Cuts of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+MetiTarski: Past and Future
@@ Property / cites work: MetiTarski: Past and Future / rank @@
+Normal rank
@@ Property / cites work @@
+On the ''Piano Movers'' problem. II: General techniques for computing topological properties of real algebraic manifolds
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5495913