scientific article
From MaRDI portal
Publication:3416657
zbMath1114.68628MaRDI QIDQ3416657
François Lemaire, Marc Moreno Maza, Yuzhen Xie
Publication date: 22 January 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Computational schemes for subresultant chains, Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems, Inversion Modulo Zero-Dimensional Regular Chains, Model reduction of chemical reaction systems using elimination, Parallelization of triangular decompositions: techniques and implementation, Chordal Networks of Polynomial Ideals, A Direttissimo Algorithm for Equidimensional Decomposition, Algorithms for computing triangular decomposition of polynomial systems, Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case, Thomas Decomposition and Nonlinear Control Systems, When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?, On the mechanization of straightedge and compass constructions, On the uniqueness problem for quadrature domains, On approximate triangular decompositions in dimension zero, Change of order for regular chains in positive dimension, The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple}, Thomas Decomposition of Algebraic and Differential Systems, Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits, On exact Reznick, Hilbert-Artin and Putinar's representations, Algebraic transformation of differential characteristic decompositions from one ranking to another, RegularChains, Fully incremental cylindrical algebraic decomposition, Fast arithmetic for triangular sets: from theory to practice, Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one, Comprehensive LU Factors of Polynomial Matrices, Subresultant chains using Bézout matrices, Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
Uses Software
