Ueber Schemata und Beweise

01.01.2010 - 31.12.2012
Forschungsförderungsprojekt
Untersuchung von Formel- und Beweisschematisierungen und ihre Anwendung in der mathematischen Praxis.

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Förderungsmittel

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

Forschungsschwerpunkte

  • Information and Communication Technology

Schlagwörter

DeutschEnglisch
Schemataschemata
Beweisanalyseproof analysis

Externe Partner_innen

  • Institut National Polytechnique de Grenoble