Concepedia

Arnold Kirsch

AK

Statistics

Publications

2

Citations

107

H-Index

2

Active since

1991

Affiliations

University of Kassel(Current)

Arnold Kirsch is an author at University of Kassel specializing in verification, engineering, and automated reasoning.

Top concepts

Publications per year

1991–2000

2

Publications

2

Preformal proving: Examples and reflections

Werner Blum, Arnold Kirsch · Educational Studies in Mathematics · 1991 · 76 citations

, , +5

Aspects of simplification in mathematics teaching

Arnold Kirsch, John Scherk · 2000 · 31 citations

, , +3

1–2 of 2