scientific article; zbMATH DE number 1555236
From MaRDI portal
Publication:4525303
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 (13)
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
This page was built for publication:
