The following pages link to Loïc Pottier (Q3003227):
Displaying 8 items.
- Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving (Q3003228) (← links)
- (Q3125541) (← links)
- (Q3199485) (← links)
- (Q4035251) (← links)
- (Q4227321) (← links)
- (Q4266522) (← links)
- (Q4435464) (← links)
- Minimal solutions of linear diophantine systems : bounds and algorithms (Q5055757) (← links)
