The following pages link to Automated Reasoning (Q5307073):
Displayed 7 items.
- Reverse complexity (Q287279) (← links)
- On the formal analysis of Gaussian optical systems in HOL (Q315313) (← links)
- Mechanisation of the AKS algorithm (Q2031415) (← links)
- Solution methods for a min-max facility location problem with regional customers considering closest Euclidean distances (Q2301150) (← links)
- Proving divide and conquer complexities in Isabelle/HOL (Q2362108) (← links)
- A decision procedure for linear ``big O'' equations (Q2642465) (← links)
- (Q5195290) (← links)