Olexandr Konovalov

According to our database, Olexandr Konovalov authored at least 27 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Don't mention it: An approach to assess challenges to using software mentions for citation and discoverability research.

Stephan Druskat, Neil P. Chue Hong, Sammie Buzzard, Olexandr Konovalov, Patrick Kornek

CoRR, 2024

2023

FFCSA - Finite Field Constructions, Search, and Algorithms.

Nusa Zidaric, Guang Gong, Mark D. Aagaard, Aleksandar Jurisic, Olexandr Konovalov

ACM Commun. Comput. Algebra, June, 2023

2022

Erratum to the Paper "On Skew Braces and Their Ideals".

Olexandr Konovalov, Agata Smoktunowicz, Leandro Vendramin

Exp. Math., 2022

2021

On skew braces and their ideals.

Olexandr Konovalov, Agata Smoktunowicz, Leandro Vendramin

Exp. Math., 2021

Using Jupyter for Reproducible Scientific Workflows.

Marijan Beg, Juliette Taka, Thomas Kluyver, Olexandr Konovalov, Min Ragan-Kelly, Nicolas M. Thiéry, Hans Fangohr

Comput. Sci. Eng., 2021

2018

The Status of the Zassenhaus Conjecture for Small Groups.

Andreas Bächle, Allen Herman, Alexander Konovalov, Leo Margolis, Gurmail Singh

Exp. Math., 2018

2017

On the Gruenberg-Kegel graph of integral group rings of finite groups.

W. Kimmerle, Alexander Konovalov

Int. J. Algebra Comput., 2017

2016

Ten Simple Rules for Taking Advantage of Git and GitHub.

Yasset Pérez-Riverol, Laurent Gatto, Rui Wang, Timo Sachsenberg, Julian Uszkoreit, Felipe da Veiga Leprevost, Christian Fufezan, Tobias Ternent, Stephen J. Eglen, Daniel S. Katz, Tom J. Pollard, Alexander Konovalov, Robert M. Flight, Kai Blin, Juan Antonio Vizcaíno

PLoS Comput. Biol., 2016

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry

CoRR, 2016

HPC-GAP: engineering a 21st-century high-performance computer algebra system.

Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder

Concurr. Comput. Pract. Exp., 2016

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

2015

S-Crucial and Bicrucial Permutations with Respect to Squares.

Ian P. Gent, Sergey Kitaev, Alexander Konovalov, Steve Linton, Peter Nightingale

J. Integer Seq., 2015

2014

An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science.

Sylwester Arabas, Michael R. Bareford, Ian P. Gent, Benjamin M. Gorman, Masih Hajiarabderkani, Tristan Henderson, Luke Hutton, Alexander Konovalov, Lars Kotthoff, Ciaran McCreesh, Ruma R. Paul, Karen E. Petrie, Abdul Razaq, Daniël Reijsbergen

CoRR, 2014

2013

Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation.

Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond

J. Symb. Comput., 2013

2011

Torsion units in integral group rings of Janko simple groups.

V. A. Bovdi, Eric Jespers, Alexander Konovalov

Math. Comput., 2011

Torsion Units in Integral Group Rings of Conway Simple Groups.

V. A. Bovdi, Alexander Konovalov, Steve Linton

Int. J. Algebra Comput., 2011

View of Computer Algebra Data from Coq.

Vladimir Komendantsky, Alexander Konovalov, Steve Linton

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Interfacing Coq + SSReflect with GAP.

Vladimir Komendantsky, Alexander Konovalov, Steve Linton

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010

Easy composition of symbolic computation software: a new lingua franca for symbolic computation.

Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Towards High-Performance Computational Algebra with GAP.

Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer

Proceedings of the Mathematical Software, 2010

Parallel computations in modular group algebras.

Alexander Konovalov, Steve Linton

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Parallelising the computational algebra system GAP.

Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

2008

Torsion Units in Integral Group Ring of the Mathieu Simple Group<i>M</i>₂₂.

V. A. Bovdi, Alexander Konovalov, Steve Linton

LMS J. Comput. Math., 2008

Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System.

Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

Pattern Based Composition of Web Services for Symbolic Computations.

Alexandru Cârstea, Georgiana Macariu, Dana Petcu, Alexander Konovalov

Proceedings of the Computational Science, 2008

Symbolic Computation Software Composability.

Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

On Service-Oriented Symbolic Computing.

Alexandru Cârstea, Marc Frîncu, Alexander Konovalov, Georgiana Macariu, Dana Petcu

Proceedings of the Parallel Processing and Applied Mathematics, 2007