bibliographer - Angus Macintyre

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

On the Decidability of the Real Exponential Field Angus Macintyre Alex J. Wilkie [github]

The word problem for division rings Angus Macintyre [github]

Decidability of the class of all the rings: A problem of Ax Jamshid Derakhshan Angus Macintyre [github]

Elimination of quantifiers in algebraic structures Angus Macintyre Kenneth McKenna Lou van den Dries [github]

Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks Marek Karpinski Angus Macintyre [github]

Turing meets Schanuel Angus Macintyre [github]

Logarithmic-exponential series Lou van den Dries Angus Macintyre David Marker [github]

Model theory of exponentials on Lie algebras ANGUS MACINTYRE [github]

Logarithmic-Exponential Power Series Lou van den Dries Angus Macintyre David Marker [github]

Library Size: 13G (9 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]