Position paper: A real semantic web for mathematics deserves a real semantics

P. Corbineau*, H. Geuvers, C. Kaliszyk, J. McKinna, F. Wiedijk

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Position paper: A real semantic web for mathematics deserves a real semantics'. Together they form a unique fingerprint.

INIS

Computer Science