Comprehensive Triangular Decomposition

From MaRDI portal
Publication:3508471

DOI10.1007/978-3-540-75187-8_7zbMath1141.68677OpenAlexW1536271794MaRDI QIDQ3508471

Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan, Changbo Chen

Publication date: 1 July 2008

Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75187-8_7




Related Items (33)

Chordality Preserving Incremental Triangular Decomposition and Its ImplementationFirst order perturbation and local stability of parametrized systemsStability analysis for discrete biological models using algebraic methodsGröbner bases for polynomial systems with parametersA novel procedure for constructing invariant subspaces of a set of matricesA signature-based algorithm for computing the nondegenerate locus of a polynomial systemAlgorithms for computing triangular decomposition of polynomial systemsSquarefree normal representation of zeros of zero-dimensional polynomial systemsGeneric regular decompositions for parametric polynomial systemsAlgorithmic Thomas decomposition of algebraic and differential systemsOn solving parametric polynomial systemsWhen does \(\langle T \rangle\) equal \(\text{sat}(T)\)?A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner basesAn equivalence theorem for regular differential chainsComputing strong regular characteristic pairs with Gröbner basesOn the uniqueness problem for quadrature domainsOn decomposition of algebraic PDE systems into simple subsystemsA test for monomial containmentComputer algebra methods in the study of nonlinear differential systemsThe \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple}Thomas Decomposition of Algebraic and Differential SystemsA short contribution to the theory of regular chainsDecomposition of polynomial sets into characteristic pairsSymbolic computations of the equilibrium orientations of a system of two connected bodies moving on a circular orbit around the EarthOn QE algorithms over an algebraically closed field based on comprehensive Gröbner systemsQuantifier elimination by cylindrical algebraic decomposition based on regular chainsA Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and ApplicationsGeneric regular decompositions for generic zero-dimensional systemsMultiplicity-preserving triangular set decomposition of two polynomialsComprehensive LU Factors of Polynomial MatricesAN APPLICATION OF REGULAR CHAIN THEORY TO THE STUDY OF LIMIT CYCLESAn algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varietiesAnalyses and implementations of chordality-preserving top-down algorithms for triangular decomposition


Uses Software



This page was built for publication: Comprehensive Triangular Decomposition