this is Daniel’s homepage

## 2021 |

Singularities of Algebraic Differential Equations Journal Article Advances in Applied Mathematics, 131 , pp. Paper No. 102266, 2021. |

Description of the origami waterbomb cell kinematics as a basis for the design of thin-walled oricrete shells Inproceedings Behnejad, S A; Parke, G A R; Samavati, O A (Ed.): 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, 2021. |

An Involutive GVW Algorithm and the Computation of Pommaret Bases Journal Article Mathematics in Computer Science, 15 (3), pp. 419-452, 2021. |

## 2020 |

The icosahedra of edge length 1 Journal Article Journal of Algebra, 545 , pp. 4–26, 2020. |

Thomas Decomposition and Nonlinear Control Systems Book Chapter Quadrat A.; Zerz, E (Ed.): Algebraic and Symbolic Computation Methods in Dynamical Systems, 9 , pp. 117-146, Springer, 2020. |

## 2019 |

The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs Journal Article Computer Physics Communications, 234 , pp. 202-215, 2019. |

Algorithmic Approach to Strong Consistency Analysis of Finite Difference Approximations to PDE Systems Inproceedings Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation, 15-18 July 2019, Beihang University, Beijing, China, pp. 163–170, 2019. |

## 2018 |

Formal methods for systems of partial differential equations Journal Article Les cours du CIRM, 6 (1), pp. 1–37, 2018. |

## 2016 |

A parallel evolutionary approach to solving systems of equations in polycyclic groups Journal Article Groups Complexity Cryptology, 8 (2), pp. 109–125, 2016. |

Formal Algorithmic Elimination for PDEs Inproceedings Proceedings of the 2016 International Symposium on Symbolic and Algebraic Computation, 19-22 July 2016, Waterloo, Ontario, Canada, pp. 19-22, 2016. |

Lagrangian Constraints and Differential Thomas Decomposition Journal Article Advances in Applied Mathematics, 72 , pp. 113-138, 2016. |

## 2015 |

Recent Progress in an Algebraic Analysis Approach to Linear Systems Journal Article Multidimensional Systems and Signal Processing, 26 (2), pp. 349-388, 2015. |

## 2014 |

A constructive study of the module structure of rings of partial differential operators Journal Article Acta Applicandae Mathematicae, 133 (1), pp. 187-234, 2014. |

Formal Algorithmic Elimination for PDEs Book Springer, Cham, 2014. |

## 2013 |

Thomas decompositions of parametric nonlinear control systems Inproceedings Proceedings of the 5th Symposium on System Structure and Control, Grenoble (France), pp. 291–296, 2013. |

Stafford's reduction of linear partial differential systems Inproceedings Proceedings of the 5th Symposium on System Structure and Control, Grenoble (France), pp. 309–314, 2013. |

Applying Thomas decomposition and algebraic analysis to certain nonlinear PDE systems Inproceedings Mathematisches Forschungsinstitut Oberwolfach Report No. ??/2013, pp. ???, 2013. |

## 2012 |

Algorithmic Thomas Decomposition of Algebraic and Differential Systems Journal Article Journal of Symbolic Computation, 47 (10), pp. 1233–1266, 2012. |

Computation of Difference Gröbner Bases Journal Article Computer Science Journal of Moldova, 20 (2 (59)), pp. 203–226, 2012. |

## 2010 |

Linear differential elimination for analytic functions Journal Article Mathematics in Computer Science, 4 (2--3), pp. 231–242, 2010. |

Controllability and differential flatness of linear analytic ordinary differential systems Inproceedings Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010), Budapest, Hungary, 2010. |

Consistency of Finite Difference Approximations for Linear PDE Systems and its Algorithmic Verification Inproceedings Watt, S M (Ed.): Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, 25-28 July 2010, TU M"unchen, Germany, pp. 53–59, 2010. |

Thomas Decomposition of Algebraic and Differential Systems Inproceedings Gerdt, V P; Koepf, W; Mayr, E W; Vorozhtsov, E H (Ed.): Computer Algebra in Scientific Computing, 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, pp. 31–54, Springer, 2010. |

## 2009 |

The average number of cycles Journal Article Archiv der Mathematik, 93 (5), pp. 445–449, 2009. |

conley: Computing connection matrices in Maple Journal Article Journal of Symbolic Computation, 44 (5), pp. 540–557, 2009. |

