{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:26:46Z","timestamp":1725902806850},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319620749"},{"type":"electronic","value":"9783319620756"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-62075-6_9","type":"book-chapter","created":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T10:58:50Z","timestamp":1498561130000},"page":"115-131","source":"Crossref","is-referenced-by-count":7,"title":["Semantic Preserving Bijective Mappings of\u00a0Mathematical Formulae Between Document Preparation Systems and Computer Algebra\u00a0Systems"],"prefix":"10.1007","author":[{"given":"Howard S.","family":"Cohl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moritz","family":"Schubotz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdou","family":"Youssef","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Greiner-Petter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Gerhard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bonita V.","family":"Saunders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marjorie A.","family":"McClain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joon","family":"Bang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,28]]},"reference":[{"key":"9_CR1","unstructured":"DLMF Standard Reference Tables. http:\/\/dlmftables.uantwerpen.be\/ . Joint project of NIST ACMD and U. Antwerp\u2019s CMA Group, Seen June 2017"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Backeljauw, F., Cuyt, A.: Algorithm 895: a continued fractions package for special functions. Trans. Math. Softw. 36(3), Art. 15, 20 (2009). Association for Computing Machinery","DOI":"10.1145\/1527286.1527289"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-319-20615-8_18","volume-title":"Intelligent Computer Mathematics","author":"HS Cohl","year":"2015","unstructured":"Cohl, H.S., Schubotz, M., McClain, M.A., Saunders, B.V., Zou, C.Y., Mohammed, A.S., Danoff, A.A.: Growing the digital repository of mathematical formulae with generic LaTeX\u00a0sources. In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V. (eds.) CICM 2015. LNCS, vol. 9150, pp. 280\u2013287. Springer, Cham (2015). doi: 10.1007\/978-3-319-20615-8_18"},{"key":"9_CR4","volume-title":"Handbook of Continued Fractions for Special Functions","author":"A Cuyt","year":"2008","unstructured":"Cuyt, A., Petersen, V.B., Verdonk, B., Waadeland, H., Jones, W.B.: Handbook of Continued Fractions for Special Functions. Springer, New York (2008). With contributions by Franky Backeljauw and Catherine Bonan-Hamada, Verified numerical output by Stefan Becuwe and Cuyt"},{"key":"9_CR5","unstructured":"Olver, F.W.J., Olde Daalhuis, A.B., Lozier, D.W., Schneider, B.I., Boisvert, R.F., Clark, C.W., Miller, B.R., Saunders, B.V. (eds.) NIST Digital Library of Mathematical Functions. http:\/\/dlmf.nist.gov\/ . Release 1.0.15 of 01 June 2017"},{"key":"9_CR6","unstructured":"Weisstein, E.: eCF Encoding Continued Fraction Knowledge in Computational Form. http:\/\/www.wolfram.com\/broadcast\/video.php?c=385&v=1342 . Seen June 2017"},{"key":"9_CR7","unstructured":"Ginev, D.: LaTeXML-Plugin-MathSyntax. https:\/\/github.com\/dginev\/LaTeXML-Plugin-MathSyntax\/ . Seen June 2017"},{"key":"9_CR8","unstructured":"Bernardin, L., Chin, P., DeMarco, P., Geddes, K.O., Hare, D.E.G., Heal, K.M., Labahn, G., May, J.P., McCarron, J., Monagan, M.B., Ohashi, D., Vorkoetter, S.M.: Maple Programming Guide. Maplesoft, a division of Waterloo Maple Inc. (2016)"},{"key":"9_CR9","unstructured":"Maplesoft. OpenMaple API, Seen March 2017. https:\/\/www.maplesoft.com\/support\/help\/Maple\/view.aspx?path=OpenMaple . Since Maple 9, Seen June 2017"},{"key":"9_CR10","unstructured":"Maplesoft. Produce output suitable for LaTeX2e. http:\/\/www.maplesoft.com\/support\/help\/Maple\/view.aspx?path=latex . Since version Maple 18"},{"key":"9_CR11","unstructured":"Miller, B.R.: Drafting DLMF Content Dictionaries. Talk presented at the OpenMath Workshop of the 9th Conference on Intelligent Computer Mathematics, CICM 2016 (2016)"},{"key":"9_CR12","unstructured":"Miller, B.R.: LaTeXML: A to XML converter. http:\/\/dlmf.nist.gov\/LaTeXML\/ . Seen June 2017"},{"issue":"1\u20133","key":"9_CR13","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/A:1022967814992","volume":"38","author":"BR Miller","year":"2003","unstructured":"Miller, B.R., Youssef, A.: Technical aspects of the digital library of mathematical functions. Ann. Math. Artif. Intell. 38(1\u20133), 121\u2013136 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9_CR14","unstructured":"Pagel, R., Schubotz, M.: Mathematical language processing project. In: CICM Workshops. CEUR Workshop Proceedings, vol. 1186. CEUR-WS.org (2014)"},{"key":"9_CR15","unstructured":"Wolfram Research. Generating and Importing TeX. https:\/\/reference.wolfram.com\/language\/tutorial\/GeneratingAndImportingTeX.html"},{"key":"9_CR16","unstructured":"S. Wolfram. Computational Knowledge of Continued Fractions. http:\/\/blog.wolframalpha.com\/2013\/05\/16\/computational-knowledge-of-continued-fractions . Seen June 2017"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Schubotz, M., Grigoriev, A., Cohl, H.S., Meuschke, N., Gipp, B., Youssef, A., Leich, M., Markl, V.: Semantification of identifiers in mathematics for better math information retrieval. In: The 39th Annual ACM Special Interest Group on Information Retrieval, Pisa, Tuscany, Italy (2016)","DOI":"10.1145\/2911451.2911503"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-319-08434-3_17","volume-title":"Intelligent Computer Mathematics","author":"M Schubotz","year":"2014","unstructured":"Schubotz, M., Wicke, G.: Mathoid:\u00a0robust, scalable, fast and accessible math rendering for wikipedia. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 224\u2013235. Springer, Cham (2014). doi: 10.1007\/978-3-319-08434-3_17"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Youssef, A.: Part-of-math tagging and applications. Submitted to the 10th Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, Scotland, July 2017","DOI":"10.1007\/978-3-319-62075-6_25"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62075-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,10]],"date-time":"2020-10-10T19:55:32Z","timestamp":1602359732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-62075-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319620749","9783319620756"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62075-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}