Dr Daniel Robertz
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
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).

Previous modules:
  • 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
Robertz D, Hashemi A, Izgin T & Seiler WM (2021) 'An Involutive GVW Algorithm and the Computation of Pommaret Bases' Mathematics in Computer Science , DOI Open access
Lange-Hegermann M, Robertz D, Seiler WM & Seiss M (2020) 'Singularities of Algebraic Differential Equations' Author Site Open access
Lange-Hegermann M & Robertz D (2020) 'Thomas Decomposition and Nonlinear Control Systems' Author Site Open access
Brakhage K-H, Niemeyer AC, Plesken W, Robertz D & Strzelczyk A (2019) 'The icosahedra of edge length 1' Journal of Algebra Author Site , DOI Open access
Beaudin M, Dana-Picard T, Levin A, Koutschan C, Kotsireas I & Robertz D (2019) 'Foreword' Mathematics in Computer Science , DOI Open access
Gerdt VP, Lange-Hegermann M & Robertz D (2018) 'The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs' Computer Physics Communications Author Site , DOI Open access
Craven MJ & Robertz D (2016) 'A parallel evolutionary approach to solving systems of equations in polycyclic groups' Groups Complexity Cryptology , DOI Open access
Gerdt VP & Robertz D (2016) 'Lagrangian constraints and differential Thomas decomposition' Advances in Applied Mathematics 72, 113-138 , DOI Open access
Robertz D (2014) 'Recent progress in an algebraic analysis approach to linear systems' Multidimensional Systems and Signal Processing 26, (2) 349-388 , DOI Open access
Quadrat A & Robertz D (2014) 'A Constructive Study of the Module Structure of Rings of Partial Differential Operators' Acta Applicandae Mathematicae 133, (1) 187-234 , DOI Open access
Lange-Hegermann M & Robertz D (2013) 'Thomas decompositions of parametric nonlinear control systems' IFAC Proceedings Volumes 46, (2) 296-301 , DOI
Bächler T, Gerdt V, Lange-Hegermann M & Robertz D (2012) 'Algorithmic Thomas decomposition of algebraic and differential systems' Journal of Symbolic Computation 47, (10) 1233-1266 , DOI
Gerdt VP & Robertz D (2012) 'Computation of Difference Groebner Bases' Computer Science Journal of Moldova 20, Author Site
Plesken W & Robertz D (2010) 'Linear Differential Elimination for Analytic Functions' Mathematics in Computer Science 4, (2-3) 231-242 , DOI
Bächler T, Gerdt V, Lange-Hegermann M & Robertz D (2010) 'Thomas Decomposition of Algebraic and Differential Systems' 31-54 , DOI
Plesken W & Robertz D (2009) 'The average number of cycles' Archiv der Mathematik 93, (5) 445-449 , DOI
Robertz D (2009) 'Noether normalization guided by monomial cone decompositions' Journal of Symbolic Computation 44, (10) 1359-1373 , DOI
Barakat M & Robertz D (2009) 'conley: Computing connection matrices in Maple' Journal of Symbolic Computation 44, (5) 540-557 , DOI
BARAKAT M & ROBERTZ D (2008) 'homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA' Journal of Algebra and Its Applications 07, (03) 299-317 , DOI
Plesken W & Robertz D (2008) 'Elimination for Coefficients of Special Characteristic Polynomials' Experimental Mathematics 17, (4) 499-510 , DOI
Quadrat A & Robertz D (2007) 'Computation of bases of free modules over the Weyl algebras' Journal of Symbolic Computation 42, (11-12) 1113-1141 , DOI
Corves B, Abel D, Plesken W, Harmeling F, Robertz D & Maschuw J (2006) 'Methoden und Werkzeuge zum Entwurf mechatronischer Bewegungssysteme mit ungleichmäßig übersetzenden Getrieben' VDI Berichte (1963) 557-573
Plesken W & Robertz D (2006) 'Representations, commutative algebra, and Hurwitz groups' Journal of Algebra 300, (1) 223-247 , DOI
Gerdt VP & Robertz D (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
Chyzak F, Quadrat A & Robertz D (2005) 'Effective algorithms for parametrizing linear control systems over Ore algebras' Applicable Algebra in Engineering, Communication and Computing 16, (5) 319-376 , DOI
Plesken W & Robertz D (2005) 'Constructing Invariants for Finite Groups' Experimental Mathematics 14, (2) 175-188 , DOI
Plesken W & Robertz D (2005) 'Janet's approach to presentations and resolutions for polynomials and linear pdes' Archiv der Mathematik 84, (1) 22-37 , DOI
Gerdt VP & Robertz D 'Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems' Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC Author Site Open access
Chyzak F, Quadrat A & Robertz D 'OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems' 233-264 , DOI
Books
Robertz D (2014) Formal Algorithmic Elimination for PDEs. Springer International Publishing , DOI
Chapters
Robertz D & Robertz D (2014) 'Basic Principles and Supplementary Material' FORMAL ALGORITHMIC ELIMINATION FOR PDES 233-258 Author Site
Robertz D (2014) 'Differential Elimination for Analytic Functions' Formal Algorithmic Elimination for PDEs Springer International Publishing 119-231 , DOI
Robertz D (2014) 'Formal Methods for PDE Systems' Formal Algorithmic Elimination for PDEs Springer International Publishing 5-117 , DOI
Robertz D (2014) 'Introduction' Formal Algorithmic Elimination for PDEs Springer International Publishing 1-4 , DOI
Conference Papers
Robertz D (2016) 'Formal Algorithmic Elimination for PDEs' ISSAC '16: International Symposium on Symbolic and Algebraic Computation ACM , DOI
Linton S, Robertz D & Yokoyama K (2015) 'Foreword' iii-iv
Quadrat A & Robertz D (2013) 'Stafford's Reduction of Linear Partial Differential Systems' Elsevier BV 314-319 , DOI
Gerdt VP & Robertz D (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
Quadrat A & Robertz D (2005) 'PARAMETRIZING ALL SOLUTIONS OF UNCONTROLLABLE MULTIDIMENSIONAL LINEAR SYSTEMS' Elsevier BV 49-54 , DOI
Chyzak F, Quadrat A & Robertz D (2003) 'Linear control systems over ore algebras: Effective algorithms for the computation of parametrizations' Elsevier BV 147-154 , DOI
Quadrat A & Robertz D 'On the blowing-up of stably free behaviours' 44th IEEE Conference on Decision and Control IEEE , DOI
Plesken W & Robertz D 'Some Elimination Problems for Matrices' Springer Berlin Heidelberg 350-359 , 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

Links

Centre for Mathematical Sciences, University of Plymouth