Formalization of asymptotic notations in HOL4

Keyphrases

• Formal Verification 100%
• HOL4 100%
• Asymptotic Notation 100%
• Computational Complexity 50%
• Computer Science 50%
• Mathematical Analysis 50%
• Natural numbers 50%
• Paper-and-pencil 50%
• Limiting Behavior 50%
• Real numbers 50%
• Proof Techniques 50%
• Classical Properties 50%
• Number Theory 50%
• Combinatorics 50%
• Set Theory 50%
• Theorem Prover 50%
• Higher-order Logic 50%

Computer Science

• Formalization 100%
• Asymptotic Notation 100%
• Formal Verification 66%
• Computational Complexity 33%
• high-order logic 33%
• Theorem Prover 33%
• Computer Science 33%

Mathematics

• Natural Number 33%