scientific article; zbMATH DE number 1348459
From MaRDI portal
Publication:4264711
zbMath0925.03067MaRDI QIDQ4264711
Shang-Ching Chou, Xiao-Shan Gao
Publication date: 7 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The computer searches for Pascal conics, Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems, Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method, A graphical user interface for formal proofs in geometry, Formalization of Wu’s Simple Method in Coq