|
2022 |
|
Johannes Flake, Ghislain Fourier and Viktor Levandovskyy : Gröbner basis for fusion products .
Algebras and Representation Theory (2022), see also https://arxiv.org/abs/2003.05639
|
|
C. Eder, V. Levandovskyy, J. Schanz, S. Schmidt, A. Steenpass and M. Weber : Existence of quantum symmetries for graphs on up to seven vertices: a computer based approach .
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2022). ACM Press (2022), 311-318
|
|
2021 |
|
Michael Hauck and Viktor Levandovskyy and Olga Lykhachova and Julia Orlik : Symbolic homogenization and structure optimization for a periodically perforated cylindrical shell .
ZAMM (Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik) (2021)
|
|
Viktor Levandovskyy and Tobias Metzlaff and Karim Abou Zeid : Computing Free Non-commutative Gröbner Bases over Z with Singular:Letterplace .
Journal of Symbolic Computation (2021)
|
|
2020 |
|
Johannes Hoffmann and Viktor Levandovskyy : Constructive arithmetics in Ore localizations enjoying enough commutativity .
Journal of Symbolic Computation 102 (2021), 209-230
|
|
Leonard Schmitz and Viktor Levandovskyy : Formally Verifying Proofs for Algebraic Identities of Matrices .
In: Intelligent Computer Mathematics (Proceedings of the CICM 2020). Springer LNAI, LNCS (2020), 222-236
|
|
Viktor Levandovskyy and Hans Schönemann and Karim Abou Zeid : Letterplace - a Subsystem of Singular for Computations with Free Algebras via Letterplace Embedding .
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2020). ACM Press (2020), 305-311, video.
|
|
Viktor Levandovskyy and Tobias Metzlaff and Karim Abou Zeid : Computations of free non-commutative Gröbner Bases over Z with Singular:Letterplace .
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2020). ACM Press (2020), 312-319, video.
|
|
2019 |
|
Volodymyr Bavula and Viktor Levandovskyy : A remark on the Dixmier Conjecture .
Canadian Mathematical Bulletin (2019), 1-7
|
|
Johannes Hoffmann and Viktor Levandovskyy : Constructive arithmetics in Ore localizations of domains .
Journal of Symbolic Computation 98 (2020), 23-46
|
|
Wolfram Decker and Christian Eder and Viktor Levandovskyy and Sharwan Tiwari : Modular Techniques For Computing Non-Commutative Gröbner Bases .
Mathematics in Computer Science 14,1 (2020), 19-33
|
|
Christian Schilli, Eva Zerz and Viktor Levandovskyy : Controlled and conditioned invariance for polynomial and rational feedback systems .
In: Algebraic and Symbolic Computation Methods in Dynamical Systems, Advances in Delays and Dynamics (ADD). Springer (2020), 259-293
|
|
2018 |
|
Johannes Hoffmann and Viktor Levandovskyy : Constructive Arithmetics in Ore localizations with enough commutativity .
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 18). ACM Press (2018), 207-214
|
|
Albert Heinle and Viktor Levandovskyy : Factorization of Z-homogeneous Polynomials in the First (q-)Weyl Algebra .
Springer LNM (2018), 455-480
|
|
Albert Heinle and Viktor Levandovskyy : A Factorization Algorithm for G-Algebras and its Applications .
Journal of Symbolic Computation (2018), 188-205
|
|
2017 |
|
Johannes Hoffmann and Viktor Levandovskyy : A constructive approach to arithmetics in Ore localizations .
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 17). ACM Press (2017), 197-204
|
|
2016 |
|
Albert Heinle and Viktor Levandovskyy : A Factorization Algorithm for G-Algebras and Applications .
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 16). ACM Press (2016), 263-270
|
|
Christian Schilli, Eva Zerz and Viktor Levandovskyy : Controlled and conditioned invariant varieties for
polynomial control systems with rational feedback .
In: Proceedings of the International Symposium on Mathematical Theory
of Networks and Systems (MTNS 2016), Minneapolis. (2016), 182-187
|
|
Jason Bell, Albert Heinle and Viktor Levandovskyy : On noncommutative finite factorization domains .
Transactions of the AMS 369 (2017), 2675-2695
|
|
2015 |
|
Mark Giesbrecht, Albert Heinle and Viktor Levandovskyy : Factoring Linear Partial Differential Operators in n Variables .
Journal of Symbolic Computation 75 (2016), 127-148
|
|
Jonathan Hauenstein and Viktor Levandovskyy : Certifying solutions to square systems of polynomial-exponential equations .
Journal of Symbolic Computation (2015)
|
|
Brigita Fercec, Viktor Levandovskyy, Valery G. Romanovski and Douglas Shafer : Bifurcations of critical periods of polynomial systems .
Journal of Differential Equations 259,8 (2015), 3825-3853, bibtex.
|
|
Albert Heinle and Viktor Levandovskyy : The SDEval Benchmarking Toolkit .
ACM Communications in Computer Algebra 49,1 (2015), 1-9, bibtex.
|
|
2014 |
|
Mark Giesbrecht, Albert Heinle and Viktor Levandovskyy : Factoring Differential Operators in n Variables .
In: Proceedings of the International Symposium on Symbolic and
Algebraic Computation (ISSAC 14). ACM Press (2014), 194-201, bibtex.
|
|
Christian Schilli, Eva Zerz and Viktor Levandovskyy : Controlled and conditioned invariant varieties for polynomial control systems .
In: Proceedings of the International Symposium on Mathematical Theory
of Networks and Systems (MTNS 2014), Groningen. (2014), 1691-1698, bibtex.
|
|
Viktor Levandovskyy and Anne Shepler : Corrigendum to Example in Quantum Drinfeld Hecke Algebras .
Canadian Journal of Mathematics 66 (2014), 902-902
|
|
Viktor Levandovskyy and Anne Shepler : Quantum Drinfeld Hecke Algebras .
Canadian Journal of Mathematics 66 (2014), 874-901, bibtex.
|
|
2013 |
|
Viktor Levandovskyy, Grischa Studzinski and Benjamin Schnitzler : Enhanced Computations of Gröbner Bases in Free Algebras as a New Application of the Letterplace Paradigm .
In: Proceedings of the International Symposium on Symbolic and
Algebraic Computation (ISSAC 13). ACM Press (2013), 259-266, bibtex.
|
|
Roberto La Scala and Viktor Levandovskyy : Skew polynomial rings, Gröbner bases and the letterplace embedding
of the free associative algebra .
Journal of Symbolic Computation 48,1 (2013), 110-131
|
|
2012 |
|
Viktor Levandovskyy and Jorge Martín-Morales : Algorithms for Checking Rational Roots of $b$-functions and their
Applications .
Journal of Algebra 352,1 (2012), 408-429
|
|
Viktor Levandovskyy and Bernd Martin : A Symbolic Approach to Generation and Analysis of Finite Difference
Schemes of Partial Differential Equations .
In: U. Langer, P. Paule: Numerical and Symbolic Scientific Computing: Progress and Prospects. Springer (2012), 123-156, bibtex.
|
|
Viktor Levandovskyy and Kristina Schindelar : Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases .
Journal of Symbolic Computation 47,10 (2012), 1214-1232
|
|
2011 |
|
Eva Zerz, Viktor Levandovskyy and Kristina Schindelar : Exact linear modeling with polynomial coefficients .
Multidimensional Systems and Signal Processing 22,1-3 (2011), 55-65, bibtex.
|
|
Viktor Levandovskyy, Christoph Koutschan and Oleksandr Motsak : On Two-generated Non-commutative Algebras Subject to the Affine Relation .
In: Gerdt, V., Koepf. W., Mayr, E. and Vorozhtsov, E.: Proceedings of CASC 2011. LNCS 6885, Springer (2011), 309-320, bibtex.
|
|
Viktor Levandovskyy, Gerhard Pfister and Valery Romanovski : Evaluating cyclicity of cubic systems with algorithms of computational
algebra .
Communications on Pure and Applied Analysis 11,5 (2011), 2023--2035
|
|
2010 |
|
Daniel Andres, Michael Brickenstein, Viktor Levandovskyy, Jorge Martín-Morales and Hans Schönemann : Constructive D-module Theory with SINGULAR .
Mathematics in Computer Science 4,2-3 (2010), 359-383, bibtex.
|
|
Viktor Levandovskyy, Eva Zerz and Kristina Schindelar : Exact linear modeling using Ore algebras .
Journal of Symbolic Computation 46,11 (2011), 1189-1204, bibtex.
|
|
Viktor Levandovskyy and Kristina Schindelar : Computing diagonal form and Jacobson normal form of a matrix using
Gröbner bases .
Journal of Symbolic Computation 46,5 (2011), 595-608, bibtex.
|
|
2009 |
|
Viktor Levandovskyy, Alessandro Logar and Valery Romanovski : The cyclicity of a cubic system .
Open Systems & Information Dynamics 16,4 (2009), 429-439, bibtex.
|
|
Daniel Andres, Viktor Levandovskyy and Jorge Martín-Morales : Principal Intersection and Bernstein-Sato Polynomial of an Affine Variety .
In: Proceedings of the International Symposium on Symbolic and
Algebraic Computation (ISSAC 09). ACM Press (2009), 231-238, bibtex.
|
|
Roberto La Scala and Viktor Levandovskyy : Letterplace ideals and non-commutative Gröbner bases .
Journal of Symbolic Computation 44,10 (2009), 1374-1393, bibtex.
|
|
Viktor Levandovskyy, Valery Romanovski and Douglas Shafer : The cyclicity of a cubic system with nonradical Bautin ideal .
Journal of Differential Equations 246,3 (2009), 1274-1287, bibtex.
|
|
2008 |
|
Kristina Schindelar, Viktor Levandovskyy and Eva Zerz : Linear exact modeling with variable coefficients .
In: Proceedings of the International Symposium on Mathematical Theory
of Networks and Systems (MTNS 08), Blacksburg. SIAM (2008), bibtex.
|
|
Viktor Levandovskyy and Jorge Martín-Morales : Computational D-module Theory with Singular, Comparison with Other Systems and Two New Algorithms .
In: Proceedings of the International Symposium on Symbolic and
Algebraic Computation (ISSAC 08). ACM Press (2008), bibtex.
|
|
Christoph Koutschan and Viktor Levandovskyy : Computing one of Victor Moll's irresistible integrals with computer algebra .
Computer Science Journal of Moldova 16,1(46) (2008), 35-49, bibtex.
|
|
2007 |
|
Viktor Levandovskyy and Eva Zerz : Obstructions to Genericity in Study of Parametric Problems in Control Theory .
In: Gröbner Bases in Control Theory and Signal Processing. de Gruyter (2007), 191-214, bibtex.
|
|
2006 |
|
Viktor Levandovskyy : Intersection of Ideals with Non-commutative Subalgebras .
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2006), Genova, Italy. ACM Press (2006), bibtex.
|
|
Viktor Levandovskyy : PLURAL, a Non-commutative Extension of SINGULAR: Past, Present and Future .
In: A. Iglesias, N. Takayama: Proceedings of International Congress on Mathematical Software. LNCS 4151, Springer (2006)
|
|
Viktor Levandovskyy and Eva Zerz : Algebraic systems theory and computer algebraic methods for some classes of linear control systems .
In: Y. Yamamoto: Proc. of the International Symposium on Mathematical Theory of Networks and Systems (MTNS'06). (2006)
|
|
2005 |
|
Viktor Levandovskyy and Eva Zerz : Computer algebraic methods for the structural analysis of linear control systems .
In: Proceedings in Applied Mathematics and Mechanics (PAMM). Wiley-VCH (2005)
|
|
Viktor Levandovskyy : PBW Bases, Non-Degeneracy Conditions and Applications .
In: Buchweitz, R.-O. and Lenzing, H. (eds.): Proceedings of the ICRA X conference, Toronto, Canada. AMS. Fields Institute Communications (2005)
|
|
Viktor Levandovskyy : On preimages of ideals in certain non-commutative algebras .
In: Pfister G., Cojocaru S. and Ufnarovski, V. (eds.): Computational Commutative and Non-Commutative Algebraic Geometry. IOS Press (2005)
|
|
Viktor Levandovskyy : Non-commutative Computer Algebra for polynomial algebras: Gröbner bases, applications and implementation .
(2005), Ph.D. Thesis
|
|
2001 - 2004 |
|
Viktor Levandovskyy and H.Schönemann : PLURAL - a Computer Algebra System for Noncommutative Polynomial Algebras .
In: M. Bronstein: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2003), Philadelfia, USA. ACM Press (2003)
|
|
Viktor Levandovskyy : On Gröbner bases for noncommutative G-algebras .
In: Proceedings of the 8th Rhine Workshop
on Computer Algebra, Mannheim, Germany. (2002)
|
|
Viktor Levandovskyy : Theory and applications of Gröbner bases in noncommutative
polynomial algebras (in Ukrainian) .
In: Proceedings of the 3rd Algebraic Conference in Ukraine, Sumy, Ukraine. (2001)
|