show · rcs.rigor.gg all knowls · up · search:

All data for transitive groups was computed using GAP or Magma, and so the rigor of the computations depends on the internal algorithms of these programs, none of which relies on heuristics or conjectures. Since the objects in question are finite groups, every calculation can be reproduced given sufficient computing resources.

Authors:
Knowl status:
  • Review status: beta
  • Last edited by John Voight on 2019-04-02 11:51:06
Referred to by:
History: (expand/hide all) Differences (show/hide)