- Room 106, 2 Kirkby Place, Drake Circus
- +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.
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).
- 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
2018
'The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs'
Computer Physics Communications
, DOI
PEARL
2016
'A parallel evolutionary approach to solving systems of equations in polycyclic groups'
Groups Complexity Cryptology
, DOI
PEARL
2016
'Lagrangian constraints and differential Thomas decomposition'
Advances in Applied Mathematics
72,
113-138
, DOI
PEARL
2014
'Recent progress in an algebraic analysis approach to linear systems'
Multidimensional Systems and Signal Processing
26,
(2)
349-388
, DOI
PEARL
2014
'A Constructive Study of the Module Structure of Rings of Partial Differential Operators'
Acta Applicandae Mathematicae
133,
(1)
187-234
, DOI
PEARL
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
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
PEARL
0
'Computation of Difference Groebner Bases'
Computer Science Journal of Moldova
20,
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
2015
'Foreword'
1-/-0/1900
1-/-0/1900
iii-iv
2013
'Stafford's Reduction of Linear Partial Differential Systems'
1-/-0/1900
1-/-0/1900
Elsevier BV
314-319
, DOI
2010
'Consistency of finite difference approximations for linear PDE systems and its algorithmic verification'
1-/-0/1900
1-/-0/1900
53-59
2007
'Some elimination problems for matrices'
1-/-0/1900
1-/-0/1900
350-+
2005
'PARAMETRIZING ALL SOLUTIONS OF UNCONTROLLABLE MULTIDIMENSIONAL LINEAR SYSTEMS'
1-/-0/1900
1-/-0/1900
Elsevier BV
49-54
, DOI
2003
'Linear control systems over ore algebras: Effective algorithms for the computation of parametrizations'
1-/-0/1900
1-/-0/1900
Elsevier BV
147-154
, DOI
0
'On the blowing-up of stably free behaviours'
44th IEEE Conference on Decision and Control
1-/-0/1900
1-/-0/1900
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