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

  • Fonds zur Förderung der wissenschaftlichen Forschung (FWF) (National) Fonds zur Förderung der wissenschaftlichen Forschung (FWF) Fördergeber Typ Forschungsförderungsinstitutionen

Forschungsschwerpunkte

  • Information and Communication Technology

Schlagwörter

DeutschEnglisch
Schemataschemata
Beweisanalyseproof analysis

Externe Partner_innen

  • Institut National Polytechnique de Grenoble