Embedded lattice and properties of Gram matrix (Q2356940): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1515/forma-2017-0007
+Normal rank
@@ Property / OpenAlex ID @@
+W2614898514
@@ Property / OpenAlex ID: W2614898514 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of MML Query - Ordering
@@ Property / cites work: Semantics of MML Query - Ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice of \(\mathbb{Z}\)-module
@@ Property / cites work: Lattice of \(\mathbb{Z}\)-module / rank @@
+Normal rank
@@ Property / cites work @@
+Divisible \(\mathbb{Z}\)-modules
@@ Property / cites work: Divisible \(\mathbb{Z}\)-modules / rank @@
+Normal rank
@@ Property / cites work @@
+Z-modules
@@ Property / cites work: Z-modules / rank @@
+Normal rank
@@ Property / cites work @@
+Quotient Module of Z-module
@@ Property / cites work: Quotient Module of Z-module / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix of \(\mathbb{Z}\)-module
@@ Property / cites work: Matrix of \(\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 @@
+Q5203581
@@ Property / cites work: Q5203581 / rank @@
+Normal rank