{"id":"https://openalex.org/W2001083200","doi":"https://doi.org/10.1145/1838002.1838020","title":"An intelligent assistant for mathematical production","display_name":"An intelligent assistant for mathematical production","publication_year":2009,"publication_date":"2009-12-16","ids":{"openalex":"https://openalex.org/W2001083200","doi":"https://doi.org/10.1145/1838002.1838020","mag":"2001083200"},"language":"en","primary_location":{"id":"doi:10.1145/1838002.1838020","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1838002.1838020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Frontiers of Information Technology","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019273760","display_name":"Zahoor Ur Rehman","orcid":"https://orcid.org/0000-0001-9968-0330"},"institutions":[{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Zahoor ur Rehman","raw_affiliation_strings":["Al-Khawarizmi Institute of Computer Science, Lahore"],"affiliations":[{"raw_affiliation_string":"Al-Khawarizmi Institute of Computer Science, Lahore","institution_ids":["https://openalex.org/I4210087266"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012251044","display_name":"Muhammad Imran Sarwar","orcid":"https://orcid.org/0000-0003-2750-1297"},"institutions":[{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Muhammad Imran Sarwar","raw_affiliation_strings":["Al-Khawarizmi Institute of Computer Science, Lahore"],"affiliations":[{"raw_affiliation_string":"Al-Khawarizmi Institute of Computer Science, Lahore","institution_ids":["https://openalex.org/I4210087266"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014422708","display_name":"Muhammad Aslam","orcid":"https://orcid.org/0000-0002-8977-9457"},"institutions":[{"id":"https://openalex.org/I142732210","display_name":"University of Engineering and Technology Lahore","ror":"https://ror.org/0051w2v06","country_code":"PK","type":"education","lineage":["https://openalex.org/I142732210"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Aslam","raw_affiliation_strings":["UET, Lahore, Pakistan"],"affiliations":[{"raw_affiliation_string":"UET, Lahore, Pakistan","institution_ids":["https://openalex.org/I142732210"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004971414","display_name":"Muhammad Ashraf Shaheen","orcid":"https://orcid.org/0000-0002-5578-5533"},"institutions":[{"id":"https://openalex.org/I142732210","display_name":"University of Engineering and Technology Lahore","ror":"https://ror.org/0051w2v06","country_code":"PK","type":"education","lineage":["https://openalex.org/I142732210"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Shaheen","raw_affiliation_strings":["UET, Lahore, Pakistan"],"affiliations":[{"raw_affiliation_string":"UET, Lahore, Pakistan","institution_ids":["https://openalex.org/I142732210"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5019273760"],"corresponding_institution_ids":["https://openalex.org/I4210087266"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08598906,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12171","display_name":"Open Education and E-Learning","score":0.9735000133514404,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9731000065803528,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8524622917175293},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.6294183135032654},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5689114928245544},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.4668847620487213},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.4563809037208557},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.4486525058746338},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.4314480423927307},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40159523487091064},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.38930752873420715}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8524622917175293},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.6294183135032654},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5689114928245544},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.4668847620487213},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.4563809037208557},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.4486525058746338},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.4314480423927307},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40159523487091064},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.38930752873420715},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1838002.1838020","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1838002.1838020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Frontiers of Information Technology","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1492839618","https://openalex.org/W1545608371","https://openalex.org/W1584059415","https://openalex.org/W1673075472","https://openalex.org/W1990050100","https://openalex.org/W2036931888","https://openalex.org/W2106159418","https://openalex.org/W2107968012","https://openalex.org/W2119470991","https://openalex.org/W2156286766","https://openalex.org/W4206209869","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4232403550","https://openalex.org/W623607250","https://openalex.org/W4245429118","https://openalex.org/W4205110281","https://openalex.org/W4212927854","https://openalex.org/W4211151614","https://openalex.org/W4244798043","https://openalex.org/W4361866086","https://openalex.org/W4251969024","https://openalex.org/W4250793136"],"abstract_inverted_index":{"Many":[0],"functionalities":[1],"like":[2],"text":[3],"auto":[4],"filling,":[5],"spell":[6],"checking,":[7],"thesaurus,":[8],"translation,":[9],"grammar,":[10],"and":[11,72,146,153],"many":[12],"others,":[13],"have":[14,25],"been":[15,26],"introduced":[16],"to":[17,28,37,57,69,78,82,139],"check":[18],"textual":[19],"document":[20],"production":[21],"but":[22],"no":[23],"feature":[24],"integrated":[27],"any":[29,99],"computer":[30,61],"application":[31],"which":[32,63,121],"can":[33,91],"help":[34],"a":[35,80,84,111,118],"user":[36],"produce":[38,70],"own":[39],"mathematical":[40],"formula":[41],"or":[42,97],"from":[43],"the":[44,51,108,115,148],"existing":[45],"reusable":[46],"shared":[47],"resources.":[48],"We":[49],"address":[50],"issue":[52],"by":[53,66,95,98],"developing":[54],"an":[55,127],"assistant":[56],"be":[58,92,137],"incorporated":[59,138],"into":[60],"applications":[62],"is":[64,77,105,122],"used":[65],"different":[67],"users":[68,141],"equations":[71],"statements.":[73],"Our":[74],"main":[75],"objective":[76],"facilitate":[79,140],"mathematician":[81],"build":[83],"database":[85],"of":[86,100,110,117,144,151],"well":[87],"structured":[88],"formulae":[89],"that":[90],"reused":[93],"either":[94],"him":[96],"his":[101],"colleagues.":[102],"The":[103],"assistance":[104],"provided":[106],"on":[107],"basis":[109],"context":[112],"stored":[113],"in":[114],"form":[116],"knowledge":[119,145],"base":[120],"dynamically":[123],"enhanced":[124],"/updated":[125],"with":[126],"online":[128],"learning":[129],"functionality.":[130],"Concurrent":[131],"Versioning":[132],"System":[133],"(CVS)":[134],"approach":[135],"will":[136],"for":[142],"sharing":[143],"exploiting":[147],"potential":[149],"advantage":[150],"internet":[152],"distributed":[154],"computing.":[155]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}