On the Formalization of the Heat Conduction Problem in HOL.

Elif Deniz Adnan Rashid Osman Hasan Sofiène Tahar

Published in: CoRR (2022)

Keyphrases

theorem prover
formal model
chemical reaction
knowledge representation
formal methods
higher order logic
electrical properties
heat transfer
theorem proving
heat flow
natural deduction
logical framework
genetic algorithm
data sets
data model
similarity measure
databases