Proving formally the implementation of an...
URL: https://inria.hal.science/inria-00001270
Dataset description:
Last version published in the proceedings of IJCAR 06, part of FLOC 06.
Source: Proving formally the implementation of an efficient gcd algorithm for polynomials
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 28, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | fcb7db88-aaea-41b1-9f4f-aa9b156ff49c |
| Package id | oai-hal-inria-00001270v1 |
| Resource type | HTML |
| State | active |