bibliographer - Eike Neumann

bibliographer a curated TCS bibliography

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

The equational theory of the Weihrauch lattice with multiplication Eike Neumann Arno Pauly Cécilia Pradic [github]

Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set Julian D'Costa Engel Lefaucheux Eike Neumann Joel Ouaknine James Worrell [github]

Decision problems for linear recurrences involving arbitrary real numbers Eike Neumann [github]

Decision problems for second-order holonomic recurrences Eike Neumann Joel Ouaknine James Worrell [github]

Decision problems for linear recurrences involving arbitrary real numbers Eike Neumann [github]

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

[show logs] [hide logs]