Daniel Robertz
I am an assistant at Lehrstuhl
B für Mathematik, RWTH Aachen University.
Publications and programs
(MathSciNet,
Zentralblatt)
Selected Talks
Courses
Curriculum Vitae
PhD thesis
Contact
Photo
-
Differential Algebra, Computer Algebra
Maple packages Janet, Involutive, JanetOre and LDA
Publications
- Gerdt, V. P. and Robertz, D.
Computation of Difference Gröbner Bases
Computer Science Journal of Moldova 20:2 (59) (2012), pp. 203-226
- Bächler, T., Gerdt, V. P., Lange-Hegermann, M. and Robertz, D.
Algorithmic Thomas Decomposition of Algebraic and Differential Systems
Journal of Symbolic Computation 47:10 (2012), pp. 1233-1266
- Bächler, T., Gerdt, V. P., Lange-Hegermann, M. and Robertz, D.
Thomas Decomposition of Algebraic and Differential Systems
in: Gerdt, V. P., Koepf, W., Mayr, E. W., Vorozhtsov, E. H. (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
- Plesken, W. and Robertz, D.
Linear differential elimination for analytic functions
Mathematics in Computer Science 4:2-3 (2010), pp. 231-242
- Gerdt, V. P. and Robertz, D.
Consistency of Finite Difference Approximations for Linear PDE Systems and its Algorithmic Verification
in: Watt, S. M. (ed.), Proceedings of the
2010 International Symposium on Symbolic and Algebraic Computation, TU München, Germany, 2010, pp. 53-59
- Robertz, D.
Noether normalization guided by monomial cone decompositions
Journal of Symbolic Computation 44:10 (2009), pp. 1359-1373
- Barakat, M. and Robertz, D.
conley: Computing connection matrices in Maple
Journal of Symbolic Computation 44:5 (2009), pp. 540-557
- Plesken, W. and Robertz, D.
Elimination for coefficients of special characteristic polynomials
Experimental Mathematics 17:4 (2008), pp. 499-510
- Barakat, M. and Robertz, D.
homalg: A meta-package for homological algebra
Journal of Algebra and Its Applications 7:3 (2008), pp. 299-317
- Quadrat, A. and Robertz, D.
Computation of bases of free modules over the Weyl algebras
Journal of Symbolic Computation 42:11-12 (2007), pp. 1113-1141
- Plesken, W. and Robertz, D.
Some Elimination Problems for Matrices
in: Ganzha, V. G., Mayr, E. W., Vorozhtsov, E. V. (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
- Robertz, D.
Janet Bases and Applications
in: Rosenkranz, M., Wang, D. (eds.),
Groebner Bases in Symbolic Analysis,
Radon Series on Computational and Applied Mathematics 2,
de Gruyter, 2007, pp. 139-168
- Gerdt, V. P. and Robertz, D.
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)
- Plesken, W. and Robertz, D.
Janet's approach to presentations and resolutions for polynomials and linear pdes
Archiv der Mathematik 84:1 (2005), pp. 22-37
- Blinkov, Y. A., Cid, C. F., Gerdt, V. P., Plesken, W. and Robertz, D.
The MAPLE Package "Janet":
I. Polynomial Systems.
II. Linear Partial Differential Equations
in: Ganzha, V. G., Mayr, E. W., Vorozhtsov, E. V. (eds.),
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing (CASC 2003),
Passau, Germany, 2003, pp. 31-40 and 41-54
-
Group Theory, Invariant Theory
Publications
- Plesken, W. and Robertz, D.
The average number of cycles
Archiv der Mathematik 93:5 (2009), pp. 445-449
- Plesken, W. and Robertz, D.
Representations, commutative algebra, and Hurwitz groups
Journal of Algebra 300:1 (2006), pp. 223-247
- Plesken, W. and Robertz, D.
Constructing Invariants for Finite Groups
Experimental Mathematics 14:2 (2005), pp. 175-188
-
Algebraic Systems Theory
Maple package OreModules
Publications
- Quadrat, A. and Robertz, D.
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
- Lange-Hegermann, M. and Robertz, D.
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
- Quadrat, A. and Robertz, D.
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
- Quadrat, A. and Robertz, D.
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
- Chyzak, F., Quadrat, A. and Robertz, D.
OreModules: A symbolic package for the study of multidimensional linear systems
in: Chiasson, J. and Loiseau, J.-J. (eds.),
Applications of Time-Delay Systems,
Lecture Notes in Control and Information Sciences, Vol. 352, Springer, 2007,
pp. 233-264
- Quadrat, A. and Robertz, D.
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
- Quadrat, A. and Robertz, D.
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
- Barakat, M. and Robertz, D.
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
- Chyzak, F., Quadrat, A. and Robertz, D.
Effective algorithms for parametrizing linear control systems over Ore algebras
Applicable Algebra in Engineering, Communication and Computing
16:5 (2005), pp. 319-376
- Quadrat, A. and Robertz, D.
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
- Quadrat, A. and Robertz, D.
Parametrizing all solutions of uncontrollable multidimensional linear systems
in: Proceedings of the 16th IFAC World Congress, Prague, Czech Republic, 2005
- Chyzak, F., Quadrat, A. and Robertz, D.
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
- Chyzak, F., Quadrat, A. and Robertz, D.
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
Selected talks
-
Applying Thomas decomposition and algebraic analysis to certain nonlinear PDE systems (05.03.2013),
Functional Equations in LIMoges (FELIM) 2013,
Départment de Mathématiques et Informatique de XLIM,
Limoges, France
-
Thomas decompositions of parametric nonlinear control systems (04.02.2013),
5th Symposium on System Structure and Control,
Grenoble, France
-
Janet's Algorithm and Systems Theory (28.11.2012),
Seminar on Algebraic Systems Theory,
Laboratoire des Signaux et Systèmes, Supélec, Gif-sur-Yvette, France
-
Implicitization of Parametrized Families of Analytic Functions (26.06.2012),
Applications of Computer Algebra (ACA), Session Algebraic and Algorithmic Aspects of Differential and Integral Operators (AADIOS), Sofia, Bulgaria
-
Implicitization of Parametrized Families of Analytic Functions (13.04.2012),
Intercity Number Theory Seminar,
Technische Universiteit Eindhoven, Netherlands
-
Implicitization of Parametrized Families of Analytic Functions (07.03.2012),
Functional Equations in LIMoges (FELIM) 2012 -
Analytic and algebraic approaches to integrability,
Départment de Mathématiques et Informatique de XLIM,
Limoges, France
-
Implicitization of Parametrized Families of Analytic Functions (29.02.2012),
2. Jahrestagung des DFG-Schwerpunktes SPP1489, Leibniz Universität Hannover
-
Elimination and Counting using Thomas Decomposition (04.10.2011),
Laboratoire des Signaux et Systèmes, Supélec, Gif-sur-Yvette, France
-
Differentialelimination für analytische Funktionen (19.09.2011),
Jahrestagung der Deutschen Mathematiker-Vereinigung 2011,
Universität zu Köln, Minisymposium
Algorithmische Algebra
-
Differential Elimination for Analytic Functions (15.03.2011),
Functional Equations in LIMoges (FELIM) 2011 -
Constructive Algebra for Systems Theory,
Départment de Mathématiques et Informatique de XLIM,
Limoges, France
-
Eliminieren und Zählen mit der Thomaszerlegung (23.02.2011),
1. Jahrestagung des DFG-Schwerpunktes SPP1489, RWTH Aachen University
-
Nonlinear Differential Elimination for Analytic Functions (10.02.2011),
Second Workshop on Differential Equations by Algebraic Methods (DEAM2),
Research Institute for Symbolic Computation, Linz, Austria
-
Differential Elimination for Analytic Functions (27.01.2011),
Constructive homological algebra methods, implementations and applications,
Mini-Workshop at CIRM, Luminy, France
-
Parametrizing Linear Systems (29.10.2010),
Fourth International Workshop on Differential Algebra and Related Topics (DART IV),
Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences,
Beijing, China
-
Linear Differential Elimination for Analytic Functions
(24.06.2010),
Applications of Computer Algebra (ACA), Session
Algebraic and Algorithmic Aspects of Differential and Integral Operators (AADIOS),
Vlora, Albania
-
Parametrizing linear systems and The Auslander-Buchsbaum-Serre Theorem (09.11. - 13.11.2009),
Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra,
Mini-Workshop at Mathematisches Forschungsinstitut Oberwolfach
Courses
Daniel Robertz
Lehrstuhl B für Mathematik
RWTH Aachen University
Templergraben 64
52056 Aachen
Tel.: +49 241 80 94537
Fax: +49 241 80 92502
e-mail: daniel AT momo.math.rwth-aachen.de
last modification: 15.03.13