Pages that link to "Item:Q3434628"
From MaRDI portal
The following pages link to A Computational Approach to Pocklington Certificates in Type Theory (Q3434628):
Displaying 5 items.
- Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec (Q286798) (← links)
- Certifying compilers using higher-order theorem provers as certificate checkers (Q633302) (← links)
- Proving Bounds on Real-Valued Functions with Computations (Q3541683) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)
- (Q5856420) (← links)
