All Bianchi modular form data has been computed using rigorous algorithms that do not depend on any unproved assumptions or conjectures.
All Bianchi modular form data has been computed using rigorous algorithms that do not depend on any unproved assumptions or conjectures.