Concepedia

Angus Macintyre

AM

47

Publications

2.4K

Citations

28

H-Index

1938

Active since

Affiliations

Yale University(Current)

University of Aberdeen

University of Oxford

University of Edinburgh

Queen Mary University of London

Angus Macintyre is an author at Yale University specializing in engineering, automated reasoning, and approximation theory.

Top concepts

EngineeringAutomated ReasoningFormal MethodsApproximation TheoryRepresentation TheoryGeometric Group TheorySpectral TheoryFunctional AnalysisEducationMachine Learning

Publications per year

1938–2016

47

Publications

47

The Elementary Theory of Restricted Analytic Fields with Exponentiation

Lou van den Dries, Angus Macintyre, David Marker · Annals of Mathematics · 1994 · 242 citations

Elementary Theory, Real Exponential Field, Definable Subsets +7

On definable subsets of <i>p</i>-adic fields

Angus Macintyre · Journal of Symbolic Logic · 1976 · 169 citations

First-order Definable Subsets, Commutative Algebra, Definable Subsets +6

Lectures on the Theory of Functions

Angus Macintyre · Nature · 1945 · 159 citations

Spectral Theory, Theoretical Mathematics, Engineering +3

Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks

Marek Karpiński, Angus Macintyre · Journal of Computer and System Sciences · 1997 · 139 citations · Full text

Engineering, Vc Dimension, Machine Learning +3

On the decidability of the real exponential field

Angus Macintyre, A. J. Wilkie · 1996 · 114 citations

Constructive Field Theory, Real Exponential Field, Finite Field +1

Rows per page

1–5 of 47