Viktor Levandovskyy

53 papers B 14C 1Journal 37Unranked 1

Year	Rank	Type	Title / 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