The following pages link to (Q4249903):
Displaying 9 items.
- A mechanical verification of the stressing algorithm for negative cost cycle detection in networks (Q532429) (← links)
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- Certifying properties of an efficient functional program for computing Gröbner bases (Q1012152) (← links)
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
- A certified program for the Karatsuba method to multiply polynomials (Q2132545) (← links)
- Certification of breadth-first algorithms by extraction (Q2176671) (← links)
- (Q4394965) (← links)
- A formal proof of Sasaki-Murao algorithm (Q5195247) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464700) (← links)