| 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
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 2024-03-11 | Paper |
Gröbner bases for fusion products
Algebras and Representation Theory | 2023-11-20 | Paper |
Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace}
Journal of Symbolic Computation | 2022-09-22 | Paper |
Computing Free Non-commutative Groebner Bases over Z with Singular:Letterplace
(available as arXiv preprint) | 2021-11-16 | Paper |
Letterplace
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
Computation of free non-commutative gröbner bases over Z with Singular:Letterplace
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
| Formally verifying proofs for algebraic identities of matrices | 2021-01-20 | Paper |
Constructive arithmetics in Ore localizations enjoying enough commutativity
Journal of Symbolic Computation | 2020-09-19 | Paper |
A constructive approach to arithmetics in Ore localizations
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Constructive arithmetics in Ore localizations with enough commutativity
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Controlled and conditioned invariance for polynomial and rational feedback systems
Algebraic and Symbolic Computation Methods in Dynamical Systems | 2020-09-08 | Paper |
Modular techniques for noncommutative Gröbner bases
Mathematics in Computer Science | 2020-05-27 | Paper |
A remark on the Dixmier conjecture
Canadian Mathematical Bulletin | 2020-02-12 | Paper |
Constructive arithmetics in Ore localizations of domains
Journal of Symbolic Computation | 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
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory | 2018-11-16 | Paper |
Computer algebraic methods for the structural analysis of linear controlsystems
PAMM | 2018-07-26 | Paper |
A factorization algorithm for \(G\)-algebras and its applications
Journal of Symbolic Computation | 2017-10-10 | Paper |
The \textsc{SDEval} benchmarking toolkit
ACM Communications in Computer Algebra | 2017-06-22 | Paper |
A factorization algorithm for \(G\)-algebras and applications
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Enhanced computations of Gröbner bases in free algebras as a new application of the letterplace paradigm
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Certifying solutions to square systems of polynomial-exponential equations
Journal of Symbolic Computation | 2017-02-03 | Paper |
Intersection of ideals with non-commutative subalgebras
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
On noncommutative finite factorization domains
Transactions of the American Mathematical Society | 2017-01-10 | Paper |
Factoring linear partial differential operators in \(n\) variables
Journal of Symbolic Computation | 2016-02-11 | Paper |
Factoring linear differential operators in \(n\) variables
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Bifurcation of critical periods of polynomial systems
Journal of Differential Equations | 2015-07-23 | Paper |
Elements of computer-algebraic analysis
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
Non-commutative subsystems of Singular
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Factorization of polynomials in Z-graded skew polynomial rings
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Quantum Drinfeld Hecke algebras.
Canadian Journal of Mathematics | 2014-08-19 | Paper |
Corrigendum to example in ``Quantum Drinfeld Hecke algebras''.
Canadian Journal of Mathematics | 2014-08-19 | Paper |
Evaluating cyclicity of cubic systems with algorithms of computational algebra
Communications on Pure and Applied Analysis | 2013-04-30 | Paper |
Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra.
Journal of Symbolic Computation | 2012-11-12 | Paper |
A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations
Texts & Monographs in Symbolic Computation | 2012-09-14 | Paper |
Algorithms for checking rational roots of b-functions and their applications
Journal of Algebra | 2012-07-13 | Paper |
Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases
Journal of Symbolic Computation | 2012-07-04 | Paper |
Principal intersection and Bernstein-Sato polynomial of an affine variety
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Exact linear modeling using Ore algebras
Journal of Symbolic Computation | 2011-12-07 | Paper |
On two-generated non-commutative algebras subject to the affine relation.
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
Constructive \(D\)-module theory with \texttt{Singular}
Mathematics in Computer Science | 2011-06-08 | Paper |
Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases
Journal of Symbolic Computation | 2011-03-31 | Paper |
Exact linear modeling with polynomial coefficients
Multidimensional Systems and Signal Processing | 2011-03-15 | Paper |
\textsc{Plural}, a non-commutative extension of \textsc{Singular}: past, present and future.
Lecture Notes in Computer Science | 2010-09-14 | Paper |
Obstructions to genericity in study of parametric problems in control theory
(available as arXiv preprint) | 2010-06-17 | Paper |
The cyclicity of a cubic system
Open Systems & Information Dynamics | 2010-01-26 | Paper |
Letterplace ideals and non-commutative Gröbner bases.
Journal of Symbolic Computation | 2009-09-14 | Paper |
Computational D-module theory with singular, comparison with other systems and two new algorithms
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
The cyclicity of a cubic system with nonradical Bautin ideal
Journal of Differential Equations | 2009-01-13 | Paper |
Computing one of Victor Moll's irresistible integrals with computer algebra
Computer Science Journal of Moldova | 2008-09-29 | Paper |
| On preimages of ideals in certain non-commutative algebras | 2006-09-11 | Paper |
| scientific article; zbMATH DE number 2221056 (Why is no real title available?) | 2005-10-31 | Paper |
| scientific article; zbMATH DE number 2151198 (Why is no real title available?) | 2005-04-04 | Paper |
