Armin Fiedler
From MaRDI portal
Person:2779420
Available identifiers
zbMath Open fiedler.arminMaRDI QIDQ2779420
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Ωmega: Towards a mathematical assistant | 2019-10-01 | Paper |
| Presenting machine-found proofs | 2019-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847390 | 2013-09-09 | Paper |
| Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems | 2007-11-28 | Paper |
| Argumentation within deductive reasoning | 2007-02-20 | Paper |
| Mathematical Knowledge Management | 2007-02-12 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4664927 | 2005-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809051 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428312 | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539626 | 2002-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2779421 | 2002-04-15 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Armin Fiedler
