Dataset - CKAN

Formal study of efficient algorithms in linear algebra

Formal methods have reached a degree of maturity leading to the design of general-purpose proof systems, enabling both to verify the correctness of complex software...
- HTML

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