Yip, Kenneth Man-Kam. KAM : a System for Intelligently Guiding Numerical Experimentation by Computer. MIT Press, 1991.