Dataset - CKAN

Modeling of the defining activity in mathematics and of its dialectic with th...

This text proposes an epistemological modeling of the mathematical defining activity, and highlights the links between defining and proving. The goals are also...
- HTML

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