activity
20092026
most citedMordell-Weil ranks of families of elliptic curves associated to Pythagorean triples

9 citations · 37 across the 17 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Proving at Scale for Universal Algebra

João Araújo, Jan Hůla, Mikoláš Janota +2

We introduce SemiBase, a project that computes and formally certifies finite identity bases for small semigroups. Deciding finite basability is undecidable for finite algebras and…