bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

  • Formal factorization of higher order irregular linear differential operators Leanne Mezuman Sergei Yakovenko Thu 18 April 2024
  • Formal and convergent solutions of analytic equations Arkadiusz Ploski Thu 25 January 2024
  • Julia's equation and differential transcendence Matthias Aschenbrenner Walter Bergweiler Sat 24 December 2022
  • The Fundamental Theorem of Algebra made effective: an elementary real-algebraic proof via Sturm chains M. Eisermann Fri 23 November 2018

Library Size: 13G (4 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge
[show logs] [hide logs]