The computation of Artin representations is rigorous; it does not rely on heuristics or conjectures.
Reliability of Artin Representation Data
The computation of Artin representations is rigorous; it does not rely on heuristics or conjectures.