The following pages link to CoqEAL (Q16057):
Displaying 5 items.
- ML4PG in Computer Algebra Verification (Q2843038) (← links)
- A Certified Reduction Strategy for Homological Image Processing (Q2946732) (← links)
- A formal proof of Sasaki-Murao algorithm (Q5195247) (← links)
- Formalized linear algebra over Elementary Divisor Rings in Coq (Q5739892) (← links)
- (Q5856420) (← links)