On the formalization of the heat conduction problem in HOL

DOI10.1007/978-3-031-16681-5_2arXiv2208.06642OpenAlexW4296050254MaRDI QIDQ6159364

Elif Deniz, Sofiène Tahar, Osman Hasan, Adnan Rashid

Publication date: 2 June 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2208.06642

zbMATH Keywords

heat equationtheorem provinghigher-order logicpartial differential equationsseparation of variablesHOL Light

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential equations and their applications. An introduction to applied mathematics. 3rd ed
• Transient heat conduction in one-dimensional composite slab. A ``natural analytic approach
• The flow of ODEs: formalization of variational equation and Poincaré map
• Formalization of Euler-Lagrange equation set based on variational calculus in HOL light
• Formalization of transform methods using HOL Light
• Trusting computations: a mechanized proof from partial differential equations to actual program
• A simple example for linear partial differential equations and its solution using the method of separation of variables
• On the Formalization of Fourier Transform in Higher-order Logic
• Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL
• Formal Proof of a Wave Equation Resolution Scheme: The Method Error
• Heat Conduction

This page was built for publication: On the formalization of the heat conduction problem in HOL