Discovering Theorems with a Computer: The case of y ' = sin( xy )
1979; Taylor & Francis; Volume: 86; Issue: 9 Linguagem: Inglês
10.1080/00029890.1979.11994900
ISSN1930-0972
AutoresWendell Mills, Boris Weisfeiler, Allan M. Krall,
Tópico(s)Computability, Logic, AI Algorithms
ResumoClick to increase image sizeClick to decrease image size Additional informationNotes on contributorsWendell MillsWendell H. Mills received his Ph.D. from the University of Michigan, Ann Arbor, 1976, under G. J. Fix and W. Kaplan. He was a member of the technical staff of Rockwell International Corp., Los Angeles, from 1968–1972, and has been an Assistant Professor of Mathematics at the Pennsylvania State University since 1976. His interest lies in the study of numerical solutions of singular ordinary and partial differential equations and eigenvalue problems using Galerkin—projective—finite element techniques.Boris WeisfeilerBoris Weisfeiler received his M.S. from the Moscow State University in 1963. From 1963 to 1965 he was a consultant for the Moscow Electrolamp Factory. In 1965 he re-entered graduate school at the Institute of Theoretical and Experimental Physics in Moscow. He left in 1968 to become a senior researcher at the Institute of Control Problems in Moscow, a post he held until 1974. In 1970 he received his Ph.D. in algebra under E. B. Vinberg from the Leningrad branch of the Steklov Institute. He emigrated to the United States to become in 1975 an assistant to A. Borel at the Institute for Advanced Study, Princeton, and then, since 1976, Associate Professor at the Pennsylvania State University. His main research has been in algebra, but he also retains a substantial interest in applied mathematics.Allan M. KrallA. M. Krall did his graduate work at the University of Virginia under E. J. McShane and Marvin Rosenblum, receiving his Ph.D. in 1963. Since then, he has served at the Pennsylvania State University, where he has been Professor since 1971. The main thrust of his work has been concerned with general boundary value problems. More recently he has become interested in special functions.—Editors
Referência(s)