Peter Nordin, Anders Eriksson, Mats G. Nordahl. Genetic Reasoning: Evolutionary Induction of Mathematical Proofs. In Riccardo Poli, Peter Nordin, William B. Langdon, Terence C. Fogarty, editors, Genetic Programming, Second European Workshop, Göteborg, Sweden, May 26-27, 1999, Proceedings. Volume 1598 of Lecture Notes in Computer Science, pages 221-231, Springer, 1999. [doi]
Abstract is missing.