Artur Korniłowicz
1PUBLICATIONS
2CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Nov 10, 2023
MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs.Dominik Tomaszuk, Łukasz Szeremeta, Artur Korniłowicz
Pageof 1
