Dr Daniel Robertz
Profiles

Dr Daniel Robertz

Lecturer in Pure Mathematics

School of Engineering, Computing and Mathematics (Faculty of Science and Engineering)

Role

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).

Earlier I have been teaching
  • 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

Research groups

  • Centre for Mathematical Sciences (CMS)

Key publications are highlighted

Journals
Articles
Brakhage K-H, Niemeyer AC, Plesken W, Robertz D & Strzelczyk A 2019 'The icosahedra of edge length 1' Journal of Algebra Author Site , DOI PEARL
Beaudin M, Dana-Picard T, Levin A, Koutschan C, Kotsireas I & Robertz D 2019 'Foreword' Mathematics in Computer Science , DOI PEARL
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 PEARL
Craven MJ & Robertz D 2016 'A parallel evolutionary approach to solving systems of equations in polycyclic groups' Groups Complexity Cryptology , DOI PEARL
Gerdt VP & Robertz D 2016 'Lagrangian constraints and differential Thomas decomposition' Advances in Applied Mathematics 72, 113-138 , DOI PEARL
Robertz D 2014 'Recent progress in an algebraic analysis approach to linear systems' Multidimensional Systems and Signal Processing 26, (2) 349-388 , DOI PEARL
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 PEARL
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
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 0 '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 PEARL
Gerdt VP & Robertz D 0 'Computation of Difference Groebner Bases' Computer Science Journal of Moldova 20, Author Site
Chyzak F, Quadrat A & Robertz D 0 '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' the ACM 20/07/2016 22/07/2016 ACM Press , 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' 53-59
Plesken W & Robertz D 2007 'Some elimination problems for matrices' 350-+
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 0 '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

Links

Centre for Mathematical Sciences, Plymouth University