Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems. Greiner-Petter, A. In Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics (CICM), volume 2307, Hagenberg, Austria, 2018. CEUR-WS.org.
![Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @inproceedings{BibbaseGreinerPetterD18,
address = {Hagenberg, Austria},
title = {Automatic {Mathematical} {Information} {Retrieval} to {Perform} {Translations} up to {Computer} {Algebra} {Systems}},
volume = {2307},
url = {http://ceur-ws.org/Vol-2307/DP1.pdf},
booktitle = {Joint {Proceedings} of the {CME}-{EI}, {FMM}, {CAAT}, {FVPS}, {M3SRD}, {OpenMath} {Workshops}, {Doctoral} {Program} and {Work} in {Progress} at the {Conference} on {Intelligent} {Computer} {Mathematics} ({CICM})},
publisher = {CEUR-WS.org},
author = {Greiner-Petter, Andre},
year = {2018},
}Downloads: 0
{"_id":"qnx7rHAM7v5zej6Mc","bibbaseid":"greinerpetter-automaticmathematicalinformationretrievaltoperformtranslationsuptocomputeralgebrasystems-2018","author_short":["Greiner-Petter, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Hagenberg, Austria","title":"Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems","volume":"2307","url":"http://ceur-ws.org/Vol-2307/DP1.pdf","booktitle":"Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics (CICM)","publisher":"CEUR-WS.org","author":[{"propositions":[],"lastnames":["Greiner-Petter"],"firstnames":["Andre"],"suffixes":[]}],"year":"2018","bibtex":"@inproceedings{BibbaseGreinerPetterD18,\n\taddress = {Hagenberg, Austria},\n\ttitle = {Automatic {Mathematical} {Information} {Retrieval} to {Perform} {Translations} up to {Computer} {Algebra} {Systems}},\n\tvolume = {2307},\n\turl = {http://ceur-ws.org/Vol-2307/DP1.pdf},\n\tbooktitle = {Joint {Proceedings} of the {CME}-{EI}, {FMM}, {CAAT}, {FVPS}, {M3SRD}, {OpenMath} {Workshops}, {Doctoral} {Program} and {Work} in {Progress} at the {Conference} on {Intelligent} {Computer} {Mathematics} ({CICM})},\n\tpublisher = {CEUR-WS.org},\n\tauthor = {Greiner-Petter, Andre},\n\tyear = {2018},\n}\n\n","author_short":["Greiner-Petter, A."],"key":"BibbaseGreinerPetterD18","id":"BibbaseGreinerPetterD18","bibbaseid":"greinerpetter-automaticmathematicalinformationretrievaltoperformtranslationsuptocomputeralgebrasystems-2018","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-2307/DP1.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/7689706/collections/IBJGRWZX/items?key=R0b523dc3oYLxTGap1H4YXgd&format=bibtex&limit=100","dataSources":["3wTLgXcXueP5mYbfu","cZ8X4Ke5so9b7csrB","wZtCXbB8M6GYSQHMx","QGwcHf7xnb5mCCQi7"],"keywords":[],"search_terms":["automatic","mathematical","information","retrieval","perform","translations","computer","algebra","systems","greiner-petter"],"title":"Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems","year":2018}