scientific article; zbMATH DE number 1555236
From MaRDI portal
zbMath0968.68201MaRDI QIDQ4525303
No author found.
Publication date: 23 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
polynomial equationspolynomial differential systemsautomated theorem provingcharacteristic setsRitt-Wu method
Symbolic computation and algebraic computation (68W30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to geometry (51-06) Decidability of theories and sets of sentences (03B25)
Related Items
New multiple soliton-like solutions to the generalized \((2+1)\)-dimensional KP equation, A computer-aided proof of a conjecture in Euclidean geometry, Improved Jacobian elliptic function method and its applications., Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry., Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry., Automated deduction and knowledge management in geometry, Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms, A \textit{Maple} package for finding interaction solutions of nonlinear evolution equations, Symbolic computation for the qualitative theory of differential equations, Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation, Algorithm and mechanization to Cauchy problem of parabolic equation, New exact solutions for three nonlinear evolution equations, Implicit functions and parametrizations in dimension three: generalized solutions
