The Institute of Mathematics and Its Applications conference series, new ser., 15
Based on the proceedings of a conference on artificial intelligence in mathematics, organized by the Institute of Mathematics and Its Applications, hosted by the University of Strathclyde and the Turing Institute in
Includes bibliographical references
edited by Jeffrey Johnson, Sean McKee, and Alfred Vella