Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
type: Item
instance of: scholarly article
title: Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
DOI: 10.1007/978-3-031-14788-3_8
author: Mingyu Dong
author: Chenqi Mou
publication date: 2022-12-21T00:00:00Z
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7635696
zbMATH Keywords: triangular decomposition
zbMATH Keywords: chordal graph
zbMATH Keywords: sparsity
zbMATH Keywords: implementation
describes a project that uses: Chordal
describes a project that uses: Epsilon
describes a project that uses: RegularChains
describes a project that uses: Wsolve
describes a project that uses: SINGULAR
MaRDI profile type: Publication
full work available at URL: 978-3-031-14788-3 8
OpenAlex ID: W4302333077
cites work: On the theories of triangular sets
cites work: Triangular sets for solving polynomial systems: a comparative implementation of four methods
cites work: Algorithmic Thomas decomposition of algebraic and differential systems
cites work: Maximum cardinality search for computing minimal triangulations of graphs
cites work: A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
cites work: Chordality Preserving Incremental Triangular Decomposition and Its Implementation
cites work: Comprehensive Triangular Decomposition
cites work: Algorithms for computing triangular decomposition of polynomial systems
cites work: Chordal Networks of Polynomial Ideals
cites work: Q5690494
cites work: Characteristic set algorithms for equation solving in finite fields
cites work: Q2781760
cites work: Attacking Bivium and Trivium with the Characteristic Set Method
cites work: Q4425661
cites work: A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
cites work: A new method for solving algebraic systems of positive dimension
cites work: Solving zero-dimensional algebraic systems
cites work: Q3416657
cites work: On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style
cites work: Chordal graphs in triangular decomposition in top-down style
cites work: On the Chordality of Simple Decomposition in Top-Down Style
cites work: Decomposing polynomial sets into simple sets over finite fields: the positive-dimensional case
cites work: Algebraic approaches to stability analysis of biological systems
cites work: Q4334610
cites work: Q5795628
cites work: An elimination method for polynomial systems
cites work: Decomposing polynomial systems into simple systems
cites work: Elimination methods
cites work: Q4790471
cites work: Stability analysis of biological systems with real solution classification
cites work: Basic principles of mechanical theorem proving in elementary geometries
cites work: A zero structure theorem for polynomial-equations-solving and its applications
cites work: Q4303118
cites work: Ritt-Wu's decomposition algorithm and geometry theorem proving
description: scientific article; zbMATH DE number 7635696