<div class="csl-bib-body">
<div class="csl-entry">Wiesnet, F. (2025, September 30). <i>Multidimensional Flexible Proof Representation</i> [Presentation]. Workshop am RISC 2025, JKU Linz, Austria. http://hdl.handle.net/20.500.12708/223850</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/223850
-
dc.description.abstract
I have given a talk on my proposed research project “Multidimensional Flexible Proof Representation” in the context of an FWF ASTRA application. The project explores how mathematical proofs across different levels of abstraction—from informal sketches to formal proof terms—can be systematically connected and represented. We hypothesize that structurally similar proofs align more closely at deeper, more formal levels, and that merging such variants results in a multidimensional structure. Our goal is to develop methods for representing, classifying, and interpreting these structures to enhance understanding. This approach will enable cross-system comparisons, provide new insights into proof theory and proof interpretations, and support the structural and semantic classification of proof components.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.subject
proof representation
en
dc.subject
proof assistants
en
dc.title
Multidimensional Flexible Proof Representation
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
ESP 576-N
-
dc.type.category
Presentation
-
tuw.project.title
Materielle Interpretation
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.event.name
Workshop am RISC 2025
en
tuw.event.startdate
30-09-2025
-
tuw.event.enddate
30-09-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
JKU Linz
-
tuw.event.country
AT
-
tuw.event.presenter
Wiesnet, Franziskus
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
5
-
wb.sciencebranch.value
95
-
item.openairetype
conference presentation
-
item.openairecristype
http://purl.org/coar/resource_type/R60J-J5BD
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
