Publisher
Springer International Publishing
Reference26 articles.
1. Akra, M., Bazzi, L.: On the solution of linear recurrence equations. Comput. Optim. Appl. 10(2), 195–210 (1998).
https://doi.org/10.1023/A:1018373005182
2. Bentley, J.L., Shamos, M.I.: Divide-and-Conquer in multidimensional space. In: Proceedings of Eighth Annual ACM Symposium on Theory of Computing, STOC 1976, pp. 220–230. ACM (1976).
https://doi.org/10.1145/800113.803652
3. Lecture Notes in Computer Science;Y Bertot,2018
4. Brun, C., Dufourd, J., Magaud, N.: Designing and proving correct a convex hull algorithm with hypermaps in Coq. Comput. Geom. 45(8), 436–457 (2012).
https://doi.org/10.1016/j.comgeo.2010.06.006
5. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. The MIT Press, Cambridge (2009)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification of Closest Pair of Points Algorithms;Automated Reasoning;2020
2. Verified Textbook Algorithms;Automated Technology for Verification and Analysis;2020