scientific article; zbMATH DE number 1424016
From MaRDI portal
Publication:4945205
zbMath0947.08001MaRDI QIDQ4945205
Publication date: 23 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
universal algebratheory of typesautomated reasoning about general algebraic structuresproof development system Coq
Mechanization of proofs and logical operations (03B35) Algebraic structures (08A99) Software, source code, etc. for problems pertaining to general algebraic systems (08-04)
Related Items (9)
Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL ⋮ A Type of Partial Recursive Functions ⋮ On the relationship between compact regularity and Gentzen's cut rule ⋮ Structure-preserving diagram operators ⋮ Computer theorem proving in mathematics ⋮ Formalization of universal algebra in Agda ⋮ Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems ⋮ On the collection of points of a formal space ⋮ Modelling algebraic structures and morphisms in ACL2
Uses Software
This page was built for publication:
