The following pages link to TAS (Q17051):
Displayed 10 items.
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Program development schemata as derived rules (Q1583853) (← links)
- A criterion for the unitary congruence of conjugate-normal matrices (Q2477484) (← links)
- Functional design and implementation of graphical user interfaces for theorem provers (Q4267722) (← links)
- (Q4471715) (← links)
- (Q4537438) (← links)
- (Q4658725) (← links)
- (Q4737121) (← links)
- Increasing the efficiency of automated theorem proving (Q4835513) (← links)
- Mathematical Knowledge Management (Q5898512) (← links)