Comprehensive Triangular Decomposition

From MaRDI portal
Publication:3508471


DOI10.1007/978-3-540-75187-8_7zbMath1141.68677MaRDI 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


68W30: Symbolic computation and algebraic computation


Related Items

Decomposition of polynomial sets into characteristic pairs, Comprehensive LU Factors of Polynomial Matrices, An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties, Chordality Preserving Incremental Triangular Decomposition and Its Implementation, Computer algebra methods in the study of nonlinear differential systems, Quantifier elimination by cylindrical algebraic decomposition based on regular chains, A signature-based algorithm for computing the nondegenerate locus of a polynomial system, First order perturbation and local stability of parametrized systems, Stability analysis for discrete biological models using algebraic methods, Algorithms for computing triangular decomposition of polynomial systems, Algorithmic Thomas decomposition of algebraic and differential systems, A test for monomial containment, The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple}, Gröbner bases for polynomial systems with parameters, When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?, On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems, Generic regular decompositions for parametric polynomial systems, On decomposition of algebraic PDE systems into simple subsystems, A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases, An equivalence theorem for regular differential chains, On solving parametric polynomial systems, A short contribution to the theory of regular chains, Symbolic computations of the equilibrium orientations of a system of two connected bodies moving on a circular orbit around the Earth, Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition, Computing strong regular characteristic pairs with Gröbner bases, On the uniqueness problem for quadrature domains, Generic regular decompositions for generic zero-dimensional systems, Multiplicity-preserving triangular set decomposition of two polynomials, A novel procedure for constructing invariant subspaces of a set of matrices, A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications, AN APPLICATION OF REGULAR CHAIN THEORY TO THE STUDY OF LIMIT CYCLES, Thomas Decomposition of Algebraic and Differential Systems


Uses Software