TAS

MaRDI QIDQ17051swMATHFDO

Official website http://www.informatik.uni-bremen.de/~cxl/tas/

Cited in

(12)

• Program development schemata as derived rules
• Mathematical Knowledge Management
• Increasing the efficiency of automated theorem proving
• scientific article; zbMATH DE number 1761418 (Why is no real title available?)
• scientific article; zbMATH DE number 2079668 (Why is no real title available?)
• TkWinHOL
• IsaWin
• A criterion for the unitary congruence of conjugate-normal matrices
• A proof-centric approach to mathematical assistants
• Functional design and implementation of graphical user interfaces for theorem provers
• scientific article; zbMATH DE number 2147039 (Why is no real title available?)
• scientific article; zbMATH DE number 2086587 (Why is no real title available?)

This page was built for software: TAS