Sign in
Formalization of Lerch's Theorem using HOL Light.
Adnan Rashid
Osman Hasan
Published in:
CoRR (2018)
Keyphrases
</>
theorem prover
formal methods
digital topology
formal model
von neumann
data sets
data mining
website
case study
artificial neural networks
theorem proving
logical framework
refractive index
higher order logic
light scattering