Isomorphism theorem on vector spaces over a ring (Q1688742): Difference between revisions

@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1515/forma-2017-0016
+Normal rank
@@ Property / OpenAlex ID @@
+W2780051342
@@ Property / OpenAlex ID: W2780051342 / rank @@
+Normal rank
@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices and Codes
@@ Property / cites work: Lattices and Codes / rank @@
+Normal rank
@@ Property / cites work @@
+Submodule of free \(\mathbb Z\)-module
@@ Property / cites work: Submodule of free \(\mathbb Z\)-module / rank @@
+Normal rank
@@ Property / cites work @@
+Four decades of {\textsc{Mizar}}. Foreword
@@ Property / cites work: Four decades of {\textsc{Mizar}}. Foreword / rank @@
+Normal rank
@@ Property / cites work @@
+Factoring polynomials with rational coefficients
@@ Property / cites work: Factoring polynomials with rational coefficients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4829810
@@ Property / cites work: Q4829810 / rank @@
+Normal rank
@@ Property / cites work @@
+Differentiable Functions on Normed Linear Spaces
@@ Property / cites work: Differentiable Functions on Normed Linear Spaces / rank @@
+Normal rank