KOPS - The Institutional Repository of the University of Konstanz

Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems

Aufgrund von Vorbereitungen auf eine neue Version von KOPS, können am Montag, 6.2. und Dienstag, 7.2. keine Publikationen eingereicht werden. (Due to preparations for a new version of KOPS, no publications can be submitted on Monday, Feb. 6 and Tuesday, Feb. 7.)

Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

COHL, Howard S., Moritz SCHUBOTZ, Abdou YOUSSEF, André GREINER-PETTER, Jürgen GERHARD, Bonita V. SAUNDERS, Marjorie A. MCCLAIN, Joon BANG, Kevin CHEN, 2017. Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems. 10th International Conference, CICM 2017. Edinburgh, UK, Jul 17, 2017 - Jul 21, 2017. In: GEUVERS, Herman, ed. and others. Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, proceedings. Cham:Springer, pp. 115-131. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-62074-9. Available under: doi: 10.1007/978-3-319-62075-6_9

@inproceedings{Cohl2017-06-28Seman-43227, title={Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems}, year={2017}, doi={10.1007/978-3-319-62075-6_9}, number={10383}, isbn={978-3-319-62074-9}, issn={0302-9743}, address={Cham}, publisher={Springer}, series={Lecture Notes in Artificial Intelligence}, booktitle={Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, proceedings}, pages={115--131}, editor={Geuvers, Herman}, author={Cohl, Howard S. and Schubotz, Moritz and Youssef, Abdou and Greiner-Petter, André and Gerhard, Jürgen and Saunders, Bonita V. and McClain, Marjorie A. and Bang, Joon and Chen, Kevin} }

<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/rdf/resource/123456789/43227"> <dc:contributor>Greiner-Petter, André</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:creator>Bang, Joon</dc:creator> <dc:creator>Schubotz, Moritz</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-09-11T12:11:10Z</dc:date> <dc:contributor>Cohl, Howard S.</dc:contributor> <dcterms:title>Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems</dcterms:title> <dc:creator>Youssef, Abdou</dc:creator> <dc:language>eng</dc:language> <dc:creator>Saunders, Bonita V.</dc:creator> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-09-11T12:11:10Z</dcterms:available> <dc:contributor>Youssef, Abdou</dc:contributor> <dc:contributor>Schubotz, Moritz</dc:contributor> <dc:contributor>Saunders, Bonita V.</dc:contributor> <dc:creator>Gerhard, Jürgen</dc:creator> <dc:creator>McClain, Marjorie A.</dc:creator> <dc:creator>Cohl, Howard S.</dc:creator> <dc:contributor>Chen, Kevin</dc:contributor> <dc:contributor>McClain, Marjorie A.</dc:contributor> <dc:creator>Greiner-Petter, André</dc:creator> <dc:contributor>Gerhard, Jürgen</dc:contributor> <dc:contributor>Bang, Joon</dc:contributor> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/43227"/> <dc:creator>Chen, Kevin</dc:creator> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:issued>2017-06-28</dcterms:issued> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account