Viktor Levandovskyy

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 16

Top Topics

Clifford Algebra

Methods In Computer Vision

Differential Operators

Top Venues

J. Symb. Comput.

ACM Commun. Comput. Algebra

Publications

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