Dataset - CKAN

Proving formally the implementation of an efficient gcd algorithm for polynom...

Last version published in the proceedings of IJCAR 06, part of FLOC 06.
- HTML
New structure theorems for subresultants

Article dans revue scientifique avec comité de lecture.
- HTML

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