Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
TGView3D: a system for 3-dimensional visualization of theory graphs - MaRDI portal

TGView3D: a system for 3-dimensional visualization of theory graphs

From MaRDI portal

Publication:2219412

Jump to:navigation, search

DOI10.1007/978-3-030-53518-6_20zbMath1455.68267OpenAlexW3043089992MaRDI QIDQ2219412

Michael Kohlhase, Florian Rabe, Richard Marcus

Publication date: 20 January 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53518-6_20

Mathematics Subject Classification ID

Mathematical knowledge management (68V30)

Related Items (1)

An integrated web platform for the Mizar Mathematical Library

Uses Software

This page was built for publication: TGView3D: a system for 3-dimensional visualization of theory graphs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2219412&oldid=14756349"