The following pages link to Armin Fiedler (Q2779420):
Displaying 12 items.
- (Q2779421) (← links)
- (Q2847390) (← links)
- Argumentation within deductive reasoning (Q3423156) (← links)
- (Q4428312) (← links)
- (Q4539626) (← links)
- Presenting machine-found proofs (Q4647515) (← links)
- (Q4664927) (← links)
- (Q4809051) (← links)
- Ωmega: Towards a mathematical assistant (Q5234706) (← links)
- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems (Q5428269) (← links)
- Mechanizing Mathematical Reasoning (Q5717449) (← links)
- Mathematical Knowledge Management (Q5898514) (← links)
