Ueber Schemata und Beweise

01.01.2010 - 31.12.2012
Research funding project
Untersuchung von Formel- und Beweisschematisierungen und ihre Anwendung in der mathematischen Praxis.

People

Project leader

Project personnel

Institute

Förderungmittel

  • FWF - Österr. Wissenschaftsfonds (National) Fonds zur Förderung der wissenschaftlichen Forschung (FWF)

Research focus

  • Computational Intelligence: 100%

Keywords

GermanEnglish
Schemataschemata
Beweisanalyseproof analysis

External partner

  • Institut National Polytechnique de Grenoble

Publications