SpringerLink
Log in

TGView3D: A System for 3-Dimensional Visualization of Theory Graphs

  • Conference paper
  • First Online:
Intelligent Computer Mathematics (CICM 2020)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 12236))

Included in the following conference series:

Abstract

We describe the TGView3D system, an interactive graph viewer optimized for exploring mathematical knowledge as 3D graphs. To exploit all three spatial dimensions, it extends the commonly-used force-directed layout algorithms with hierarchical components that are more suitable for the typical structure of mathematical knowledge. TGView3D can also communicate with OMDoc-based knowledge management tools in order to offer semantic, mathematics-specific interaction with the graphs.

The authors were supported by DFG grant RA-1872/3-1, KO 2428/13-1 OAF and EU grant Horizon 2020 ERI 676541 OpenDreamKit. They are also grateful for hardware support from and very helpful discussions about layout algorithms with Roberto Grosso and Marc Stamminger as well as Jonas Müller.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
EUR 29.95
Price includes VAT (France)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 42.79
Price includes VAT (France)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
EUR 52.74
Price includes VAT (France)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Bastian, M., Heymann, S., Jacomy, M.: Gephi: an open source software for exploring and manipulating networks. In: Third International AAAI Conference on Weblogs and Social Media (2009)

    Google Scholar 

  2. Codescu, M., Horozal, F., Kohlhase, M., Mossakowski, T., Rabe, F.: Project abstract: logic atlas and integrator (LATIN). In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) CICM 2011. LNCS, vol. 6824, pp. 289–291. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22673-1_24. https://kwarc.info/people/frabe/Research/CHKMR_latinabs_11.pdf

  3. Dwyer, T., Koren, Y., Marriott, K.: Drawing directed graphs using quadratic programming. IEEE Trans. Visual Comput. Graph. 12(4), 536–548 (2006)

    Article  Google Scholar 

  4. Kohlhase, M.: OMDoc - An Open Markup Format for Mathematical Documents [Version 12]. LNAI, vol. 4180. Springer, Heidelberg (2006). https://doi.org/10.1007/11826095. http://omdoc.org/pubs/omdoc1.2.pdf

    Book  Google Scholar 

  5. Rabe, F., Kohlhase, M.: A scalable module system. Inf. Comput. 230, 1–54 (2013). http://kwarc.info/frabe/Research/mmt.pdf

    Article  MathSciNet  Google Scholar 

  6. Rupprecht, M., Kohlhase, M., Müller, D.: A flexible, interactive theory-graph viewer. In: Kohlhase, A., Pollanen, M. (eds.) MathUI 2017: The 12th Workshop on Mathematical User Interfaces (2017). http://kwarc.info/kohlhase/papers/mathui17-tgview.pdf

  7. Unity Game Engine. https://unity3d.com. Accessed 03 July 2019

  8. Wenzel, M.: Interaction with formal mathematical documents in Isabelle/PIDE. In: Kaliszyk, C., Brady, E., Kohlhase, A., Sacerdoti Coen, C. (eds.) CICM 2019. LNCS, vol. 11617. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-23250-4_1

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science, FAU Erlangen-Nürnberg, Erlangen, Germany

    Richard Marcus, Michael Kohlhase & Florian Rabe

Authors
  1. Richard Marcus
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Kohlhase
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Florian Rabe
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Richard Marcus .

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science, Freie Universität Berlin, Berlin, Germany

    Christoph Benzmüller

  2. National Institute of Standards and Technology, Gaithersburg, MD, USA

    Bruce Miller

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Marcus, R., Kohlhase, M., Rabe, F. (2020). TGView3D: A System for 3-Dimensional Visualization of Theory Graphs. In: Benzmüller, C., Miller, B. (eds) Intelligent Computer Mathematics. CICM 2020. Lecture Notes in Computer Science(), vol 12236. Springer, Cham. https://doi.org/10.1007/978-3-030-53518-6_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-53518-6_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-53517-9

  • Online ISBN: 978-3-030-53518-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation