Formalization of Asymptotic Notations in HOL4.
Nadeem IqbalOsman HasanUmair SiddiqueFalah AwwadPublished in: ICCCS (2019)
Keyphrases
- theorem prover
- levels of abstraction
- formal methods
- higher order logic
- expected values
- worst case
- knowledge representation
- modeling language
- natural deduction
- formal model
- formal analysis
- operational semantics
- laplace transform
- marginal likelihood
- asymptotically optimal
- higher order
- case study
- logical framework
- large deviations
- finite sample
- similarity measure
- formal logic
- unified modeling language
- genetic algorithm
- neural network