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

A computer scientist point of view on Hilbert's differential theorem of zeros François Boulier François Lemaire [github]
On Symbolic Approaches to Integro-Differential Equations François Boulier François Lemaire Markus Rosenkranz Rosane Ushirobira Nathalie Verdière [github]
The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry Sebastian Falkensteiner Cristhian Garay-López Mercedes Haiech Marc Paul Noordman Zeinab Toghani François Boulier [github]
On The Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry François Boulier Sebastian Falkensteiner Marc Paul Noordman Omar Leon Sanchez [github]
Foreword to the article: Computing representations for radicals of finitely generated differential ideals François Boulier [github]
Differential Elimination and Biological Modelling François Boulier [github]
Computing representations for radicals of finitely generated differential ideals François Boulier Daniel Lazard François Ollivier Michel Petitot [github]
The Ritt-Raudenbush Theorem and Tropical Differential Geometry François Boulier Mercedes Haiech [github]

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