scientific article
From MaRDI portal
Publication:3490991
zbMath0708.68062MaRDI QIDQ3490991
No author found.
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (24)
Towards a certified version of the encyclopedia of triangle centers ⋮ Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems ⋮ Elimination procedures for mechanical theorem proving in geometry ⋮ A generalized Euclidean algorithm for geometry theorem proving ⋮ A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers ⋮ Characteristic set algorithms for equation solving in finite fields ⋮ Parametric equation solving and quantifier elimination in finite fields with the characteristic set method ⋮ On the efficiency of solving Boolean polynomial systems with the characteristic set method ⋮ An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space ⋮ Finding solutions of fuzzy polynomial equations systems by an Algebraic method ⋮ Characteristic decomposition: from regular sets to normal sets ⋮ Ritt-Wu characteristic set method for Laurent partial differential polynomial systems ⋮ Elimination theory in differential and difference algebra ⋮ An algorithm for decomposing a polynomial system into normal ascending sets ⋮ Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases ⋮ On the parameterization of algebraic curves ⋮ Computing Switching Surfaces in Optimal Control Based on Triangular Decomposition ⋮ An alternative algorithm for computing the pseudo-remainder of multivariate polynomials ⋮ Computing real solutions of fuzzy polynomial systems ⋮ Algebraic factoring and geometry theorem proving ⋮ Mechanically proving geometry theorems using a combination of Wu's method and Collins' method ⋮ Formalization of Wu’s Simple Method in Coq ⋮ Characteristic set method for differential-difference polynomial systems ⋮ Multiplicity-preserving triangular set decomposition of two polynomials
This page was built for publication: