References

  1. Equal-by-nths. https://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/ACL2____EQUAL-BY-NTHS. Accessed: 2022-02-26.
  2. Piergiorgio Bertoli & Paolo Traverso (2000): Design Verification of a Safety-Critical Embedded Verifier, pp. 233–245. Springer US, Boston, MA, doi:10.1007/978-1-4757-3188-0_14.
  3. Ruben Gamboa, John Cowles & JV Baalen (2003): Using ACL2 Arrays to Formalize Matrix Algebra. In: Fourth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL203) 1.
  4. Thomas J Jech (2008): The Axiom of Choice. Courier Corporation.
  5. Rotation matrix (2021): Rotation matrix — Wikipedia, The Free Encyclopedia. https://en.wikipedia.org/wiki/Rotation_matrix. Online; Accessed: 2022-02-04.
  6. Madeline Tremblay (2017): The Banach-Tarski Paradox. Unpublished.
  7. Tom Weston (2016): The Banach-Tarski Paradox. Citado 2, pp. 15.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org