TAS
From MaRDI portal
Software:17051
No author found.
Related Items (10)
Unnamed Item ⋮ Functional design and implementation of graphical user interfaces for theorem provers ⋮ A proof-centric approach to mathematical assistants ⋮ Increasing the efficiency of automated theorem proving ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A criterion for the unitary congruence of conjugate-normal matrices ⋮ Unnamed Item ⋮ Mathematical Knowledge Management ⋮ Program development schemata as derived rules
This page was built for software: TAS
