An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant?
1998 · 2 citations
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
143
Papers
1.8K
Citations
21
h-index
40
i10-index
Helmut Horacek is an academic researcher from German Research Centre for Artificial Intelligence. The author has contributed to research in topics: Natural Language Processing Techniques & Speech and dialogue systems & Semantic Web and Ontologies. The author has an h-index of 21, co-authored 122 publications.
Click to start Chat