Point-Free, Set-Free Concrete Linear Algebra
Author:
- 1 January 2011
- book chapter
- Published by Springer Nature
- p. 103-118
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Packaging Mathematical Structures2009
- First-Class Type Classes2008
- Canonical Big Operators2008
- A Modular Formalisation of Finite Group TheoryLecture Notes in Computer Science, 2007
- A HOL Theory of Euclidean Space2005
- Proving Bounds for Real Linear Programs in Isabelle/HOL2005
- Setoids in type theoryJournal of Functional Programming, 2003
- Algebra2002
- Commutative Algebra in the Mizar SystemJournal of Symbolic Computation, 2001
- Character Theory for the Odd Order Theorem2000