scientific article; zbMATH DE number 1465122
From MaRDI portal
Publication:4486136
zbMATH Open0940.12500MaRDI QIDQ4486136FDOQ4486136
Lu Yang, Jingzhong Zhang, Xiaorong Hou
Publication date: 26 June 2000
Title of this publication is not available (Why is that?)
Mechanization of proofs and logical operations (03B35) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Elementary questions in algebraic geometry (14A25)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4486136)
