The following pages link to Ralph Bottesch (Q2180229):
Displaying 8 items.
- Verifying an incremental theory solver for linear arithmetic in Isabelle/HOL (Q2180230) (← links)
- A hierarchy of polynomial kernels (Q2206255) (← links)
- Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL (Q2209537) (← links)
- Equality, Revisited (Q2946382) (← links)
- (Q5005177) (← links)
- (Q5111868) (← links)
- A Verified Efficient Implementation of the LLL Basis Reduction Algorithm (Q5222951) (← links)
- Correlation in Hard Distributions in Communication Complexity (Q5351922) (← links)
