- 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.
Biography
Biography
I am a Lecturer in Pure Mathematics at the School of Engineering, Computing and Mathematics and a member of the Centre for Mathematical Sciences, University of Plymouth. 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
Teaching
Teaching interests
Current modules:
- 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
Research
Research interests
Algorithmic algebra, differential algebra, applications to systems and control theory.
Publications
Publications
Key publications
Key publications are highlighted
Journals
Articles
(2021) 'Singularities of algebraic differential equations' Advances in Applied Mathematics 131, 102266-102266 , DOI
(2021) 'An Involutive GVW Algorithm and the Computation of Pommaret Bases' Mathematics in Computer Science , DOI Open access
(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
(2012) 'Computation of Difference Groebner Bases' Computer Science Journal of Moldova 20,
(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
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
Personal
Personal
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