Graph explorer

Martin Riener

Martin Riener contributes to research discovery and scholarly infrastructure.

4 nodes3 linksoverview previewMartin Riener
4 nodes3 links
Martin Riener4 visible / 4 total nodes / 3 links
AuthorshipAuthorshipAuthorshipAMartin RienerResearcherWAutomated Instantiation...preprint / 2022WAdvanced Proof Viewing ...preprint / 2014WPROOFTOOL: a GUI for th...preprint / 2013
PersonSignal 103 links

Martin Riener

Researcher

Open