Materielle Interpretation

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Materielle Interpretation
 
Project Title (de) Projekttitel (de)
Materielle Interpretation
 
Project Title (en) Projekttitel (en)
Material Interpretation
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
ESP 576-N
 

Publications

Results 1-10 of 10 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Wiesnet, Franziskus Multidimensional Flexible Proof RepresentationPresentation Vortrag30-Sep-2025
2Wiesnet, Franziskus Introduction to MinlogPresentation Vortrag16-Sep-2025
3Wiesnet, Franziskus Constructive Analysis of Maximal Ideals in Z[X] by the Material InterpretationPresentation Vortrag14-Jul-2025
4Wiesnet, Franziskus Constructive Analysis of Maximal Ideals in ℤ[X] by the Material InterpretationInproceedings Konferenzbeitrag 20-Jun-2025
5Wiesnet, Franziskus Efficient Program Extraction in Elementary Number Theory using the Proof Assistant MinlogPresentation Vortrag13-Jun-2025
6Wiesnet, Franziskus Program Extraction in Elementary Arithmetic: Fundamental Theorem of Arithmetic and FriendsPresentation Vortrag16-May-2025
7Wiesnet, Franziskus Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and FriendsPresentation Vortrag23-Apr-2025
8Wiesnet-2025-Verified Program Extraction in Number Theory The Fundamenta...-smur.pdf.jpgWiesnet, Franziskus Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and RelativesPreprint Preprint 11-Apr-2025
9Wiesnet, Franziskus Material Interpretation - A Case StudyPresentation Vortrag30-Nov-2024
10Wiesnet, Franziskus Minlog-Kurs 2024Multimedia and Design Multimedia und Design4-Nov-2024