scientific article; zbMATH DE number 2000437

MaRDI QIDQ4433984zbMATH OpenFDO

Authors Wolfgang Windsteiger

Publication date 3 November 2003

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

Mathematics Subject Classification ID

Recommendations

• An automated prover for Zermelo-Fraenkel set theory in Theorema
• scientific article; zbMATH DE number 4164178
• scientific article; zbMATH DE number 1926638
• scientific article; zbMATH DE number 4081506
• scientific article; zbMATH DE number 2043541

Cited in

(8)

• A circumscriptive theorem prover
• SET-VAR
• An automated prover for Zermelo-Fraenkel set theory in Theorema
• scientific article; zbMATH DE number 4164178 (Why is no real title available?)
• scientific article; zbMATH DE number 4164184 (Why is no real title available?)
• scientific article; zbMATH DE number 4081506 (Why is no real title available?)
• Str+ve \subseteq : The Str+ve-based subset prover
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

Describes a project that uses

Uses Software

• Mathpert
• Theorema

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