TAS
From MaRDI portal
Software:17051
swMATH4900MaRDI QIDQ17051FDOQ17051
Author name not available (Why is that?)
Cited In (10)
- 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?)
- Title not available (Why is that?)
- Program development schemata as derived rules
- Mathematical Knowledge Management
This page was built for software: TAS
