Formalization of linear space theory in the higher-order logic proving system

DOI10.1155/2013/218492zbMath1315.03021OpenAlexW1981373951WikidataQ59002164 ScholiaQ59002164MaRDI QIDQ2375439

Jie Zhang, Danwen Mao, Yong Guan

Publication date: 14 June 2013

Published in: Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2013/218492

zbMATH Keywords

formal verificationvector spaceshigher order logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

Formal analysis of the kinematic Jacobian in screw theory ⋮ Formal kinematic analysis of a general 6R manipulator using the screw theory

Uses Software

• HOL
• HOL Light

Cites Work

• Formalization of fixed-point arithmetic in HOL
• A Brief Overview of HOL4
• Unnamed Item

This page was built for publication: Formalization of linear space theory in the higher-order logic proving system