Computer aided proofs in analysis : proceedings of an IMA Participating Institutions Conference... / editors Kenneth R. Meyer, Dieter S. Schmidt

Autor secundário: Meyer , Kenneth Ray, (1937-);Schmidt , Dieter S.Autor Institucional (Principal): IMA Conference "Computer Aided Proofs in Analysis", , Cincinnati,, 1989Língua: Inglês.País: Estados Unidos.ISBN: 0-387-97426-1.Publicação: New York (NY) : Springer, cop. 1991Descrição: XIII, 251 p. : ilColeção: (The IMA volumes in mathematics and its applications ; 28)Assunto : Análise numérica -- Processamento de dadosCDU: 519.6