Old Web
English
Sign In
Acemap
>
authorDetail
>
Volker Sorge Fb
Volker Sorge Fb
Computer-assisted proof
Mathematical software
Automated theorem proving
Existence theorem
Gap theorem
1
Papers
4
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
An Implementation of Distributed Mathematical Services
1998
Stephen Michael Hess
Christoph G. Jung
Michael Kohlhase
Volker Sorge Fb
Show All
Source
Cite
Save
Citations (4)
1