01342nam a2200313 i 4500991003278409707536cr cn|||||||||080617s2000 caua sb 001 0 eng d97801273476080127347607b13659765-39ule_instDip.to Matematicaeng512.9422Mathematics mechanization and applications[e-book] /edited by Xiao-Shan Gao and Dongming WangSan Diego :Academic Press,c2000xix, 551 p. :ill. ;26 cmIncludes bibliographical references (p. 507-539) and indexEquationsNumerical solutionsData processingAutomatic theorem provingGao, Xiao-ShanWang, DongmingScienceDirecthttp://www.sciencedirect.com/science/book/9780127347608An electronic book accessible through the World Wide Web; click for informationTable of contentshttp://www.loc.gov/catdir/toc/els033/99066948.htmlPublisher descriptionhttp://catdir.loc.gov/catdir/description/els033/99066948.html.b1365976503-03-2229-01-08991003278409707536Mathematics mechanization and applications1213919UNISALENTOle01329-01-08m@ -engcau00