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

• Algebraische Topologie (WS 2012/13)
  
  
• Ebene algebraische Kurven (SS 2013)

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