swMATH4900MaRDI QIDQ17051FDOQ17051
Author name not available (Why is that?)
Official website: http://www.informatik.uni-bremen.de/~cxl/tas/
Cited In (12)
- Title not available (Why is that?)
- Increasing the efficiency of automated theorem proving
- A criterion for the unitary congruence of conjugate-normal matrices
- A proof-centric approach to mathematical assistants
- Title not available (Why is that?)
- Functional design and implementation of graphical user interfaces for theorem provers
- Title not available (Why is that?)
- TkWinHOL
- IsaWin
- Title not available (Why is that?)
- Program development schemata as derived rules
- Mathematical Knowledge Management
This page was built for software: TAS
