scientific article; zbMATH DE number 1421051
From MaRDI portal
Publication:4946075
zbMath0969.03020MaRDI QIDQ4946075
Publication date: 30 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computational aspects and applications of commutative rings (13P99) Polynomials in number theory (11C08) Mechanization of proofs and logical operations (03B35)
This page was built for publication:
