Robertz, Daniel
63  results:
Search for persons X
?
4

On Boundary Conditions Parametrized by Analytic Functions:

, In: Computer Algebra in Scientific Computing; Lecture Notes in Computer Science,
 
?
 
?
6

Foreword:

Robertz, Daniel ; Seiler, Werner M.
Mathematics in Computer Science.  16 (2022)  4 - p. , 2022
 
?
 
?
 
?
10

Thomas Decomposition and Nonlinear Control Systems:

, In: Algebraic and Symbolic Computation Methods in Dynamical Systems; Advances in Delays and Dynamics,
 
?
12

Algorithmic Approach to Strong Consistency Analysis of Fini..:

, In: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation,
Gerdt, Vladimir P. ; Robertz, Daniel - p. 163-170 , 2019
 
?
13

Foreword:

Beaudin, Michel ; Dana-Picard, Thierry ; Levin, Alexander...
Mathematics in Computer Science.  13 (2019)  1-2 - p. 1-3 , 2019
 
?
14

Formal Algorithmic Elimination for PDEs:

, In: Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation,
Robertz, Daniel - p. 19-22 , 2016
 
?
15

Lagrangian constraints and differential Thomas decompositio:

Gerdt, Vladimir P. ; Robertz, Daniel
Advances in Applied Mathematics.  72 (2016)  - p. 113-138 , 2016
 
1-15