Chordality preserving incremental triangular decomposition and its implementation

DOI10.1007/978-3-030-52200-1_3MaRDI QIDQ5039552zbMATHOpenAlexFDO

Authors Changbo Chen

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

zbMATH Keywords

triangular decompositionchordal graphincremental algorithmregular chain

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10) Computational aspects of higher-dimensional varieties (14Q15)

Recommendations

• Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
• Chordal graphs in triangular decomposition in top-down style
• Algorithms for computing triangular decompositions of polynomial systems
• On the chordality of polynomial sets in triangular decomposition in top-down style
• Algorithms for computing triangular decomposition of polynomial systems

Cites work

• scientific article; zbMATH DE number 5722788 (Why is no real title available?)
• scientific article; zbMATH DE number 1273649 (Why is no real title available?)
• scientific article; zbMATH DE number 3007259 (Why is no real title available?)
• scientific article; zbMATH DE number 1979251 (Why is no real title available?)
• A complete algorithm for automated discovering of a class of inequality-type theorems
• A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
• A new method for solving algebraic systems of positive dimension
• Algorithms for computing triangular decomposition of polynomial systems
• Algorithms for computing triangular decompositions of polynomial systems
• An incremental algorithm for computing cylindrical algebraic decompositions
• Automated Deduction in Geometry
• Basic principles of mechanical theorem proving in elementary geometries
• Chordal networks of polynomial ideals
• Comprehensive Triangular Decomposition
• Computing cylindrical algebraic decomposition via triangular decomposition
• Elimination methods
• Lifting techniques for triangular decompositions
• On the chordality of polynomial sets in triangular decomposition in top-down style
• On the theories of triangular sets
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Triangular decomposition of semi-algebraic systems
• Triangulated graphs and the elimination process

Cited in

(7)

• 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
• Chordal graphs in triangular decomposition in top-down style
• A vertex incremental approach for maintaining chordality
• On the chordality of polynomial sets in triangular decomposition in top-down style
• Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
• Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure

Describes a project that uses

Uses Software

• DISCOVERER
• Chordal

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)