Similar Items: Formalized linear algebra over Elementary Divisor Rings in Coq
- Deciding Kleene Algebras in Coq
- Formal Theories for Linear Algebra
- Definability of linear equation systems over groups and rings
- Strong Vertexes in the Compressed Zero-Divisor Graph of a Finite Ring
- Computable analysis and notions of continuity in Coq
- Hilbert's Tenth Problem in Coq (Extended Version)