scientific article; zbMATH DE number 7594146

MaRDI QIDQ5869574zbMATH OpenFDO

Authors Adnan Rashid, Osman Hasan

Publication date 28 September 2022

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Formalization of geometric algebra in HOL Light
• A formalization of metric spaces in HOL Light
• Lemma Mining over HOL Light
• Formalization of transform methods using HOL Light
• Proving Valid Quantified Boolean Formulas in HOL Light
• Formalization of Laplace transform using the multivariable calculus theory of HOL-Light
• PRocH: proof reconstruction for HOL Light
• Formalization of functional variation in HOL Light
• Conversion of HOL Light proofs into Metamath
• On the formalization of the Lebesgue integration theory in HOL

Cited in

(7)

• Formal analysis of continuous-time systems using Fourier transform
• Formalization of geometric algebra in HOL Light
• Formalization of transform methods using HOL Light
• Lemma Mining over HOL Light
• Formalization of Laplace transform using the multivariable calculus theory of HOL-Light
• Steps towards Verified Implementations of HOL Light
• On the formalization of the heat conduction problem in HOL

Describes a project that uses

Uses Software

• HOL Light

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869574)