KOPS - Das Institutionelle Repositorium der Universität Konstanz

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

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

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

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, 17. Jul 2017 - 21. Jul 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>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto