Formalizing O Notation in Isabelle/HOL-Reference-Cited by-同舟云学术

Formalizing O Notation in Isabelle/HOL

Published:2004 Issue: Volume: Page:357-371
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

Avigad Jeremy,Donnelly Kevin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-25984-8_27.pdf

Reference12 articles.

1. Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete mathematics: a foundation for computer science, 2nd edn. Addison-Wesley Publishing Company, Reading (1994)

2. Lecture Notes in Computer Science;F. Kammüller,1999

3. Krueger, R., Rudnicki, P., Shelley, P.: Asymptotic notation. Part I: theory. Journal of Formalized Mathematics 11 (1999), http://mizar.org/JFM/Vol11/asympt_0.html

4. Krueger, R., Rudnicki, P., Shelley, P.: Asymptotic notation. Part II: examples and problems. Journal of Formalized Mathematics 11 (1999), http://mizar.org/JFM/Vol11/asympt_1.html

5. Nathanson, M.B.: Elementary Methods in Number Theory. Springer, New York (2000)

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Simulation Analysis and Comparison of New Hybrid TLI-µTESLA and Variant TESLA Protocols Using SHA-2 and SHA-3 Hash Functions;Sensors;2022-11-22

2. Mechanisation of the AKS Algorithm;Journal of Automated Reasoning;2020-09-02

3. Solution methods for a min–max facility location problem with regional customers considering closest Euclidean distances;Computational Optimization and Applications;2020-01-04

4. BiGO;Proceedings of the 19th Koli Calling International Conference on Computing Education Research;2019-11-21

5. Metaheuristics and Swarm Methods: A Discussion on Their Performance and Applications;Intelligent Systems Reference Library;2019-04-03