About Schemata and Proofs

01.01.2010 - 31.12.2012
Research funding project
Investigations on formula and proof schemata and their applications in mathematical practice.

People

Project leader

Project personnel

Institute

Grant funds

  • FWF - Österr. Wissenschaftsfonds (National) Austrian Science Fund (FWF)

Research focus

  • Computational Intelligence: 100%

Keywords

GermanEnglish
Schemataschemata
Beweisanalyseproof analysis

External partner

  • Institut National Polytechnique de Grenoble

Publications