{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:03Z","timestamp":1750307463228,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,12,16]],"date-time":"2009-12-16T00:00:00Z","timestamp":1260921600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,12,16]]},"DOI":"10.1145\/1838002.1838020","type":"proceedings-article","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T13:15:36Z","timestamp":1280754936000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An intelligent assistant for mathematical production"],"prefix":"10.1145","author":[{"given":"Zahoor ur","family":"Rehman","sequence":"first","affiliation":[{"name":"Al-Khawarizmi Institute of Computer Science, Lahore"}]},{"given":"Muhammad Imran","family":"Sarwar","sequence":"additional","affiliation":[{"name":"Al-Khawarizmi Institute of Computer Science, Lahore"}]},{"given":"Muhammad","family":"Aslam","sequence":"additional","affiliation":[{"name":"UET, Lahore, Pakistan"}]},{"given":"Muhammad","family":"Shaheen","sequence":"additional","affiliation":[{"name":"UET, Lahore, Pakistan"}]}],"member":"320","published-online":{"date-parts":[[2009,12,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1057\/jors.1993.133"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/800045.801604"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15327051hci0502%263_5"},{"volume-title":"Addison-Wesley Publishing Company","year":"1986","author":"Leslie Lamport LATEX","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","unstructured":"Richard Littin 1995 Mathematical expression recognition: Parsing pen\/tablet input in real-time using LR techniques. Master\"s thesis. University of Waikato.  Richard Littin 1995 Mathematical expression recognition: Parsing pen\/tablet input in real-time using LR techniques. Master\"s thesis. University of Waikato."},{"key":"e_1_3_2_1_8_1","unstructured":"Microsoft Corporation 1993 Microsoft Word User\"s Guide. Microsoft Corporation.  Microsoft Corporation 1993 Microsoft Word User\"s Guide. Microsoft Corporation."},{"volume-title":"Proceedings of the 15th National Conference of Artificial Intelligence","year":"1998","author":"Erik G.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1995.480046"},{"key":"e_1_3_2_1_11_1","unstructured":"Stephen Wolfram. 1996. Human Factors in Computing Systems. The Mathematica Book. Wolfram Media\/Cambridge University Press 3rd edition 1996 171--175.  Stephen Wolfram. 1996. Human Factors in Computing Systems. The Mathematica Book. Wolfram Media\/Cambridge University Press 3rd edition 1996 171--175."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Daniel T. Larose. 2005. Discovering Knowledge in Data: An Introduction to Data Mining. John Wiley & Sons Inc. 2005.   Daniel T. Larose. 2005. Discovering Knowledge in Data: An Introduction to Data Mining. John Wiley & Sons Inc. 2005.","DOI":"10.1002\/0471687545"},{"key":"e_1_3_2_1_13_1","unstructured":"http:\/\/www.openmath.org\/overview\/index.html  http:\/\/www.openmath.org\/overview\/index.html"},{"key":"e_1_3_2_1_14_1","unstructured":"http:\/\/www.acm.org\/crossroads\/xrds6-2\/openmath.html  http:\/\/www.acm.org\/crossroads\/xrds6-2\/openmath.html"},{"key":"e_1_3_2_1_15_1","unstructured":"http:\/\/www.wiris.com  http:\/\/www.wiris.com"},{"volume-title":"International Transactions on Computer Science and Engineering. GESTS. 32, 1","year":"2006","author":"Sotiris Kotsiantis","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNC.2007.365"}],"event":{"name":"FIT '09: 7th International Conference on Frontiers of Information Technology","sponsor":["COMSATS Institute of Information Technology","SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"Abbottabad Pakistan","acronym":"FIT '09"},"container-title":["Proceedings of the 7th International Conference on Frontiers of Information Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1838002.1838020","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1838002.1838020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:28Z","timestamp":1750248508000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1838002.1838020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,16]]},"references-count":15,"alternative-id":["10.1145\/1838002.1838020","10.1145\/1838002"],"URL":"https:\/\/doi.org\/10.1145\/1838002.1838020","relation":{},"subject":[],"published":{"date-parts":[[2009,12,16]]},"assertion":[{"value":"2009-12-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}