{"id":"https://openalex.org/W7100710110","doi":null,"title":"The Utility of OpenMath","display_name":"The Utility of OpenMath","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W7100710110"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.188.7787","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.7787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://staff.bath.ac.uk/masjhd/Drafts/MKM2007-Davenport.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"James H. Davenport","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"James H. Davenport","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.60925752,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9810000061988831,"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.9810000061988831,"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/T13806","display_name":"Mathematical and Computational Methods","score":0.00860000029206276,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.002899999963119626,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/openmath","display_name":"OpenMath","score":1.0},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"denotational semantics","score":0.5320000052452087},{"id":"https://openalex.org/keywords/mathml","display_name":"MathML","score":0.7319999933242798},{"id":"https://openalex.org/keywords/extensibility","display_name":"extensibility","score":0.7350000143051147},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.44600000977516174},{"id":"https://openalex.org/keywords/mathematical-notation","display_name":"mathematical notation","score":0.5730000138282776},{"id":"https://openalex.org/keywords/semantic-interoperability","display_name":"semantic interoperability","score":0.40700000524520874}],"concepts":[{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.675000011920929},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.6474999785423279},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6226999759674072},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6118999719619751},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.6110000014305115},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4948999881744385},{"id":"https://openalex.org/C24457124","wikidata":"https://www.wikidata.org/wiki/Q1140046","display_name":"Mathematical notation","level":3,"score":0.49230000376701355},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.44830000400543213},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4253000020980835},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3167000114917755},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2946000099182129},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28380000591278076},{"id":"https://openalex.org/C200065993","wikidata":"https://www.wikidata.org/wiki/Q3954981","display_name":"Computational semantics","level":4,"score":0.2712000012397766},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.2700999975204468},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2694999873638153}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.188.7787","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.7787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://staff.bath.ac.uk/masjhd/Drafts/MKM2007-Davenport.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1967459640","https://openalex.org/W7098148535","https://openalex.org/W1939093913","https://openalex.org/W1972533543","https://openalex.org/W2049222190","https://openalex.org/W2058911426","https://openalex.org/W270574664","https://openalex.org/W1985689249","https://openalex.org/W7127546626","https://openalex.org/W7095437031"],"abstract_inverted_index":{"Abstract.":[0],"OpenMath":[1,129,154,172,188],"[5]":[2],"is":[3,58,61,94,175],"a":[4,141],"standard":[5,64],"for":[6,65],"representing":[7,66],"the":[8,26,29,49,86,128,133,163,178,187,192],"semantics":[9,122],"of":[10,28,54,109,144,166,170,177,207],"mathematical":[11,67],"objects.":[12,130],"It":[13,101],"differs":[14],"from":[15,32],"\u2018Presentation":[16],"\u2019":[17,34],"MathML":[18,35,97],"[7]":[19],"in":[20,36,81,127,140,195],"not":[21],"being":[22,37],"directly":[23],"concerned":[24],"with":[25,69],"presentation":[27],"object,":[30],"and":[31,120],"\u2018Content":[33],"extensible.":[38],"How":[39],"should":[40],"these":[41],"extensions":[42],"be":[43,75],"performed":[44],"so":[45],"as":[46],"to":[47,74,117,123,136,162,191,204],"maximise":[48],"utility":[50],"(which":[51],"includes":[52],"presentation)":[53],"OpenMath?":[55,59],"1":[56,151],"What":[57],"\u201cOpenMath":[60],"an":[62,106,153,171],"emerging":[63],"objects":[68],"their":[70],"semantics,":[71],"allowing":[72],"them":[73],"exchanged":[76],"between":[77],"computer":[78],"programs,":[79],"stored":[80],"databases,":[82],"or":[83],"published":[84],"on":[85],"worldwide":[87],"web.":[88],"\u201d":[89,146],"1.":[90],"In":[91],"particular,":[92],"Open-Math":[93],"extensible,":[95],"unlike":[96],"2.0":[98],"2":[99],"[7].":[100],"achieves":[102],"this":[103],"by":[104,186],"having":[105],"extensible":[107],"collection":[108],"Content":[110],"Dictionaries.":[111],"\u201cContent":[112],"Dictionaries":[113],"(CDs)":[114],"are":[115],"used":[116,126,135],"assign":[118],"informal":[119],"formal":[121,164],"all":[124],"symbols":[125,134],"They":[131],"define":[132],"represent":[137],"concepts":[138],"arising":[139],"particular":[142],"area":[143],"mathematics":[145],"[5,":[147,180],"section":[148,196],"1.3].":[149],"Notation":[150],"By":[152],"CD":[155],"we":[156,211],"will":[157],"mean":[158],"any":[159],"document":[160],"conforming":[161],"syntax":[165],"[5].":[167],"The":[168],"status":[169],"content":[173],"dictionary":[174],"one":[176],"following":[179],"Section":[181],"4.2.1]:":[182],"\u2013":[183],"official:":[184],"approved":[185],"society":[189],"according":[190],"procedure":[193],"defined":[194],"4.5":[197],"(of":[198],"[5]);":[199],"This":[200],"paper":[201],"owes":[202],"much":[203],"some":[205],"questions":[206],"Paul":[208],"Libbrecht,":[209],"when":[210],"were":[212],"both":[213],"at":[214]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-27T00:00:00"}