Chordality Preserving Incremental Triangular Decomposition and Its Implementation
From MaRDI portal
Publication:5039552
DOI10.1007/978-3-030-52200-1_3zbMATH Open1503.68309OpenAlexW3041499443MaRDI QIDQ5039552FDOQ5039552
Publication date: 13 October 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-52200-1_3
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10) Computational aspects of higher-dimensional varieties (14Q15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A complete algorithm for automated discovering of a class of inequality-type theorems
- Computing cylindrical algebraic decomposition via triangular decomposition
- Lifting techniques for triangular decompositions
- Triangulated graphs and the elimination process
- Elimination methods
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- On the theories of triangular sets
- Comprehensive Triangular Decomposition
- A new method for solving algebraic systems of positive dimension
- Basic principles of mechanical theorem proving in elementary geometries
- Algorithms for computing triangular decomposition of polynomial systems
- Algorithms for computing triangular decompositions of polynomial systems
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- Triangular decomposition of semi-algebraic systems
- On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style
- Chordal Networks of Polynomial Ideals
- Automated Deduction in Geometry
Cited In (5)
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
- A vertex incremental approach for maintaining chordality
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
- Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition
- Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure
Uses Software
This page was built for publication: Chordality Preserving Incremental Triangular Decomposition and Its Implementation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039552)