Algebraic structures and dependent records

DOI10.1007/3-540-45685-6_20MaRDI QIDQ4484347zbMATH OpenFDO

Authors Virgile Prevosto, Damien Doligez, Thérèse Hardin

Publication date 12 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2410/24100298.htm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• A constructive algebraic hierarchy in Coq.
• Packaging Mathematical Structures
• Algorithms and proofs inheritance in the FOC language
• Mathematical knowledge management in Foc
• Modular structures as dependent types in Isabelle

Cited in

(2)

• A constructive algebraic hierarchy in Coq.
• Packaging Mathematical Structures

Describes a project that uses

Uses Software

• Coq
• Theorema

This page was built for publication: Algebraic structures and dependent records

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484347)