Serge Autexier, Dominik Dietrich. Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. In Jonathan M. Borwein, William M. Farmer, editors, Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings. Volume 4108 of Lecture Notes in Computer Science, pages 94-109, Springer, 2006. [doi]
Abstract is missing.