The unification type of the Pythagorean equation in varieties of nilpotent rings

Authors:
G. Belitskii;R. Lipyanski
Affiliations:
Department of Mathematics, Ben-Gurion University of the Negev, Beer-Sheva, Israel;Department of Mathematics, Ben-Gurion University of the Negev, Beer-Sheva, Israel
Venue:
Journal of Symbolic Computation
Year:
2006

Citing 6
Cited 0

Boolean unification - The story so far

Journal of Symbolic Computation
Unification in commutative rings is not finitary

Information Processing Letters
Unification in primal algebras, their powers and their varieties

Journal of the ACM (JACM)
Hilbert's tenth problem is of unification type zero

Journal of Automated Reasoning
Unification theory

Handbook of logic in artificial intelligence and logic programming
Unification in Varieties of Completely Regular Semigroups

IWWERT '90 Proceedings of the First International Workshop on Word Equations and Related Topics

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose fast algorithms for computing composed products and composed sums, as well as diamond products of univariate polynomials. These operations correspond to special multivariate resultants, that we compute using power sums of roots of polynomials, ...