scientific article; zbMATH DE number 1348456
From MaRDI portal
Publication:4264706
Cited in
(4)- Proving Ramsey's theory by the cover set induction: A case and comparision study.
- Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem
- Formalizing factorization on Euclidean domains and abstract Euclidean algorithms
- Formalization of algebraic theorems in PVS (invited talk)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4264706)
