Cited By
View all- Hamid NHong JPark JPrzybyłek A(2024)(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in CoqProceedings of the 39th ACM/SIGAPP Symposium on Applied Computing10.1145/3605098.3635960(1684-1693)Online publication date: 8-Apr-2024
- Nipkow T(2024)Gale-Shapley VerifiedJournal of Automated Reasoning10.1007/s10817-024-09700-x68:2Online publication date: 14-Jun-2024
- Nipkow TEberl MHaslbeck M(2020)Verified Textbook AlgorithmsAutomated Technology for Verification and Analysis10.1007/978-3-030-59152-6_2(25-53)Online publication date: 19-Oct-2020