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

A differentially algebraic replacement theorem, and analog computability Leonard Lipshitz Lee A. Rubel [github]
An Application of Logic to Analysis Joseph Becker Leonard Lipshitz [github]
Remarks on the elementary theories of formal and convergent power series Joseph Becker Leonard Lipshitz [github]
Further remarks on the elementary theory of formal power series rings J. Becker Jan Denef Leonard Lipshitz [github]
Ultraproducts and approximation in local rings. II Jand Denef Leonard Lipshitz [github]
Ultraproducts and approximation in local rings I Joseph Becker Jand Denef Leonard Lipshitz Lou van den Dries [github]
A Gap Theorem for Power Series Solutions of Algebraic Differential Equations Leonard Lipshitz Lee A. Rubel [github]
Decision problems for differential equations Jan Denef Leonard Lipshitz [github]
Power series solutions of algebraic differential equations Jan Denef Leonard Lipshitz [github]
D-finite power series Leonard Lipshitz [github]
The diagonal of a D-finite power series is D-finite Leonard Lipshitz [github]
The Diophantine Problem for Addition and Divisibility Leonard Lipshitz [github]
Algebraic power series and diagonals Jan Denef Leonard Lipshitz [github]

Library Size: 13G (13 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge
[show logs] [hide logs]