Publikation:

VMEXT : A Visualization Tool for Mathematical Expression Trees

Lade...
Vorschaubild

Dateien

Schubotz_2-1jxndz7y6z46x4.pdf
Schubotz_2-1jxndz7y6z46x4.pdfGröße: 299.53 KBDownloads: 317

Datum

2017

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen in

GEUVERS, Herman, ed. and others. Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Cham: Springer International Publishing, 2017, pp. 340-355. Lecture Notes in Artificial Intelligence. 10383. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-62074-9. Available under: doi: 10.1007/978-3-319-62075-6_24

Zusammenfassung

Mathematical expressions can be represented as a tree consisting of terminal symbols, such as identifiers or numbers (leaf nodes), and functions or operators (non-leaf nodes). Expression trees are an important mechanism for storing and processing mathematical expressions as well as the most frequently used visualization of the structure of mathematical expressions. Typically, researchers and practitioners manually visualize expression trees using general-purpose tools. This approach is laborious, redundant, and error-prone. Manual visualizations represents a user’s notion of what the markup of an expression should be, but not necessarily what the actual markup is. This paper presents VMEXT – a free and open source tool to directly visualize expression trees from parallel Open image in new window . VMEXT simultaneously visualizes the presentation elements and the semantic structure of mathematical expressions to enable users to quickly spot deficiencies in the Content Open image in new window markup that does not affect the presentation of the expression. Identifying such discrepancies previously required reading the verbose and complex Open image in new window markup. VMEXT also allows one to visualize similar and identical elements of two expressions. Visualizing expression similarity can support developers in designing retrieval approaches and enable improved interaction concepts for users of mathematical information retrieval systems. We demonstrate VMEXT’s visualizations in two web-based applications. The first application presents the visualizations alone. The second application shows a possible integration of the visualizations in systems for mathematical knowledge management and mathematical information retrieval. The application converts Open image in new window input to parallel Open image in new window , computes basic similarity measures for mathematical expressions, and visualizes the results using VMEXT.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

Konferenz

10th Conference on Intelligent Computer Mathematics : CICM 2017, 17. Juli 2017 - 21. Juli 2017, Edinburgh, Scotland
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690SCHUBOTZ, Moritz, Norman MEUSCHKE, Thomas HEPP, Howard S. COHL, Bela GIPP, 2017. VMEXT : A Visualization Tool for Mathematical Expression Trees. 10th Conference on Intelligent Computer Mathematics : CICM 2017. Edinburgh, Scotland, 17. Juli 2017 - 21. Juli 2017. In: GEUVERS, Herman, ed. and others. Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Cham: Springer International Publishing, 2017, pp. 340-355. Lecture Notes in Artificial Intelligence. 10383. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-62074-9. Available under: doi: 10.1007/978-3-319-62075-6_24
BibTex
@inproceedings{Schubotz2017VMEXT-41878,
  year={2017},
  doi={10.1007/978-3-319-62075-6_24},
  title={VMEXT : A Visualization Tool for Mathematical Expression Trees},
  number={10383},
  isbn={978-3-319-62074-9},
  issn={0302-9743},
  publisher={Springer International Publishing},
  address={Cham},
  series={Lecture Notes in Artificial Intelligence},
  booktitle={Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  pages={340--355},
  editor={Geuvers, Herman},
  author={Schubotz, Moritz and Meuschke, Norman and Hepp, Thomas and Cohl, Howard S. and Gipp, Bela}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/41878">
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/41878"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/41878/1/Schubotz_2-1jxndz7y6z46x4.pdf"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-03-21T11:12:32Z</dc:date>
    <dc:creator>Hepp, Thomas</dc:creator>
    <dc:creator>Gipp, Bela</dc:creator>
    <dc:contributor>Cohl, Howard S.</dc:contributor>
    <dcterms:abstract xml:lang="eng">Mathematical expressions can be represented as a tree consisting of terminal symbols, such as identifiers or numbers (leaf nodes), and functions or operators (non-leaf nodes). Expression trees are an important mechanism for storing and processing mathematical expressions as well as the most frequently used visualization of the structure of mathematical expressions. Typically, researchers and practitioners manually visualize expression trees using general-purpose tools. This approach is laborious, redundant, and error-prone. Manual visualizations represents a user’s notion of what the markup of an expression should be, but not necessarily what the actual markup is. This paper presents VMEXT – a free and open source tool to directly visualize expression trees from parallel Open image in new window . VMEXT simultaneously visualizes the presentation elements and the semantic structure of mathematical expressions to enable users to quickly spot deficiencies in the Content Open image in new window markup that does not affect the presentation of the expression. Identifying such discrepancies previously required reading the verbose and complex Open image in new window markup. VMEXT also allows one to visualize similar and identical elements of two expressions. Visualizing expression similarity can support developers in designing retrieval approaches and enable improved interaction concepts for users of mathematical information retrieval systems. We demonstrate VMEXT’s visualizations in two web-based applications. The first application presents the visualizations alone. The second application shows a possible integration of the visualizations in systems for mathematical knowledge management and mathematical information retrieval. The application converts Open image in new window input to parallel Open image in new window , computes basic similarity measures for mathematical expressions, and visualizes the results using VMEXT.</dcterms:abstract>
    <dcterms:title>VMEXT : A Visualization Tool for Mathematical Expression Trees</dcterms:title>
    <dc:creator>Meuschke, Norman</dc:creator>
    <dc:language>eng</dc:language>
    <dc:contributor>Gipp, Bela</dc:contributor>
    <dc:rights>terms-of-use</dc:rights>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/41878/1/Schubotz_2-1jxndz7y6z46x4.pdf"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:creator>Schubotz, Moritz</dc:creator>
    <dcterms:issued>2017</dcterms:issued>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Meuschke, Norman</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Hepp, Thomas</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-03-21T11:12:32Z</dcterms:available>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Schubotz, Moritz</dc:contributor>
    <dc:creator>Cohl, Howard S.</dc:creator>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen