Two Applications of Computer-Aided Theorem Discovery and Verification

Fangzhen Lin. Two Applications of Computer-Aided Theorem Discovery and Verification. In Dimitris Karagiannis, Zhi Jin, editors, Knowledge Science, Engineering and Management, Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings. Volume 5914 of Lecture Notes in Computer Science, pages 2, Springer, 2009. [doi]

Abstract

Abstract is missing.