External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automated Discovering and Proving for Geometric Inequalities

Lu Yang, Xiaorong Hou, Bican Xia. Automated Discovering and Proving for Geometric Inequalities. In Xiao-Shan Gao, Dongming Wang, Lu Yang, editors, Automated Deduction in Geometry, Second International Workshop, ADG 98, Beijing, China, August 1-3, 1998, Proceedings. Volume 1669 of Lecture Notes in Computer Science, pages 30-46, Springer, 1998. [doi]

Authors

Lu Yang

This author has not been identified. Look up 'Lu Yang' in Google

Xiaorong Hou

This author has not been identified. Look up 'Xiaorong Hou' in Google

Bican Xia

This author has not been identified. Look up 'Bican Xia' in Google
runs on