Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence
Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence
THE ISOMORPHISMS OF SYMPLECTIC GROUPS OVER Ф-SURJECTIVE RINGS
Confluent terminating extensional lambda-calculi with surjective pairing and terminal type
Injectivity and operator spaces
The transversality of a general translate
Dynamical Systems of Algebraic Origin
Versal deformations and algebraic stacks
Dynamics of Bimeromorphic Maps of Surfaces
Homological algebra of homotopy algebras