MATH LP - Learning to Prove by MATHematical Induction: Invariant Discovery Aided by Modern Machine Learning Technology (LIT Projekt)

Cerna, David (Projektleiter*in)

Projekt: Geförderte Forschung › Bund / Land / Gemeinden

Status	Abgeschlossen
Tatsächliches Beginn-/Enddatum	01.08.2020 → 31.01.2023

Wissenschaftszweige

101013 Mathematische Logik
101001 Algebra
101012 Kombinatorik
101020 Technische Mathematik
101 Mathematik
101009 Geometrie
101005 Computeralgebra
211 Andere Technische Wissenschaften

JKU-Schwerpunkte

Sustainable Development: Responsible Technologies and Management
Digital Transformation