Formalization of Integral Linear Space

DOI10.2478/v10037-011-0010-9zbMath1276.15001OpenAlexW1997215029MaRDI QIDQ2865731

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Publication date: 3 December 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-011-0010-9

Mathematics Subject Classification ID

Cryptography (94A60) Vector spaces, linear dependence, rank, lineability (15A03)

Cites Work

• Unnamed Item
• Semantics of MML Query - Ordering