Viktor Levandovskyy

According to our database1, Viktor Levandovskyy authored at least 45 papers between 2003 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Computing free non-commutative Gröbner bases over Z with Singular: Letterplace.
J. Symb. Comput., 2023

2022
Existence of Quantum Symmetries for Graphs on Up to Seven Vertices: A Computer based Approach.
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.
J. Symb. Comput., 2021

2020
Modular Techniques for Noncommutative Gröbner Bases.
Math. Comput. Sci., 2020

Constructive arithmetics in Ore localizations of domains.
J. Symb. Comput., 2020

Formally Verifying Proofs for Algebraic Identities of Matrices.
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Letterplace: a subsystem of singular for computations with free algebras via letterplace embedding.
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.
Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2018
A factorization algorithm for G-algebras and its applications.
J. Symb. Comput., 2018

Constructive Arithmetics in Ore Localizations with Enough Commutativity.
Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017
A Constructive Approach to Arithmetics in Ore Localizations.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2016
Factoring linear partial differential operators in n variables.
J. Symb. Comput., 2016

A Factorization Algorithm for G-Algebras and Applications.
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015
The SDEval benchmarking toolkit.
ACM Commun. Comput. Algebra, 2015

On factoring differential and difference operators in <i>n</i> variables.
ACM Commun. Comput. Algebra, 2015

2014
Factoring Differential Operators in n Variables.
CoRR, 2014

Factoring linear differential operators in <i>n</i> variables.
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.
J. Symb. Comput., 2013

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

SymbolicData: SDEval - Benchmarking for Everyone.
CoRR, 2013

Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm.
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.
J. Symb. Comput., 2012

Foreword from the Editors.
J. Symb. Comput., 2012

Elements of computer-algebraic analysis.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2011
Exact linear modeling with polynomial coefficients.
Multidimens. Syst. Signal Process., 2011

Exact linear modeling using Ore algebras.
J. Symb. Comput., 2011

Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases.
J. Symb. Comput., 2011

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

On Two-Generated Non-commutative Algebras Subject to the Affine Relation.
Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010
Constructive <i>D</i>-Module Theory with Singular.
Math. Comput. Sci., 2010

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

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

Non-commutative subsystems of singular.
ACM Commun. Comput. Algebra, 2010

Factorization of polynomials in Z-graded skew polynomial rings.
ACM Commun. Comput. Algebra, 2010

2009
The Cyclicity of a Cubic System.
Open Syst. Inf. Dyn., 2009

Letterplace ideals and non-commutative Gröbner bases.
J. Symb. Comput., 2009

Principal intersection and bernstein-sato polynomial of an affine variety.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008
Computing one of Victor Moll's irresistible integrals with computer algebra.
Comput. Sci. J. Moldova, 2008

Computational D-module theory with singular, comparison with other systems and two new algorithms.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007
Foreword from the Editor.
J. Symb. Comput., 2007

Obstructions to Genericity in Study of Parametric Problems in Control Theory.
CoRR, 2007

2006
Intersection of ideals with non-commutative subalgebras.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

Plural, a Non-commutative Extension of Singular: Past, Present and Future.
Proceedings of the Mathematical Software, 2006

2003
Using computer algebra system SINGULAR: PLURAL for computations in noncommutative polynomial algebras.
SIGSAM Bull., 2003

Plural: a computer algebra system for noncommutative polynomial algebras.
Proceedings of the Symbolic and Algebraic Computation, 2003


  Loading...