Alexander Konovalov

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 10

Top Topics

Computer Algebra

Partially Ordered

Group Cognition

Automated Theorem Provers

Top Venues

J. Integer Seq.

Publications

Alexander Konovalov, Agata Smoktunowicz, Leandro Vendramin
Erratum to the Paper "On Skew Braces and Their Ideals". Exp. Math. 31 (1) (2022)
Alexander Konovalov, Agata Smoktunowicz, Leandro Vendramin
On skew braces and their ideals. Exp. Math. 30 (1) (2021)
Marijan Beg, Juliette Taka, Thomas Kluyver, Alexander Konovalov, Min Ragan-Kelly, Nicolas M. Thiéry, Hans Fangohr
Using Jupyter for Reproducible Scientific Workflows. Comput. Sci. Eng. 23 (2) (2021)
Marijan Beg, Juliette Taka, Thomas Kluyver, Alexander Konovalov, Min Ragan-Kelly, Nicolas M. Thiéry, Hans Fangohr
Using Jupyter for reproducible scientific workflows. CoRR (2021)
Andreas Bächle, Allen Herman, Alexander Konovalov, Leo Margolis, Gurmail Singh
The Status of the Zassenhaus Conjecture for Small Groups. Exp. Math. 27 (4) (2018)
W. Kimmerle, Alexander Konovalov
On the Gruenberg-Kegel graph of integral group rings of finite groups. Int. J. Algebra Comput. 27 (6) (2017)
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
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM (2016)
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
Ten Simple Rules for Taking Advantage of Git and GitHub. PLoS Comput. Biol. 12 (7) (2016)
Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CoRR (2016)
Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder
HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. 28 (13) (2016)
Ian P. Gent, Sergey Kitaev, Alexander Konovalov, Steve Linton, Peter Nightingale
S-Crucial and Bicrucial Permutations with Respect to Squares. J. Integer Seq. 18 (6) (2015)
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
An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science. CoRR (2014)
Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. J. Symb. Comput. 49 (2013)
Vladimir Komendantsky, Alexander Konovalov, Steve Linton
Interfacing Coq + SSReflect with GAP. Electron. Notes Theor. Comput. Sci. 285 (2012)
V. A. Bovdi, Eric Jespers, Alexander Konovalov
Torsion units in integral group rings of Janko simple groups. Math. Comput. 80 (273) (2011)
V. A. Bovdi, Alexander Konovalov, Steve Linton
Torsion Units in Integral Group Rings of Conway Simple Groups. Int. J. Algebra Comput. 21 (4) (2011)
Vladimir Komendantsky, Alexander Konovalov, Steve Linton
View of Computer Algebra Data from Coq. Calculemus/MKM (2011)
Alexander Konovalov, Steve Linton
Parallel computations in modular group algebras. PASCO (2010)
Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond
Easy composition of symbolic computation software: a new lingua franca for symbolic computation. ISSAC (2010)
Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer
Parallelising the computational algebra system GAP. PASCO (2010)
Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer
Towards High-Performance Computational Algebra with GAP. ICMS (2010)
Alexandru Cârstea, Georgiana Macariu, Dana Petcu, Alexander Konovalov
Pattern Based Composition of Web Services for Symbolic Computations. ICCS (1) (2008)
Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold
Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. ISPA (2008)
Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond
Symbolic Computation Software Composability. AISC/MKM/Calculemus (2008)
V. A. Bovdi, Alexander Konovalov, Steve Linton
. LMS J. Comput. Math. 11 (2008)
Alexandru Cârstea, Marc Frîncu, Alexander Konovalov, Georgiana Macariu, Dana Petcu
On Service-Oriented Symbolic Computing. PPAM (2007)