Acknowledgments

This research was supported by the Australian Government through the Australian Research Council’s Discovery Projects funding scheme (project DP210103849). This research includes computations using the computational cluster Katana supported by Research Technology Services at UNSW Sydney (PVC (Research Infrastructure), UNSW Sydney 2010), which was used to build and check the certificate for Theorem 8.1 (Appendix F). We thank the UNSW AI Institute for supporting the co-algorithmist framework, a framework for human–AI research collaboration in algorithms and theoretical computer science that is under development.

Back to top

References

PVC (Research Infrastructure), UNSW Sydney. 2010. “Katana.” UNSW, Sydney. https://doi.org/10.26190/669X-A286.