scientific article; zbMATH DE number 800143
From MaRDI portal
Publication:4848888
zbMath0839.68090MaRDI QIDQ4848888
Jing-Zhong Zhang, Lu Yang, Xiaorong Hou
Publication date: 25 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Automated discovery of geometric theorems based on vector equations ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Mechanical geometry theorem proving based on Gröbner bases ⋮ A complete discrimination system for polynomials with complex coefficients and its automatic generation
This page was built for publication:
