Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence

From MaRDI portal
Publication:1823681

DOI10.1016/S0747-7171(88)80047-6zbMath0681.68052WikidataQ56287868 ScholiaQ56287868MaRDI QIDQ1823681

David Shannon, Moss Eisenberg Sweedler

Publication date: 1988

Published in: Journal of Symbolic Computation (Search for Journal in Brave)




Related Items

Algorithmic problems for differential polynomial algebras, Certification for polynomial systems via square subsystems, Effective computation of the integral closure of a morphism, Construction of the integral closure of an affine domain in a finite field extension of its quotient field, Algebraic independence over positive characteristic: new criterion and applications to locally low-algebraic-rank circuits, Locally nilpotent derivations and their applications. III, Algorithmic problems in associative algebras, Computing final polynomials and final syzygies using Buchberger's Gröbner bases method, Gröbner bases and their application to the Cauchy problem on finitely generated affine monoids, An algorithm for finding globally identifiable parameter combinations of nonlinear ODE models using Gröbner bases, A Gröbner basis criterion for birational equivalence of affine varieties, The Generalized Rabinowitsch Trick, Finding identifiable parameter combinations in nonlinear ODE models and the rational reparameterization of their input-output equations, Computing the conductor of an integral extension, Computing combinatorial decompositions of rings, Algebraic closure of a rational function, Procedures to investigate injectivity of polynomial maps and to compute the inverse, A Gröbner basis criterion for isomorphisms of algebraic varieties, TEST OF EPIMORPHISM FOR FINITELY GENERATED MORPHISMS BETWEEN AFFINE ALGEBRAS OVER COMPUTATIONAL RINGS, The inverse of an automorphism in polynomial time, A resultant criterion and formula for the inversion of a rational map in two variables, Change of order for regular chains in positive dimension, Implicitization of rational parametric equations, An algorithmic approach to Schmüdgen's Positivstellensatz, Why you cannot even hope to use Ore algebras in cryptography, Poisson brackets and two-generated subalgebras of rings of polynomials, The tame and the wild automorphisms of polynomial rings in three variables, Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings, Gröbner bases and the Nagata automorphism, Differential algebraic dependence and Novikov dependence, Regular Gröbner bases, Effective computation of singularities of parametric affine curves



Cites Work