Dataset - CKAN

Certificated and Efficient Solver for Intersection of three quadric surfaces

Stage de troisieme année du Indian Institute of Technologie, Kanpur. Rapport de stage.
- HTML
Certification des preuves de terminaison par interprétations polynomiales

Stage de DEA. Rapport de stage.
- HTML

«
1
2
3
4

You can also access this registry using the API (see API Docs).