A criterion for dependency of algebraic equations with applications to automated theorem proving
From MaRDI portal
Publication:1333975
zbMath0820.68108MaRDI QIDQ1333975
Xiaorong Hou, Lu Yang, Jing-Zhong Zhang
Publication date: 3 July 1995
Published in: Science in China. Series A (Search for Journal in Brave)
Related Items (3)
Recent advances in automated theorem proving on inequalities ⋮ Extended Jury criterion ⋮ Computing triangular systems and regular systems
This page was built for publication: A criterion for dependency of algebraic equations with applications to automated theorem proving
