collaborators

1 paper

cs.LO2022

On the Formalization of the Heat Conduction Problem in HOL

Elif Deniz, Adnan Rashid, Osman Hasan +1

Partial Differential Equations (PDEs) are widely used for modeling the physical phenomena and analyzing the dynamical behavior of many engineering and physical systems. The heat eq…