scientific article; zbMATH DE number 2086587

MaRDI QIDQ4737121zbMATH OpenFDO

Authors Serge Autexier, Till Mossakowski

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Recommendations

• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 1629958
• Reasoning Support for Casl with Automated Theorem Proving Systems
• scientific article; zbMATH DE number 1617292
• scientific article; zbMATH DE number 2172806

Cited in

(6)

• Manipulating algebraic specifications with term-based and graph-based representations
• Development graphs -- proof management for structured specifications
• Crystal: Integrating structured queries into a tactic language
• Deduction as an engineering science
• Mechanizing Mathematical Reasoning
• Computer supported mathematics with MEGA

Describes a project that uses

Uses Software

• CASL
• MAYA
• IsaWin
• TAS
• PROSPER

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 Q4737121)