User Portlet

Botan Cevik

Featured Contributor

Discussions

[WSS25] Classifying mathematical statements via using Metamath dependency graph ![Classifying mathematical statements via using Metamath dependency graph][1] &[Wolfram Notebook][2] [1]: https://community.wolfram.com//c/portal/getImageAttachment?filename=sbthDependencies.png&userId=3486618 [2]:... AUTHOR: Botan Cevik 1782VIEWS 1REPLIES 10 months ago