Search results

Articles (7)

Journals (0)

1-7 of 7 results for higher-order-logic theorem proving

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2020-2

Formalization of fractional calculus and fractional order PI controller

Chunna Zhao, Murong Jiang, Yaqun Huan [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2023-2

Towards the formal performance analysis of multistate coherent systems using HOL theorem proving

Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2018-6

Formal reliability analysis of oil and gas pipelines

Waqar Ahmad, Osman Hasan, Sofiène Tahar [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2011-2

Mechanical Analysis of Finite Idempotent Relations

Florian Kammüller

Fundamenta Informaticae

Retricted access

Research article

First published 2005-7

Infinite Unfolding and Transformations of Nondeterministic Programs

Bjórn Lisper

Fundamenta Informaticae

Open access

Research article

First published 2014

Formalization of Matrix Theory in HOL4

Zhiping Shi, Yan Zhang, Zhenke Liu [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2022-1-12

Countable sets versus sets that are countable in reverse mathematics

Sam Sanders

Computability