bibliographer - Daniel Robertz

bibliographer a curated TCS bibliography

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

OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems Frédéric Chyzak Alban Quadrat Daniel Robertz [github]

Computation of Difference Grøbner Bases Vladimir P. Gerdt Daniel Robertz [github]

Consistency of Finite Difference Approximations for Linear PDE Systems and Its Algorithmic Verification Vladimir P. Gerdt Daniel Robertz [github]

A Maple package for computing Grøbner bases for linear recurrence relations Vladimir P. Gerdt Daniel Robertz [github]

Formal methods for systems of partial differential equations Daniel Robertz [github]

Algorithmic Thomas decomposition of algebraic and differential systems Thomas Bächler Vladimir Gerdt Markus Lange-Hegermann Daniel Robertz [github]

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

[show logs] [hide logs]