Viktor Levandovskyy

Tobias Metzlaff

Karim Abou Zeid

J. Symb. Comput., 2023

2022

Existence of Quantum Symmetries for Graphs on Up to Seven Vertices: A Computer based Approach.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

2021

Constructive arithmetics in Ore localizations enjoying enough commutativity.

[BibT_eX]

[DOI]

J. Symb. Comput., 2021

2020

Modular Techniques for Noncommutative Gröbner Bases.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2020

Constructive arithmetics in Ore localizations of domains.

[BibT_eX]

[DOI]

J. Symb. Comput., 2020

Formally Verifying Proofs for Algebraic Identities of Matrices.

[BibT_eX]

[DOI]

Leonard Schmitz

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Letterplace: a subsystem of singular for computations with free algebras via letterplace embedding.

[BibT_eX]

[DOI]

Hans Schönemann

Karim Abou Zeid

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

Computation of free non-commutative gröbner bases over Z with Singular: Letterplace.

[BibT_eX]

[DOI]

Tobias Metzlaff

Karim Abou Zeid

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2018

A factorization algorithm for G-algebras and its applications.

[BibT_eX]

[DOI]

J. Symb. Comput., 2018

Constructive Arithmetics in Ore Localizations with Enough Commutativity.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

A Constructive Approach to Arithmetics in Ore Localizations.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2016

Factoring linear partial differential operators in n variables.

[BibT_eX]

[DOI]

J. Symb. Comput., 2016

A Factorization Algorithm for G-Algebras and Applications.

[BibT_eX]

[DOI]

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015

The SDEval benchmarking toolkit.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2015

On factoring differential and difference operators in n variables.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2015

2014

Factoring Differential Operators in n Variables.

[BibT_eX]

[DOI]

CoRR, 2014

Factoring linear differential operators in n variables.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

2013

Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra.

[BibT_eX]

[DOI]

Roberto La Scala

J. Symb. Comput., 2013

Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra

[BibT_eX]

[DOI]

CoRR, 2013

SymbolicData: SDEval - Benchmarking for Everyone.

[BibT_eX]

[DOI]

Andreas Nareike

CoRR, 2013

Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm.

[BibT_eX]

[DOI]

Grischa Studzinski

Benjamin Schnitzler

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases.

[BibT_eX]

[DOI]

J. Symb. Comput., 2012

Foreword from the Editors.

[BibT_eX]

[DOI]

J. Symb. Comput., 2012

Elements of computer-algebraic analysis.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2011

Exact linear modeling with polynomial coefficients.

[BibT_eX]

[DOI]

Eva Zerz

Multidimens. Syst. Signal Process., 2011

Exact linear modeling using Ore algebras.

[BibT_eX]

[DOI]

Eva Zerz

J. Symb. Comput., 2011

Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases.

[BibT_eX]

[DOI]

J. Symb. Comput., 2011

Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gr{ö}bner bases

[BibT_eX]

[DOI]

CoRR, 2011

On Two-Generated Non-commutative Algebras Subject to the Affine Relation.

[BibT_eX]

[DOI]

Christoph Koutschan

Oleksandr Motsak

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010

Constructive D-Module Theory with Singular.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2010

Constructive $D$-module Theory with \textsc{Singular}

[BibT_eX]

[DOI]

CoRR, 2010

Algorithms for Checking Rational Roots of $b$-functions and their Applications

[BibT_eX]

[DOI]

Jorge Martín-Morales

CoRR, 2010

Non-commutative subsystems of singular.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2010

Factorization of polynomials in Z-graded skew polynomial rings.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2010

2009

The Cyclicity of a Cubic System.

[BibT_eX]

[DOI]

Alessandro Logar

Valery G. Romanovski

Open Syst. Inf. Dyn., 2009

Letterplace ideals and non-commutative Gröbner bases.

[BibT_eX]

[DOI]

Roberto La Scala

J. Symb. Comput., 2009

Principal intersection and bernstein-sato polynomial of an affine variety.

[BibT_eX]

[DOI]

Daniel Andres

Jorge Martín-Morales

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008

Computing one of Victor Moll's irresistible integrals with computer algebra.

[BibT_eX]

[DOI]

Christoph Koutschan

Comput. Sci. J. Moldova, 2008

Computational D-module theory with singular, comparison with other systems and two new algorithms.

[BibT_eX]

[DOI]

Jorge Martín-Morales

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007

Foreword from the Editor.

[BibT_eX]

[DOI]

J. Symb. Comput., 2007

Obstructions to Genericity in Study of Parametric Problems in Control Theory.

[BibT_eX]

[DOI]

Eva Zerz

CoRR, 2007

2006

Intersection of ideals with non-commutative subalgebras.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

Plural, a Non-commutative Extension of Singular: Past, Present and Future.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software, 2006

2003

Using computer algebra system SINGULAR: PLURAL for computations in noncommutative polynomial algebras.

[BibT_eX]

[DOI]

Hans Schönemann

SIGSAM Bull., 2003

Plural: a computer algebra system for noncommutative polynomial algebras.

[BibT_eX]

[DOI]