## Connecting Gröbner bases programs with Coq to do proofs in algebra, geometry and arithmetics

### Cached

### Download Links

- [sunsite.informatik.rwth-aachen.de]
- [ceur-ws.org]
- [hal.inria.fr]
- DBLP

### Other Repositories/Bibliography

by
Loïc Pottier

Citations: | 3 - 0 self |