- 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)
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'
iii-iv
2010
'Consistency of finite difference approximations for linear PDE systems and its algorithmic verification'
53-59
2007
'Some elimination problems for matrices'
350-+
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
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