Chordality Preserving Incremental Triangular Decomposition and Its Implementation
From MaRDI portal
Publication:5039552
DOI10.1007/978-3-030-52200-1_3zbMath1503.68309OpenAlexW3041499443MaRDI QIDQ5039552
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) Computational aspects of higher-dimensional varieties (14Q15) Semialgebraic sets and related spaces (14P10)
Related Items (3)
Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition ⋮ Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure ⋮ Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algorithms for computing triangular decomposition of polynomial systems
- A complete algorithm for automated discovering of a class of inequality-type theorems
- Basic principles of mechanical theorem proving in elementary geometries
- Elimination methods
- A new method for solving algebraic systems of positive dimension
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- On the theories of triangular sets
- Triangulated graphs and the elimination process
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
- Computing cylindrical algebraic decomposition via triangular decomposition
- Comprehensive Triangular Decomposition
- On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style
- Algorithms for computing triangular decompositions of polynomial systems
- Lifting techniques for triangular decompositions
- Chordal Networks of Polynomial Ideals
- Automated Deduction in Geometry
- Triangular decomposition of semi-algebraic systems
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
This page was built for publication: Chordality Preserving Incremental Triangular Decomposition and Its Implementation
