Formalization of Complex Vectors in Higher-Order Logic

DOI10.1007/978-3-319-08434-3_10zbMath1304.68150arXiv1405.4034OpenAlexW81013672MaRDI QIDQ5495918

Osman Hasan, Sofiène Tahar, Vincent Aravantinos, Sanaz Khan-Afshar

Publication date: 7 August 2014

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

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

Mathematics Subject Classification ID

Related Items (2)

A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem ⋮ Formalization of Complex Vectors in Higher-Order Logic

Uses Software

• HOL Light
• Unnamed Item

Cites Work

• Unnamed Item
• Formal analysis of optical systems
• The HOL Light theory of Euclidean space
• HOL Light: An Overview
• Formalization of Complex Vectors in Higher-Order Logic
• Angles in complex vector spaces

This page was built for publication: Formalization of Complex Vectors in Higher-Order Logic