bibliographer - Matthias Aschenbrenner

bibliographer a curated TCS bibliography

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

Analytic Nullstellensatze and the model theory of valued fields Matthias Aschenbrenner Ahmed Srhir [github]

An algorithm for finding symmetric Grobner bases in infinite dimensional rings Matthias Aschenbrenner Christopher J. Hillar [github]

An Algorithm for Finding Symmetric Grøbner Bases in Infinite Dimensional Rings Matthias Aschenbrenner Christopher J. Hillar [github]

Toward a Model Theory for Transseries Matthias Aschenbrenner Lou van den Dries Joris van der Hoeven [github]

Ideal Membership in Polynomial Rings over the Integers Matthias Aschenbrenner [github]

Julia's equation and differential transcendence Matthias Aschenbrenner Walter Bergweiler [github]

Finite Generation of Symmetric Ideals Matthias Aschenbrenner Christopher J. Hillar [github]

Closed asymptotic couples Matthias Aschenbrenner Lou van den Dries [github]

H -fields and their Liouville extensions Matthias Aschenbrenner Lou van den Dries [github]

Ideal membership in polynomial rings over the integers Matthias Aschenbrenner [github]

Vapnik-Chervonenkis density in some theories without the independence property, I Matthias Aschenbrenner Alf Dolich Deirdre Haskell Dugald Macpherson Sergei Starchenko [github]

Library Size: 13G (11 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]