scientific article; zbMATH DE number 2110642
From MaRDI portal
Publication:4823164
zbMath1099.13047MaRDI QIDQ4823164
Publication date: 26 October 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gröbner basesresultantspolynomial equationseliminationtriangular setsgeometric theorem provingdecomposition of algebraic varietiesWu-Ritt's characteristic sets
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (32)
Algorithm for computing differential char sets efficiently ⋮ Solution of center-focus problem for a class of cubic systems ⋮ Characteristic sets verses generalized characteristic sets ⋮ Extension of Simson–Wallace Theorem on Skew Quadrilaterals and Further Properties ⋮ On protocols for the automated discovery of theorems in elementary geometry ⋮ A simple method for implicitizing rational curves and surfaces ⋮ Symbolic computation of the orthogonal projection of rational curves onto rational parameterized surfaces ⋮ Automated discovery of geometric theorems based on vector equations ⋮ Symbolic computation of strongly nonlinear periodic oscillations ⋮ An algorithmic approach to small limit cycles of nonlinear differential systems: the averaging method revisited ⋮ The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs ⋮ A concise proof of the Kronecker polynomial system solver from scratch ⋮ Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases ⋮ Generic regular decompositions for parametric polynomial systems ⋮ Morley's theorem revisited: origami construction and automated proof ⋮ Algorithmic Thomas decomposition of algebraic and differential systems ⋮ Generalizing the Steiner-Lehmus theorem using the Gröbner cover ⋮ On decomposition of algebraic PDE systems into simple subsystems ⋮ Computational Origami Construction as Constraint Solving and Rewriting ⋮ Computing singular points of plane rational curves ⋮ On \(n\)-sectors of the angles of an arbitrary triangle ⋮ Complexity of solving parametric polynomial systems ⋮ Properties of regular systems and algorithmic improvements for regular decomposition ⋮ A \textit{Maple} package for finding interaction solutions of nonlinear evolution equations ⋮ Symbolic computation of hyperbolic tangent solutions for nonlinear differential-difference equations ⋮ Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems ⋮ On computing absolutely irreducible components of algebraic varieties with parameters ⋮ Decomposition of polynomial sets into characteristic pairs ⋮ On One Method of Proving Inequalities in Automated Way ⋮ Generic regular decompositions for generic zero-dimensional systems ⋮ Multiplicity-preserving triangular set decomposition of two polynomials ⋮ Discussion on: ``Comparison of different multivariable control design methods applied on half car test setup
Uses Software
This page was built for publication:
