I agree that this site is using cookies. You can find further informations here.
X
Levandovskyy, Viktor
87  results:
Search for persons X
?
1

Computing free non-commutative Gröbner bases over Z with Si..:

Levandovskyy, Viktor ; Metzlaff, Tobias ; Abou Zeid, Karim
Journal of Symbolic Computation.  115 (2023)  - p. 201-222 , 2023
Link: https://doi.org/10.1016/..
 
?
2

Gröbner Bases for Fusion Products:

Flake, Johannes ; Fourier, Ghislain ; Levandovskyy, Viktor
Algebras and Representation Theory.  26 (2022)  5 - p. 2235-2253 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Existence of Quantum Symmetries for Graphs on Up to Seven V..:

, In: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation,
Levandovskyy, Viktor ; Eder, Christian ; Steenpass, Andreas... - p. 311-318 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Symbolic homogenization and structure optimization for a pe..:

Hauck, Michael ; Orlik, Julia ; Levandovskyy, Viktor.
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik.  102 (2021)  1 - p. , 2021
Link: https://doi.org/10.1002/..
 
?
5

Constructive arithmetics in Ore localizations enjoying enou..:

Hoffmann, Johannes ; Levandovskyy, Viktor
Journal of Symbolic Computation.  102 (2021)  - p. 209-230 , 2021
Link: https://doi.org/10.1016/..
 
?
6

Computation of free non-commutative gröbner bases over Z wi..:

, In: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation,
Levandovskyy, Viktor ; Metzlaff, Tobias ; Zeid, Karim Abou - p. 312-319 , 2020
Link: https://dl.acm.org/doi/1..
 
?
7

Controlled and Conditioned Invariance for Polynomial and Ra..:

, In: Algebraic and Symbolic Computation Methods in Dynamical Systems; Advances in Delays and Dynamics,
Schilli, Christian ; Zerz, Eva ; Levandovskyy, Viktor - p. 259-293 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Letterplace : a subsystem of singular for computations w..:

, In: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation,
Levandovskyy, Viktor ; Schönemann, Hans ; Zeid, Karim Abou - p. 305-311 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

Constructive arithmetics in Ore localizations of domains:

Hoffmann, Johannes ; Levandovskyy, Viktor
Journal of Symbolic Computation.  98 (2020)  - p. 23-46 , 2020
Link: https://doi.org/10.1016/..
 
?
10

Formally Verifying Proofs for Algebraic Identities of Matri..:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Schmitz, Leonard ; Levandovskyy, Viktor - p. 222-236 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Modular Techniques for Noncommutative Gröbner Bases:

Decker, Wolfram ; Eder, Christian ; Levandovskyy, Viktor.
Mathematics in Computer Science.  14 (2019)  1 - p. 19-33 , 2019
Link: https://doi.org/10.1007/..
 
?
12

A factorization algorithm for G-algebras and its applicatio..:

Levandovskyy, Viktor ; Heinle, Albert
Journal of Symbolic Computation.  85 (2018)  - p. 188-205 , 2018
Link: https://doi.org/10.1016/..
 
?
13

Constructive Arithmetics in Ore Localizations with Enough C..:

, In: Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation,
Hoffmann, Johannes ; Levandovskyy, Viktor - p. 207-214 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

ON NONCOMMUTATIVE FINITE FACTORIZATION DOMAINS:

BELL, JASON P. ; HEINLE, ALBERT ; LEVANDOVSKYY, VIKTOR
Transactions of the American Mathematical Society.  369 (2017)  4 - p. 2675-2695 , 2017
Link: https://www.jstor.org/st..
 
?
15

Certifying solutions to square systems of polynomial-expone..:

Hauenstein, Jonathan D. ; Levandovskyy, Viktor
Journal of Symbolic Computation.  79 (2017)  - p. 575-593 , 2017
Link: https://doi.org/10.1016/..
 
1-15