Dataset - CKAN

Hierarchical QR factorization algorithms for multi-core cluster systems

International audience
- HTML
Guaranteed set computation with subpavings

International audience
- HTML
Right-cancellability of a family of operations on binary trees

International audience
- HTML
Enumeration of Binary Trees and Universal Types

International audience
- HTML

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