Some Notes upon “When Does $<{\mathbb T}>$ Equal Sat $({\mathbb T})$ ?”
From MaRDI portal
Publication:3582699
DOI10.1007/978-3-642-14128-7_9zbMath1286.68518OpenAlexW47309528MaRDI QIDQ3582699
Publication date: 24 August 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14128-7_9
Symbolic computation and algebraic computation (68W30) Algebraic field extensions (12F05) Polynomials, factorization in commutative rings (13P05) Solving polynomial systems; resultants (13P15)
This page was built for publication: Some Notes upon “When Does $<{\mathbb T}>$ Equal Sat $({\mathbb T})$ ?”