- Room 106, 2 Kirkby Place, Drake Circus, Plymouth, PL4 8AA
- +44 1752 586334
- daniel.robertz@plymouth.ac.uk

Profiles
Dr Daniel Robertz
Lecturer in Pure Mathematics
School of Engineering, Computing and Mathematics (Faculty of Science and Engineering)
Daniel can be contacted through arrangement with our Press Office, to speak to the media on these areas of expertise.
- Algorithmic algebra
- Differential algebra
- Applications to systems and control theory
Email publicrelations@plymouth.ac.uk to enquire.
I am a Lecturer in Pure Mathematics at the School of Engineering, Computing and Mathematics and a member of the Centre for Mathematical Sciences, Plymouth University. Currently I teach students in mathematics as well as engineering programmes, from first to final year. I am stage tutor for the second year of the Mathematics and Statistics programmes.
Qualifications
Education:
- Diploma in Mathematics (2003), RWTH Aachen University
- PhD in Mathematics (2006), RWTH Aachen University
- Habilitation in Mathematics (2012), RWTH Aachen University
Professional Experience:
- 10/2003 - 08/2013: Teaching and research assistant at Lehrstuhl B fuer Mathematik, RWTH Aachen University
Research Stays:
- 02 - 04/2003: Institut National de Recherche en Informatique et en Automatique (INRIA), Sophia Antipolis, France
- 02 - 04/2004: INRIA Sophia Antipolis
- 03/2005: INRIA Sophia Antipolis
- 03/2007: Institute for Mathematics and its Applications, University of Minnesota, Minneapolis, USA
- 08/2007 - 07/2008: Department of Mathematics, University of California, Berkeley, USA
Awards:
- 06/2007: Borchers-Plakette, RWTH Aachen University (for PhD thesis)
- 11/2013: Friedrich-Wilhelm-Preis, RWTH Aachen University (for Habilitation thesis)
Professional membership
German Mathematical Society (Deutsche Mathematiker-Vereinigung)
London Mathematical Society
Teaching interests
I have been teaching
- Geometry and Group Theory (MATH1611),
- Real and Complex Analysis (MATH2606),
- Partial Differential Equations (MATH3605).
- Geometry, Graphs and Groups (MATH1506),
- Symmetry and Space (MATH1604PP),
- Real and Complex Analysis (MATH2505),
- Engineering Mathematics (MATH117),
- Mathematics with Applications II (MATH1106),
- Quantitative and Experimental Earth Sciences (EAR113).
Research interests
Algorithmic algebra, differential algebra, applications to systems and control theory
Key publications
Key publications are highlighted
Journals
Articles
2018 'The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs' Computer Physics Communications , DOI Open access
2016 'A parallel evolutionary approach to solving systems of equations in polycyclic groups' Groups Complexity Cryptology , DOI Open access
2016 'Lagrangian constraints and differential Thomas decomposition' Advances in Applied Mathematics 72, 113-138 , DOI Open access
2014 'Recent progress in an algebraic analysis approach to linear systems' Multidimensional Systems and Signal Processing 26, (2) 349-388 , DOI Open access
2014 'A Constructive Study of the Module Structure of Rings of Partial Differential Operators' Acta Applicandae Mathematicae 133, (1) 187-234 , DOI Open access
2013 'Thomas decompositions of parametric nonlinear control systems' IFAC Proceedings Volumes 46, (2) 296-301 , DOI
2012 'Algorithmic Thomas decomposition of algebraic and differential systems' Journal of Symbolic Computation 47, (10) 1233-1266 , DOI
2010 'Linear Differential Elimination for Analytic Functions' Mathematics in Computer Science 4, (2-3) 231-242 , DOI
2009 'Noether normalization guided by monomial cone decompositions' Journal of Symbolic Computation 44, (10) 1359-1373 , DOI
2009 'conley: Computing connection matrices in Maple' Journal of Symbolic Computation 44, (5) 540-557 , DOI
2008 'homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA' Journal of Algebra and Its Applications 07, (03) 299-317 , DOI
2008 'Elimination for Coefficients of Special Characteristic Polynomials' Experimental Mathematics 17, (4) 499-510 , DOI
2007 'Computation of bases of free modules over the Weyl algebras' Journal of Symbolic Computation 42, (11-12) 1113-1141 , DOI
2006 'Methoden und Werkzeuge zum Entwurf mechatronischer Bewegungssysteme mit ungleichmäßig übersetzenden Getrieben' VDI Berichte (1963) 557-573
2006 'Representations, commutative algebra, and Hurwitz groups' Journal of Algebra 300, (1) 223-247 , DOI
2006 'A Maple package for computing Gröbner bases for linear recurrence relations' Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment 559, (1) 215-219 , DOI
2005 'Effective algorithms for parametrizing linear control systems over Ore algebras' Applicable Algebra in Engineering, Communication and Computing 16, (5) 319-376 , DOI
2005 'Janet's approach to presentations and resolutions for polynomials and linear pdes' Archiv der Mathematik 84, (1) 22-37 , DOI
'Algorithmic approach to strong consistency analysis of finite difference
approximations to PDE systems' Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC Open access
'Computation of Difference Groebner Bases' Computer Science Journal of Moldova 20,
'Singularities of Algebraic Differential Equations' Open access
'Thomas Decomposition and Nonlinear Control Systems' Open access
Books
Chapters
2014 'Basic Principles and Supplementary Material' FORMAL ALGORITHMIC ELIMINATION FOR PDES 233-258
2014 'Differential Elimination for Analytic Functions' Formal Algorithmic Elimination for PDEs Springer International Publishing 119-231 , DOI
2014 'Formal Methods for PDE Systems' Formal Algorithmic Elimination for PDEs Springer International Publishing 5-117 , DOI
2014 'Introduction' Formal Algorithmic Elimination for PDEs Springer International Publishing 1-4 , DOI
Conference Papers
2016 'Formal Algorithmic Elimination for PDEs' ISSAC '16: International Symposium on Symbolic and Algebraic Computation ACM , DOI
2015 'Foreword' iii-iv
2010 'Consistency of finite difference approximations for linear PDE systems and its algorithmic verification' the 2010 International Symposium 7-/-0/20107-/-0/2010ACM Press , DOI
2005 'PARAMETRIZING ALL SOLUTIONS OF UNCONTROLLABLE MULTIDIMENSIONAL LINEAR SYSTEMS' Elsevier BV 49-54 , DOI
2003 'Linear control systems over ore algebras: Effective algorithms for the computation of parametrizations' Elsevier BV 147-154 , DOI
'On the blowing-up of stably free behaviours' 44th IEEE Conference on Decision and Control IEEE , DOI
Reports & invited lectures
Selected invited talks:
- Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems (14/10/2019),
Differential Algebra and Dynamical Systems in Dijon, Université de Bourgogne, Dijon, France - Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems (13/09/2019),
Kolchin Seminar in Differential Algebra, City University of New York, USA - Thomas decomposition of nonlinear PDE systems (08/04/2019),
RISC forum / Seminar Computer Algebra, Research Institute for Symbolic Computation, Johannes Kepler Universität Linz, Austria - Méthodes formelles pour les équations aux dérivées partielles (24 and 25/01/2018),
Journées Nationales de Calcul Formel 2018, CIRM, Luminy, France - Embedding simplicial surfaces by solving polynomial systems (13/12/2017),
Pure Mathematics Colloquium, Lancaster University, UK - Eliminationsverfahren für nicht-lineare PDE-Systeme (04/05/2017),
Tagung der Fachgruppe Computeralgebra, Kassel, Germany - Formal Algorithmic Elimination for PDEs (19/07/2016),
Tutorial given at the 41st International Symposium on Symbolic and Algebraic Computation, Wilfrid Laurier University, Waterloo, Ontario, Canada