Noether normalization guided by monomial cone decompositions Journal Article Journal of Symbolic Computation, 44 (10), pp. 1359–1373, 2009. |

The Auslander-Buchsbaum-Serre theorem Inproceedings Mathematisches Forschungsinstitut Oberwolfach Report No. 50/2009, pp. 2750–2751, 2009. |

Parametrizing linear systems Inproceedings Mathematisches Forschungsinstitut Oberwolfach Report No. 50/2009, pp. 2755–2758, 2009. |

## 2008 |

homalg: A meta-package for homological algebra Journal Article Journal of Algebra and Its Applications, 7 (3), pp. 299–317, 2008. |

Elimination for coefficients of special characteristic polynomials Journal Article Experimental Mathematics, 17 (4), pp. 499–510, 2008. |

Baer's extension problem for multidimensional linear systems Inproceedings Proceedings of the 18th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2008), Virginia Tech, Blacksburg, Virginia (USA), 2008. |

## 2007 |

OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems Inproceedings Chiasson, J; Loiseau, J -J (Ed.): Applications of Time-Delay Systems, pp. 233–264, Springer, 2007. |

Janet Bases and Applications Inproceedings Rosenkranz, M; Wang, D (Ed.): Groebner Bases in Symbolic Analysis, pp. 139–168, de Gruyter, 2007. |

Computation of bases of free modules over the Weyl algebras Journal Article Journal of Symbolic Computation, 42 (11--12), pp. 1113–1141, 2007. |

Some Elimination Problems for Matrices Inproceedings Ganzha, V G; Mayr, E W; Vorozhtsov, E V (Ed.): Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, pp. 350–359, Springer, 2007. |

## 2006 |

A Maple Package for Computing Gröbner Bases for Linear Recurrence Relations Journal Article Nuclear Instruments and Methods in Physics Research, A: Accelerators, Spectrometers, Detectors and Associated Equipment, 559 (1), pp. 215–219, 2006. |

Representations, commutative algebra, and Hurwitz groups Journal Article Journal of Algebra, 300 (1), pp. 223-247, 2006. |

homalg: First steps to an abstract package for homological algebra Inproceedings Proceedings of the X meeting on computational algebra and its applications (EACA 2006), Seville (Spain), pp. 29–32, 2006. |

Constructive computation of flat outputs of a class of multidimensional linear systems with variable coefficients Inproceedings Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), Kyoto (Japan), pp. 583–595, 2006. |

Computing invariants of multidimensional linear systems on an abstract homological level Inproceedings Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), Kyoto (Japan), pp. 542–559, 2006. |

On the Monge problem and multidimensional optimal control Inproceedings Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), Kyoto (Japan), pp. 596–605, 2006. |

Representations, commutative algebra, and Hurwitz groups (joint work with Wilhelm Plesken) Inproceedings Mathematisches Forschungsinstitut Oberwolfach Report No. 30/2006, pp. 1842–1843, 2006. |

Formal Computational Methods for Control Theory PhD Thesis RWTH Aachen, Germany, 2006. |

Methoden und Werkzeuge zum Entwurf mechatronischer Bewegungssysteme mit ungleichmäßig übersetzenden Getrieben Inproceedings VDI Berichte 1963, pp. 557–573, VDI-Verlag, 2006. |

## 2005 |

Effective algorithms for parametrizing linear control systems over Ore algebras Journal Article Applicable Algebra in Engineering, Communication and Computing, 16 (5), pp. 319-376, 2005. |

Constructing Invariants for Finite Groups Journal Article Experimental Mathematics, 14 (2), pp. 175–188, 2005. |

Janet's approach to presentations and resolutions for polynomials and linear pdes Journal Article Archiv der Mathematik, 84 (1), pp. 22–37, 2005. |

Parametrizing all solutions of uncontrollable multidimensional linear systems Inproceedings Proceedings of the 16th IFAC World Congress, Prague (Czech Republic), July 4-8, 2005, 2005. |

On the blowing-up of stably free behaviours Inproceedings Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, Seville (Spain), December 12-15, 2005, pp. 1541–1546, 2005. |

Computation of Gröbner Bases for Systems of Linear Difference Equations Journal Article Computeralgebra-Rundbrief, 37 , pp. 8–16, 2005. |