Packaging Mathematical Structures (Q3183538): Difference between revisions

@@ Property / describes a project that uses @@
+Coq/SSReflect
@@ Property / describes a project that uses: Coq/SSReflect / 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.1007/978-3-642-03359-9_23
+Normal rank
@@ Property / OpenAlex ID @@
+W1486558830
@@ Property / OpenAlex ID: W1486558830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247299
@@ Property / cites work: Q4247299 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive algebraic hierarchy in Coq.
@@ Property / cites work: A constructive algebraic hierarchy in Coq. / rank @@
+Normal rank
@@ Property / cites work @@
+Local Theory Specifications in Isabelle/Isar
@@ Property / cites work: Local Theory Specifications in Isabelle/Isar / rank @@
+Normal rank
@@ Property / cites work @@
+Commutative algebra in the Mizar system
@@ Property / cites work: Commutative algebra in the Mizar system / rank @@
+Normal rank
@@ Property / cites work @@
+A Modular Formalisation of Finite Group Theory
@@ Property / cites work: A Modular Formalisation of Finite Group Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Big Operators
@@ Property / cites work: Canonical Big Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075246
@@ Property / cites work: Q3075246 / rank @@
+Normal rank
@@ Property / cites work @@
+First-Class Type Classes
@@ Property / cites work: First-Class Type Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Dependently typed records in type theory
@@ Property / cites work: Dependently typed records in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Telescopic mappings in typed lambda calculus
@@ Property / cites work: Telescopic mappings in typed lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Defining functions on equivalence classes
@@ Property / cites work: Defining functions on equivalence classes / rank @@
+Normal rank
@@ Property / cites work @@
+Setoids in type theory
@@ Property / cites work: Setoids in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the Wedderburn decomposition of group algebras by the Brauer–Witt theorem
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Working with Mathematical Structures in Type Theory
+Normal rank
@@ Property / cites work @@
+Q3497625
@@ Property / cites work: Q3497625 / rank @@
+Normal rank