Concepedia

Lou van den Dries

LV

50

Publications

3.5K

Citations

29

H-Index

1977

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Stanford University

Urbana University

Yale University

Institute for Advanced Study

Lou van den Dries is an author at University of Illinois Urbana-Champaign specializing in engineering, functional analysis, and computer science.

Top concepts

EngineeringFunctional AnalysisComputer ScienceFormal MethodsDiscrete MathematicsMathematical ProgrammingAutomated ReasoningComputational ComplexityMathematical FoundationsGeometry

Publications per year

1977–2010

50

Publications

50

Geometric categories and o-minimal structures

Lou van den Dries, Chris Miller · Duke Mathematical Journal · 1996 · 575 citations

Higher Category Theory, Categorical Model, Geometric Categories

p-adic and Real Subanalytic Sets

Jan Denef, Lou van den Dries · Annals of Mathematics · 1988 · 257 citations

Real Algebraic Geometry, Topological Property, Set-theoretic Topology +1

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

Gromov's theorem on groups of polynomial growth and elementary logic

Lou van den Dries, A. J. Wilkie · Journal of Algebra · 1984 · 231 citations

Coxeter Group, Geometric Group Theory, Frattini Subgroup +4

A generalization of the Tarski-Seidenberg theorem, and some nondefinability results

Lou van den Dries · Bulletin of the American Mathematical Society · 1986 · 136 citations · Full text

Rows per page

1–5 of 50