Prof. Dr. Daniel Robertz
English
Current Seminars:
Joint Algebra Seminar (RWTH Aachen University)
Kolchin Seminar in Differential Algebra (online/New York)
Diff.-Equations and Singularities Seminar (online)
Publications / software:
MathSciNet /
Zentralblatt /
arxiv /
Digital Bibliography & Library Project /
ACM Digital Library /
HAL
Differential Algebra / Difference Algebra / Computer Algebra
Discrete Geometry / Simplicial Surfaces
Group Theory / Invariant Theory
Algebraic Systems Theory
Editorial Work
Abstracts
Workshops
Differential Algebra / Difference Algebra / Computer Algebra
Maple packages Janet, Involutive, JanetOre and LDA
Publications
- D. Robertz, M. Seiß
arxiv journal
Normal Forms in Differential Galois Theory for the Classical Groups
Communications in Algebra 51:4 (2023), pp. 1492-1516
- J. Cano, S. Falkensteiner, D. Robertz, J. R. Sendra
arxiv journal
Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
Journal of Symbolic Computation 114 (2023), pp. 1-17
- M. Lange-Hegermann, D. Robertz
arxiv chapter
On boundary conditions parametrized by analytic functions
in: F. Boulier, M. England, T. M. Sadykov, E. V. Vorozhtsov (eds.),
Computer Algebra in Scientific Computing — 24th International Workshop,
CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings,
Lecture Notes in Computer Science, Vol. 13366, Springer, 2022, pp. 225-245
- M. Lange-Hegermann, D. Robertz, W. M. Seiler, M. Seiß
arxiv journal
Singularities of Algebraic Differential Equations
Advances in Applied Mathematics 131 (2021), Paper No. 102266
- A. Hashemi, T. Izgin, D. Robertz, W. M. Seiler
journal
An Involutive GVW Algorithm and the Computation of Pommaret Bases
Mathematics in Computer Science 15:3 (2021), pp. 419-452
Extended Abstract in: Computer Algebra in Scientific Computing,
22nd International Workshop CASC 2020, pp. 23-26
- V. P. Gerdt, D. Robertz
arxiv proceedings
Algorithmic Approach to Strong Consistency Analysis of Finite Difference Approximations to PDE Systems
in: R. Bradford (ed.), Proceedings of the
2019 International Symposium on Symbolic and Algebraic Computation, Beihang University, Beijing, China, 2019, pp. 163-170
- V. P. Gerdt, M. Lange-Hegermann, D. Robertz
arxiv journal
The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
Computer Physics Communications 234 (2019), pp. 202-215
- D. Robertz
lecture notes
Formal methods for systems of partial differential equations
Les cours du CIRM 6:1 (2018), pp. 1-37 (Journées Nationales de Calcul Formel (2018))
- D. Robertz
proceedings
Formal Algorithmic Elimination for PDEs
in: M. Rosenkranz (ed.), Proceedings of the 2016 International Symposium on Symbolic and Algebraic Computation, Waterloo, Ontario, Canada, pp. 19-22
- V. P. Gerdt, D. Robertz
arxiv journal
Lagrangian Constraints and Differential Thomas Decomposition
Advances in Applied Mathematics 72 (2016), pp. 113-138
- D. Robertz
book
Formal Algorithmic Elimination for PDEs
Lecture Notes in Mathematics, Volume 2121, Springer, 2014
- A. Quadrat, D. Robertz
HAL journal
A constructive study of the module structure of rings of partial differential operators
Acta Applicandae Mathematicae 133:1 (2014), pp. 187-234
- V. P. Gerdt, D. Robertz
arxiv journal
Computation of Difference Gröbner Bases
Computer Science Journal of Moldova 20:2 (59) (2012), pp. 203-226
- T. Bächler, V. P. Gerdt, M. Lange-Hegermann, D. Robertz
arxiv journal
Algorithmic Thomas Decomposition of Algebraic and Differential Systems
Journal of Symbolic Computation 47:10 (2012), pp. 1233-1266
- T. Bächler, V. P. Gerdt, M. Lange-Hegermann, D. Robertz
arxiv chapter
Thomas Decomposition of Algebraic and Differential Systems
in: V. P. Gerdt, W. Koepf, E. W. Mayr, E. V. Vorozhtsov (eds.),
Computer Algebra in Scientific Computing,
12th International Workshop, CASC 2010, Tsakhadzor, Armenia,
Proceedings Series: Lecture Notes in Computer Science, Vol. 6244,
Springer, 2010, pp. 31-54
- W. Plesken, D. Robertz
journal
Linear Differential Elimination for Analytic Functions
Mathematics in Computer Science 4:2-3 (2010), pp. 231-242
- V. P. Gerdt, D. Robertz
proceedings
Consistency of Finite Difference Approximations for Linear PDE Systems and its Algorithmic Verification
in: S. M. Watt (ed.), Proceedings of the
2010 International Symposium on Symbolic and Algebraic Computation, TU München, Germany, 2010, pp. 53-59
- D. Robertz
journal
Noether normalization guided by monomial cone decompositions
Journal of Symbolic Computation 44:10 (2009), pp. 1359-1373
- M. Barakat, D. Robertz
arxiv journal
conley: Computing connection matrices in Maple
Journal of Symbolic Computation 44:5 (2009), pp. 540-557
- W. Plesken, D. Robertz
journal
Elimination for coefficients of special characteristic polynomials
Experimental Mathematics 17:4 (2008), pp. 499-510
- M. Barakat, D. Robertz
arxiv journal
homalg: A meta-package for homological algebra
Journal of Algebra and Its Applications 7:3 (2008), pp. 299-317
- A. Quadrat, D. Robertz
HAL journal
Computation of bases of free modules over the Weyl algebras
Journal of Symbolic Computation 42:11-12 (2007), pp. 1113-1141
- W. Plesken, D. Robertz
chapter
Some Elimination Problems for Matrices
in: V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov (eds.),
Computer Algebra in Scientific Computing,
10th International Workshop, CASC 2007, Bonn, Germany,
Proceedings Series: Lecture Notes in Computer Science, Vol. 4770,
Springer, 2007, pp. 350-359
- D. Robertz
chapter
Janet Bases and Applications
in: M. Rosenkranz, D. Wang (eds.),
Groebner Bases in Symbolic Analysis,
Radon Series on Computational and Applied Mathematics 2,
de Gruyter, 2007, pp. 139-168
- B. Corves, D. Abel, W. Plesken, F. Harmeling, D. Robertz, J. Maschuw
Methoden und Werkzeuge zum Entwurf mechatronischer Bewegungssysteme mit
ungleichmäßig übersetzenden Getrieben
in: VDI Berichte, vol. 1963, VDI-Verlag, 2006, pp. 557-573
- V. P. Gerdt, D. Robertz
Computation of Gröbner Bases for Systems of Linear Difference Equations
Computeralgebra-Rundbrief 37 (2005), pp. 8-16
- V. P. Gerdt, D. Robertz
arxiv journal
A Maple Package for Computing Gröbner Bases for Linear Recurrence Relations
Nuclear Instruments and Methods in Physics Research, A 559:1
(2006), pp. 215-219 (Proceedings of ACAT 05)
- W. Plesken, D. Robertz
journal
Janet's approach to presentations and resolutions for polynomials and linear pdes
Archiv der Mathematik 84:1 (2005), pp. 22-37
- Y. A. Blinkov, C. F. Cid, V. P. Gerdt, W. Plesken, D. Robertz
The MAPLE Package "Janet":
I. Polynomial Systems.
II. Linear Partial Differential Equations
in: V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov (eds.),
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing (CASC 2003),
Passau, Germany, 2003, pp. 31-40 and 41-54
Discrete Geometry / Simplicial Surfaces
Publications
- V. Caruso, G. Kikis, C. Krüger, F. Liebold, D. Macek, L. Mester, J. Platen, S. Ritzert, S. Stüttgen, M. Kaliske, S. Klinkel, S. Loehnert, H.-G. Maas, S. Reese, D. Robertz
journal
Ansätze für numerische Methoden zur Inspiration, Analyse und Bewertung neuartiger Carbonbetonstrukturen
Bauingenieur 98:11 (2023), pp. 368-377
- S. Stüttgen, R. Akpanya, B. Beckmann, R. Chudoba, D. Robertz, A. C. Niemeyer
journal
Modular Construction of Topological Interlocking Blocks — an Algebraic Approach for Resource-Efficient Carbon-Reinforced Concrete Structures
Buildings 13:10 (2023), 2565
- D. Robertz, H. Spartali, W. Plesken, R. Chudoba, A. C. Niemeyer
proceedings
Semi-symmetric origami waterbomb cell kinematics and tessellation for the design of thin-walled folded shells
in: Su-duo Xue, Jin-zhi Wu Guo-jun Sun (eds.),
IASS/APCS 2022: Annual Symposium of the International Association
for Shell and Spatial Structures (IASS 2022), affiliated with
13th Asian-Pacific Conference on Shell and Spatial Structures (APCS 2022), pp. 2314-2324
- D. Robertz
Symmetric embeddings of the icosahedron
Computeralgebra-Rundbrief 71 (2022), pp. 10-14
- R. Chudoba, A. Niemeyer, H. Spartali, D. Robertz, W. Plesken
proceedings
Description of the origami waterbomb cell kinematics as a basis for the design of thin-walled oricrete shells
in: S. A. Behnejad, G. A. R. Parke, O. A. Samavati (eds.),
IASS2020/21-SURREY7: Annual Symposium of the International Association
for Shell and Spatial Structures (IASS2020/21) and the 7th Surrey
International Conference on Spatial Structure, pp. 2681-2689
- K.-H. Brakhage, A. C. Niemeyer, W. Plesken, D. Robertz, A. Strzelczyk
arxiv journal
The icosahedra of edge length 1
Journal of Algebra 545 (2020), pp. 4-26
accompanying web page
Group Theory / Invariant Theory
Publications
- M. J. Craven, D. Robertz
journal
A parallel evolutionary approach to solving systems of equations in polycyclic groups
Groups Complexity Cryptology 8:2 (2016), pp. 109-125
- W. Plesken, D. Robertz
journal
The average number of cycles
Archiv der Mathematik 93:5 (2009), pp. 445-449
- W. Plesken, D. Robertz
journal
Representations, commutative algebra, and Hurwitz groups
Journal of Algebra 300:1 (2006), pp. 223-247
- W. Plesken, D. Robertz
journal
Constructing Invariants for Finite Groups
Experimental Mathematics 14:2 (2005), pp. 175-188
Algebraic Systems Theory
Maple package OreModules
Publications
- M. Lange-Hegermann, D. Robertz
arxiv chapter
Thomas Decomposition and Nonlinear Control Systems
in: A. Quadrat and E. Zerz (eds.),
Algebraic and Symbolic Computation Methods in Dynamical Systems, Advances in Delays and Dynamics,
Vol. 9, Springer, 2020, pp. 117-146
- D. Robertz
journal
Recent Progress in an Algebraic Analysis Approach to Linear Systems
Multidimensional Systems and Signal Processing 26:2 (2015), pp. 349-388
- A. Quadrat, D. Robertz
HAL proceedings
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
arxiv proceedings
Thomas decompositions 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
- A. Quadrat, D. Robertz
proceedings
Controllability and differential flatness of linear analytic ordinary differential systems
in: Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010), Budapest, Hungary, 2010
also in: E. Zerz (ed.), Algebraic Systems Theory, Behaviors, and Codes, Shaker, 2010, pp. 23-30
- A. Quadrat, D. Robertz
HAL
Baer's extension problem for multidimensional linear systems
in: Proceedings of the 18th International Symposium on Mathematical Theory of Networks
and Systems (MTNS 2008), Virginia Tech, Blacksburg, Virginia (USA),
2008
- F. Chyzak, A. Quadrat, D. Robertz
chapter
OreModules: A symbolic package for the study of multidimensional linear systems
in: J. Chiasson, J.-J. Loiseau (eds.),
Applications of Time-Delay Systems,
Lecture Notes in Control and Information Sciences, Vol. 352, Springer, 2007,
pp. 233-264
- A. Quadrat, D. Robertz
Constructive computation of flat outputs of a class of multidimensional linear systems with variable coefficients
in: Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), Kyoto, Japan, 2006, pp. 583-595
- A. Quadrat, D. Robertz
On the Monge problem and multidimensional optimal control
in: Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), Kyoto, Japan, 2006, pp. 596-605
- M. Barakat, D. Robertz
Computing Invariants of Multidimensional Linear Systems on an Abstract Homological Level
in: Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), Kyoto, Japan, 2006, pp. 542-559
- F. Chyzak, A. Quadrat, D. Robertz
HAL journal
Effective algorithms for parametrizing linear control systems over Ore algebras
Applicable Algebra in Engineering, Communication and Computing
16:5 (2005), pp. 319-376
- A. Quadrat, D. Robertz
proceedings
On the blowing-up of stably free behaviours
in: Proceedings of the 44th IEEE Conference on Decision and Control and European
Control Conference ECC 2005, Seville, Spain, 2005, pp. 1541-1546
- A. Quadrat, D. Robertz
proceedings
Parametrizing all solutions of uncontrollable multidimensional linear systems
in: Proceedings of the 16th IFAC World Congress, Prague, Czech Republic, 2005
- F. Chyzak, A. Quadrat, D. Robertz
OreModules: A symbolic package for the study of multidimensional linear systems
in: Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2004),
Katholieke Universiteit Leuven, Belgium, 2004
- F. Chyzak, A. Quadrat, D. Robertz
proceedings
Linear control systems over Ore algebras: Effective algorithms for the computation of parametrizations
in: Proceedings of the IFAC Workshop on Time-Delay Systems 2003, INRIA
Rocquencourt, France, 2003
Editorial work
- Editorial Board of Mathematics in Computer Science
- D. Robertz, W. M. Seiler
Special Issue in Honor of Vladimir Gerdt
Special Issue of Mathematics in Computer Science, Vol. 16, Issue 4, December 2022
- M. Beaudin, T. Dana-Picard, I. Kotsireas, C. Koutschan, A. Levin, D. Robertz
Applications of Computer Algebra (ACA 2017, Jerusalem)
Special Issue of Mathematics in Computer Science, Vol. 13, Issue 1-2, June 2019
- S. Linton, D. Robertz, K. Yokoyama
Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation (ISSAC), University of Bath, United Kingdom, 2015
Association for Computing Machinery, New York, NY, USA, 2015
Abstracts
- D. Robertz
Applying Thomas decomposition and algebraic analysis to certain nonlinear PDE systems (joint with Thomas Cluzeau, Alban Quadrat)
in: Mathematisches Forschungsinstitut Oberwolfach Report No. 25/2013, 2013, pp. 1521-1522
- D. Robertz
Parametrizing linear systems (joint with Frédéric Chyzak, Alban Quadrat)
in: Mathematisches Forschungsinstitut Oberwolfach Report No. 50/2009, 2009, pp. 2755-2758
- D. Robertz
The Auslander-Buchsbaum-Serre theorem
in: Mathematisches Forschungsinstitut Oberwolfach Report No. 50/2009, 2009, pp. 2750-2751
- D. Robertz
Representations, commutative algebra, and Hurwitz groups (joint with Wilhelm Plesken)
in: Mathematisches Forschungsinstitut Oberwolfach Report No. 30/2006, 2006, pp. 1842-1843
Workshops
- Computational differential and difference algebra and its applications (A. Levin, A. Ovchinnikov, D. Robertz), Applications of Computer Algebra (ACA) 2023, Warsaw, Poland, 17.-21.07.2023
- Botanical and mathematical principles for inspiring design of carbon fibre reinforced concrete (A. Niemeyer, D. Robertz), Advance AEC Autumn School 2022, Cluster of Excellence intCDC, University of Stuttgart, 11.10.2022
- Computational differential and difference algebra and its applications (A. Levin, A. Ovchinnikov, D. Robertz), Applications of Computer Algebra (ACA) 2022, Gebze Technical University, Turkey, 15.-19.08.2022
- Computational differential and difference algebra and its applications (R. La Scala, A. Levin, D. Robertz), Applications of Computer Algebra (ACA) 2021, online, 23.-27.07.2021
- Workshop in Honor of Vladimir Gerdt, pre-conference workshop at International Symposium on Symbolic and Algebraic Computation (ISSAC) 2021, St. Petersburg, Russia, 18.07.2021
- LMS Women in Mathematics Day 2021 (N. Broomhead, C. Christopher, D. Robertz, Y. Wei), University of Plymouth, United Kingdom, 24.03.2021
- Computational differential and difference algebra (V. P. Gerdt, A. Levin, D. Robertz), Applications of Computer Algebra (ACA) 2018, Santiago de Compostela, Spain, 18.-22.06.2018
- Computer differential and difference algebra and its applications (V. P. Gerdt, A. Levin, D. Robertz), Applications of Computer Algebra (ACA) 2017, Jerusalem, Israel, 17.-21.07.2017
- Difference computer algebra and its applications (V. P. Gerdt, R. La Scala, A. Levin, D. Robertz), Applications of Computer Algebra (ACA) 2016, Kassel, Germany, 01.-04.08.2016
- South West and South Wales Regional Meeting of the London Mathematical Society, Workshop on Differential Algebra, Centre for Mathematical Sciences, Plymouth University, United Kingdom, 17.-19.12.2014
- Rings of Differential and Integral Operators, Centre for Mathematical Sciences, Plymouth University, United Kingdom, 05.06.2014
- Mini-Symposium Symbolic methods in multidimensional systems theory (A. Quadrat, D. Robertz), 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), Kyoto, Japan, 24.07.2006
last modification: 21.12.23