Old Web
English
Sign In
Acemap
>
Paper
>
An Implementation of Distributed Mathematical Services
An Implementation of Distributed Mathematical Services
1998
Stephen Michael Hess
Christoph G. Jung
Michael Kohlhase
Volker Sorge Fb
Keywords:
Computer-assisted proof
Mathematical software
Automated theorem proving
Existence theorem
Gap theorem
Discrete mathematics
Full employment theorem
Automated proof checking
Fundamental theorem
Mathematics
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
4
Citations
NaN
KQI
[]