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)

Please see also the MathSciNet page of the American Mathematical Society or the Zentralblatt Mathematik page of the Fachinformationszentrum Karlsruhe, Germany.

Recent publications:

K.-H. Brakhage, A. C. Niemeyer, W. Plesken, D. Robertz, A. Strzelczyk

The icosahedra of edge length 1
to appear in Journal of Algebra
accompanying web page

V. P. Gerdt, D. Robertz
Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems
to appear in Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation

D. Robertz
Formal methods for systems of partial differential equations
Les cours du CIRM 6:1 (2018), pp. 1-37

M. J. Craven, D. Robertz
A parallel evolutionary approach to solving systems of equations in polycyclic groups
Groups. Complexity. Cryptology 8:2 (2016), pp. 109-125

V. P. Gerdt, D. Robertz
Lagrangian Constraints and Differential Thomas Decomposition
Advances in Applied Mathematics 72 (2016), pp. 113-138

D. Robertz
Recent Progress in an Algebraic Analysis Approach to Linear Systems
Multidimensional Systems and Signal Processing 26:2 (2015), pp. 349-388

D. Robertz
Lecture Notes in Mathematics, Vol. 2121, Springer, 2014

A. Quadrat, D. Robertz
Acta Applicandae Mathematicae 133:1 (2014), pp. 187-234

A. Quadrat, D. Robertz
Stafford's reduction of linear partial differential systems
in: Proceedings of the IFAC Joint Conference: 5th Symposium on System Structure and Control, 11th Workshop on Time-Delay Systems, and 6th Workshop on Fractional Differentiation and Its Applications, Grenoble, France, 2013, pp. 309-314

M. Lange-Hegermann, D. Robertz
Thomas decomposition of parametric nonlinear control systems
in: Proceedings of the IFAC Joint Conference: 5th Symposium on System Structure and Control, 11th Workshop on Time-Delay Systems, and 6th Workshop on Fractional Differentiation and Its Applications, Grenoble, France, 2013, pp. 291-296

T. Bächler, V. P. Gerdt, M. Lange-Hegermann, D. Robertz
Journal of Symbolic Computation 47:10 (2012), pp. 1233-1266

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 (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

My former home page