Daniel Robertz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2007–2022
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CASC | On Boundary Conditions Parametrized by Analytic Functions. | Markus Lange-Hegermann, Daniel Robertz |
| 2019 | ISSAC | Algorithmic Approach to Strong Consistency Analysis of Finite Difference Approximations to PDE Systems. | Vladimir P. Gerdt, Daniel Robertz |
| 2016 | ISSAC | Formal Algorithmic Elimination for PDEs. | Daniel Robertz |
| 2010 | CASC | Thomas Decomposition of Algebraic and Differential Systems. | Thomas Bchler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz |
| 2010 | ISSAC | Consistency of finite difference approximations for linear PDE systems and its algorithmic verification. | Vladimir P. Gerdt, Daniel Robertz |
| 2007 | CASC | Some Elimination Problems for Matrices. | Wilhelm Plesken, Daniel Robertz |