Concepedia

David Marker

DM

16

Publications

921

Citations

14

H-Index

1984

Active since

Affiliations

University of Illinois Chicago(Current)

University of California, Berkeley

University of Illinois Urbana-Champaign

University of Oxford

Vassar College

David Marker is an author at University of Illinois Chicago specializing in automated reasoning, elementary education, and formal methods.

Top concepts

Publications per year

1984–2006

16

Publications

16

The Elementary Theory of Restricted Analytic Fields with Exponentiation

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

, , +7

Weakly o-minimal structures and real closed fields

Dugald Macpherson, David Marker, Charles Steinhorn · Transactions of the American Mathematical Society · 2000 · 158 citations · Full text

, , +9

Logarithmic-Exponential Power Series

Lou van den Dries, Angus Macintyre, David Marker · Journal of the London Mathematical Society · 1997 · 84 citations

Logarithmic-exponential series

Lou van den Dries, Angus Macintyre, David Marker · Annals of Pure and Applied Logic · 2001 · 58 citations

Definable types in -minimal theories

David Marker, Charles Steinhorn · Journal of Symbolic Logic · 1994 · 57 citations

, , +7

Rows per page

1–5 of 16