2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
Formalization of Complex Vectors in Higher-Order Logic
Sanaz Khan-Afshar, Vincent Aravantinos, Osman Hasan +1
Complex vector analysis is widely used to analyze continuous systems in many disciplines, including physics and engineering. In this paper, we present a higher-order-logic formaliz…
Formal Analysis of Optical Systems
Sanaz Khan-Afshar, Umair Siddique, Mohamed Yousri Mahmoud +4
Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous natur…