Open AccessDesignation at the core of the dialectic between experimentation and proving: a study in number theory
Author(s) -
Marie-Line Gardes,
Viviane Durand-Guerrier
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - mathematical proof , dialectic , core (optical fiber) , heuristic , computer science , process (computing) , proof of concept , empirical research , mathematics education , epistemology , theoretical computer science , psychology , mathematics , artificial intelligence , programming language , philosophy , telecommunications , geometry , operating system