scientific article
From MaRDI portal
Publication:3973334
zbMath0747.13019MaRDI QIDQ3973334
Bhubaneswar Mishra, Giovanni Gallo
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Ideals and multiplicative ideal theory in commutative rings (13A15) Differential algebra (12H05)
Related Items (22)
Complexity results for triangular sets ⋮ On the connection between Ritt characteristic sets and Buchberger-Gröbner bases ⋮ Computational complexity and constraint logic programming languages ⋮ A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity ⋮ A generalized Euclidean algorithm for geometry theorem proving ⋮ A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers ⋮ A Direttissimo Algorithm for Equidimensional Decomposition ⋮ Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros ⋮ Computation of differential Chow forms for ordinary prime differential ideals ⋮ Characteristic set algorithms for equation solving in finite fields ⋮ On the efficiency of solving Boolean polynomial systems with the characteristic set method ⋮ Complexity of triangular representations of algebraic sets ⋮ Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms ⋮ Elimination theory in differential and difference algebra ⋮ A probabilistic algorithm to test local algebraic observability in polynomial time ⋮ Wu's method and the Khovanskii finiteness theorem ⋮ On the parameterization of algebraic curves ⋮ An alternative algorithm for computing the pseudo-remainder of multivariate polynomials ⋮ Characteristic sets for ordinary differential equations ⋮ A characteristic set method for ordinary difference polynomial systems ⋮ The uniform companion for large differential fields of characteristic 0 ⋮ A semi-algebraic approach for asymptotic stability analysis
This page was built for publication:
