F
Frank Malloy Brown
Researcher at University of Texas at Austin
Publications - 2
Citations - 17
Frank Malloy Brown is an academic researcher from University of Texas at Austin. The author has contributed to research in topics: Domain (software engineering) & Reasoning system. The author has an hindex of 2, co-authored 2 publications receiving 17 citations.
Papers
More filters
Journal ArticleDOI
An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning
TL;DR: It is argued that theorem provers based on domain dependent knowledge must be able to increase their domain dependent deductive knowledge if they are to serve as a component of a mathematical reasoning system.
Journal ArticleDOI
Inductive reasoning on recursive equations
TL;DR: Several methods of inductive reasoning in the domain of recursive equations are investigated, including the method of generalization with beliefs, the methods of successive refinement, and temporal methods based on comparisons with previously solved problems.