Pages that link to "Item:Q597122"
From MaRDI portal
The following pages link to Commutative algebra in the Mizar system (Q597122):
Displaying 19 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
- On primary ideals. I (Q2119550) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- Development of the theory of continuous lattices in MIZAR (Q2751538) (← links)
- Defining power series and polynomials in Mizar (Q2751549) (← links)
- Point-Free, Set-Free Concrete Linear Algebra (Q3088000) (← links)
- Packaging Mathematical Structures (Q3183538) (← links)
- Computational logic: its origins and applications (Q4559535) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking (Q5852118) (← links)
- On bag of 1. I (Q6071618) (← links)
- Introduction to algebraic geometry (Q6071624) (← links)
- A Formal Proof of the Computation of Hermite Normal Form in a General Setting (Q6108811) (← links)
- Embedding principle for rings and abelian groups (Q6557115) (← links)
- Extensions of orderings (Q6557129) (← links)