Viktor Levandovskyy

53 papers B 14C 1Journal 37Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
An algorithm for annihilator and Bernstein-Sato polynomial of a rational function.
CoRR
Manuel González-Villa, Edwin León-Cardenal, Viktor Levandovskyy, Jorge Martín-Morales
2025 J jnl
Modular Algorithms For Computing Gröbner Bases in Free Algebras.
CoRR
Clemens Hofstadler, Viktor Levandovskyy
2023 J jnl
Computing free non-commutative Gröbner bases over Z with Singular: Letterplace.
J. Symb. Comput.
Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid
2022 B conf
Existence of Quantum Symmetries for Graphs on Up to Seven Vertices: A Computer based Approach.
ISSAC
Viktor Levandovskyy, Christian Eder, Andreas Steenpass, Simon Schmidt, Julien Schanz, Moritz Weber
2021 J jnl
Constructive arithmetics in Ore localizations enjoying enough commutativity.
J. Symb. Comput.
Johannes Hoffmann, Viktor Levandovskyy
2020 B conf
Computation of free non-commutative gröbner bases over Z with Singular: Letterplace.
ISSAC
Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid
2020 J jnl
Constructive arithmetics in Ore localizations of domains.
J. Symb. Comput.
Johannes Hoffmann, Viktor Levandovskyy
2020 C conf
Formally Verifying Proofs for Algebraic Identities of Matrices.
CICM
Leonard Schmitz, Viktor Levandovskyy
2020 B conf
Letterplace: a subsystem of singular for computations with free algebras via letterplace embedding.
ISSAC
Viktor Levandovskyy, Hans Schönemann, Karim Abou Zeid
2020 J jnl
Modular Techniques for Noncommutative Gröbner Bases.
Math. Comput. Sci.
Wolfram Decker, Christian Eder, Viktor Levandovskyy, Sharwan K. Tiwari
2018 J jnl
A factorization algorithm for G-algebras and its applications.
J. Symb. Comput.
Viktor Levandovskyy, Albert Heinle
2018 B conf
Constructive Arithmetics in Ore Localizations with Enough Commutativity.
ISSAC
Johannes Hoffmann, Viktor Levandovskyy
2017 B conf
A Constructive Approach to Arithmetics in Ore Localizations.
ISSAC
Johannes Hoffmann, Viktor Levandovskyy
2017 J jnl
Constructive Arithmetics in Ore Localizations of Domains.
CoRR
Johannes Hoffmann, Viktor Levandovskyy
2017 J jnl
Modular Techniques For Noncommutative Gröbner Bases.
CoRR
Wolfram Decker, Christian Eder, Viktor Levandovskyy, Sharwan K. Tiwari
2016 B conf
A Factorization Algorithm for G-Algebras and Applications.
ISSAC
Albert Heinle, Viktor Levandovskyy
2016 J jnl
A Factorization Algorithm for G-Algebras and Applications.
CoRR
Albert Heinle, Viktor Levandovskyy
2016 J jnl
Factoring linear partial differential operators in n variables.
J. Symb. Comput.
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
2015 J jnl
On factoring differential and difference operators in
ACM Commun. Comput. Algebra
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
2015 J jnl
The SDEval benchmarking toolkit.
ACM Commun. Comput. Algebra
Albert Heinle, Viktor Levandovskyy
2014 J jnl
Factoring Differential Operators in n Variables.
CoRR
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
2014 B conf
Factoring linear differential operators in
ISSAC
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
2013 B conf
Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm.
ISSAC
Viktor Levandovskyy, Grischa Studzinski, Benjamin Schnitzler
2013 J jnl
Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra
CoRR
Albert Heinle, Viktor Levandovskyy
2013 J jnl
Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra.
J. Symb. Comput.
Roberto La Scala, Viktor Levandovskyy
2013 J jnl
SymbolicData: SDEval - Benchmarking for Everyone.
CoRR
Albert Heinle, Viktor Levandovskyy, Andreas Nareike
2012 B conf
Elements of computer-algebraic analysis.
ISSAC
Viktor Levandovskyy
2012 J jnl
Foreword from the Editors.
J. Symb. Comput.
Viktor Levandovskyy, Dusan Pagon, Marko Petkovsek, Valery G. Romanovski
2012 J jnl
Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases.
J. Symb. Comput.
Viktor Levandovskyy, Kristina Schindelar
2011 J jnl
Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases.
J. Symb. Comput.
Viktor Levandovskyy, Kristina Schindelar
2011 J jnl
Exact linear modeling using Ore algebras.
J. Symb. Comput.
Viktor Levandovskyy, Eva Zerz, Kristina Schindelar
2011 J jnl
Exact linear modeling with polynomial coefficients.
Multidimens. Syst. Signal Process.
Eva Zerz, Viktor Levandovskyy, Kristina Schindelar
2011 J jnl
Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gr{ö}bner bases
CoRR
Viktor Levandovskyy, Kristina Schindelar
2011 B conf
On Two-Generated Non-commutative Algebras Subject to the Affine Relation.
CASC
Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak
2011 J jnl
On Two-generated Non-commutative Algebras Subject to the Affine Relation
CoRR
Christoph Koutschan, Viktor Levandovskyy, Oleksandr Motsak
2010 J jnl
Algorithms for Checking Rational Roots of $b$-functions and their Applications
CoRR
Viktor Levandovskyy, Jorge Martín-Morales
2010 J jnl
Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases
CoRR
Viktor Levandovskyy, Kristina Schindelar
2010 J jnl
Constructive
Math. Comput. Sci.
Daniel Andres, Michael Brickenstein, Viktor Levandovskyy, Jorge Martín-Morales, Hans Schönemann
2010 J jnl
Constructive $D$-module Theory with \textsc{Singular}
CoRR
Daniel Andres, Michael Brickenstein, Viktor Levandovskyy, Jorge Martín-Morales, Hans Schönemann
2010 J jnl
Exact linear modeling using Ore algebras
CoRR
Kristina Schindelar, Viktor Levandovskyy, Eva Zerz
2010 J jnl
Factorization of polynomials in Z-graded skew polynomial rings.
ACM Commun. Comput. Algebra
Albert Heinle, Viktor Levandovskyy
2010 J jnl
Non-commutative subsystems of singular.
ACM Commun. Comput. Algebra
Viktor Levandovskyy
2009 J jnl
Letterplace ideals and non-commutative Gröbner bases.
J. Symb. Comput.
Roberto La Scala, Viktor Levandovskyy
2009 B conf
Principal intersection and bernstein-sato polynomial of an affine variety.
ISSAC
Daniel Andres, Viktor Levandovskyy, Jorge Martín-Morales
2009 J jnl
The Cyclicity of a Cubic System.
Open Syst. Inf. Dyn.
Viktor Levandovskyy, Alessandro Logar, Valery G. Romanovski
2008 B conf
Computational D-module theory with singular, comparison with other systems and two new algorithms.
ISSAC
Viktor Levandovskyy, Jorge Martín-Morales
2008 J jnl
Computing one of Victor Moll's irresistible integrals with computer algebra.
Comput. Sci. J. Moldova
Christoph Koutschan, Viktor Levandovskyy
2007 J jnl
Foreword from the Editor.
J. Symb. Comput.
Viktor Levandovskyy
2007 J jnl
Obstructions to Genericity in Study of Parametric Problems in Control Theory.
CoRR
Viktor Levandovskyy, Eva Zerz
2006 B conf
Intersection of ideals with non-commutative subalgebras.
ISSAC
Viktor Levandovskyy
2006 — conf
Plural, a Non-commutative Extension of Singular: Past, Present and Future.
ICMS
Viktor Levandovskyy
2003 B conf
Plural: a computer algebra system for noncommutative polynomial algebras.
ISSAC
Viktor Levandovskyy, Hans Schönemann
2003 J jnl
Using computer algebra system SINGULAR: PLURAL for computations in noncommutative polynomial algebras.
SIGSAM Bull.
Viktor Levandovskyy, Hans Schönemann