| Publication | Date of Publication | Type |
|---|
| Existence of quantum symmetries for graphs on up to seven vertices. A computer based approach | 2025-01-17 | Paper |
| Symbolic homogenization and structure optimization for a periodically perforated cylindrical shell | 2024-03-11 | Paper |
| Gröbner bases for fusion products | 2023-11-20 | Paper |
| Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace} | 2022-09-22 | Paper |
| Computing Free Non-commutative Groebner Bases over Z with Singular:Letterplace | 2021-11-16 | Paper |
| Letterplace | 2021-01-22 | Paper |
| Computation of free non-commutative gröbner bases over Z with Singular:Letterplace | 2021-01-22 | Paper |
| Formally verifying proofs for algebraic identities of matrices | 2021-01-20 | Paper |
| Constructive arithmetics in Ore localizations enjoying enough commutativity | 2020-09-19 | Paper |
| A Constructive Approach to Arithmetics in Ore Localizations | 2020-09-09 | Paper |
| Constructive Arithmetics in Ore Localizations with Enough Commutativity | 2020-09-09 | Paper |
| Controlled and Conditioned Invariance for Polynomial and Rational Feedback Systems | 2020-09-08 | Paper |
| Modular techniques for noncommutative Gröbner bases | 2020-05-27 | Paper |
| A Remark on the Dixmier Conjecture | 2020-02-12 | Paper |
| Constructive arithmetics in Ore localizations of domains | 2020-01-15 | Paper |
| Existence of quantum symmetries for graphs on up to seven vertices: a computer based approach | 2019-06-28 | Paper |
| Left saturation closure for Ore localizations | 2019-03-07 | Paper |
| Factorization of ℤ$$ \mathbb {Z}$$-Homogeneous Polynomials in the First q-Weyl Algebra | 2018-11-16 | Paper |
| Computer algebraic methods for the structural analysis of linear controlsystems | 2018-07-26 | Paper |
| A factorization algorithm for \(G\)-algebras and its applications | 2017-10-10 | Paper |
| The SDEval benchmarking toolkit | 2017-06-22 | Paper |
| A Factorization Algorithm for G-Algebras and Applications | 2017-05-10 | Paper |
| Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm | 2017-02-10 | Paper |
| Certifying solutions to square systems of polynomial-exponential equations | 2017-02-03 | Paper |
| Intersection of ideals with non-commutative subalgebras | 2017-02-03 | Paper |
| On noncommutative finite factorization domains | 2017-01-10 | Paper |
| Factoring linear partial differential operators in \(n\) variables | 2016-02-11 | Paper |
| Factoring linear differential operators in n variables | 2015-11-11 | Paper |
| Bifurcation of critical periods of polynomial systems | 2015-07-23 | Paper |
| Elements of computer-algebraic analysis | 2015-03-27 | Paper |
| Factorization of polynomials in Z-graded skew polynomial rings | 2015-02-20 | Paper |
| Non-commutative subsystems of singular | 2015-02-20 | Paper |
| Quantum Drinfeld Hecke Algebras | 2014-08-19 | Paper |
| Corrigendum to Example in “Quantum Drinfeld Hecke Algebras“ | 2014-08-19 | Paper |
| Evaluating cyclicity of cubic systems with algorithms of computational algebra | 2013-04-30 | Paper |
| Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra. | 2012-11-12 | Paper |
| A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations | 2012-09-14 | Paper |
| Algorithms for checking rational roots of \(b\)-functions and their applications | 2012-07-13 | Paper |
| Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases | 2012-07-04 | Paper |
| Principal intersection and bernstein-sato polynomial of an affine variety | 2012-05-13 | Paper |
| Exact linear modeling using Ore algebras | 2011-12-07 | Paper |
| On Two-Generated Non-commutative Algebras Subject to the Affine Relation | 2011-09-02 | Paper |
| Constructive \(D\)-module theory with \texttt{Singular} | 2011-06-08 | Paper |
| Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases | 2011-03-31 | Paper |
| Exact linear modeling with polynomial coefficients | 2011-03-15 | Paper |
| Plural, a Non–commutative Extension of Singular: Past, Present and Future | 2010-09-14 | Paper |
| Obstructions to Genericity in Study of Parametric Problems in Control Theory | 2010-06-17 | Paper |
| The Cyclicity of a Cubic System | 2010-01-26 | Paper |
| Letterplace ideals and non-commutative Gröbner bases. | 2009-09-14 | Paper |
| Computational D-module theory with singular, comparison with other systems and two new algorithms | 2009-01-20 | Paper |
| The cyclicity of a cubic system with nonradical Bautin ideal | 2009-01-13 | Paper |
| Computing one of Victor Moll's irresistible integrals with computer algebra | 2008-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5486572 | 2006-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5701952 | 2005-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660665 | 2005-04-04 | Paper |
