5 citations · 6 across the 3 of their papers we have counts for
7 papers
From Relation to Emulation and Interpretation: Computer Algebra Implementation of the Covering Lemma for Finite Transformation Semigroups
Attila Egri-Nagy, Chrystopher L. Nehaniv
We give a practical computer algebra implementation of the Covering Lemma for finite transformation semigroups. The lemma states that given a surjective relational morphism $(X,S)\…
Derived metrics for the game of Go -- intrinsic network strength assessment and cheat-detection
Attila Egri-Nagy, Antti Törmänen
The widespread availability of superhuman AI engines is changing how we play the ancient game of Go. The open-source software packages developed after the AlphaGo series shifted fo…
A path-deformation framework for determining weighted genome rearrangement distance
Sangeeta Bhatia, Attila Egri-Nagy, Stuart Serdoz +3
Measuring the distance between two bacterial genomes under the inversion process is usually done by assuming all inversions to occur with equal probability. Recently, an approach t…
|{Math, Philosophy, Programming, Writing}| = 1
Attila Egri-Nagy
Philosophical thinking has a side effect: by aiming to find the essence of a diverse set of phenomena, it often makes it difficult to see the differences between them. This can be…
Declarativeness: the work done by something else
Attila Egri-Nagy
Being declarative means that we do computer programming on higher levels of abstraction. This vague definition identifies declarativeness with the act of ignoring details, but it i…
Computational Enumeration of Independent Generating Sets of Finite Symmetric Groups
Attila Egri-Nagy, Volker Gebhardt
We developed computer algebra tools for enumerating conjugacy classes of independent subsets and generating sets of symmetric groups up to , and carried out an initial analysi…