{"id":"https://openalex.org/W2124375114","doi":"https://doi.org/10.1145/2465506.2466576","title":"A term rewriting system for the calculus of moving surfaces","display_name":"A term rewriting system for the calculus of moving surfaces","publication_year":2013,"publication_date":"2013-06-25","ids":{"openalex":"https://openalex.org/W2124375114","doi":"https://doi.org/10.1145/2465506.2466576","mag":"2124375114"},"language":"en","primary_location":{"id":"doi:10.1145/2465506.2466576","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2465506.2466576","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation","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/A5013222293","display_name":"Mark Boady","orcid":null},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mark Boady","raw_affiliation_strings":["Drexel University, Philadelphia, PA, USA","Drexel University, Philadelphia, PA, USA;"],"affiliations":[{"raw_affiliation_string":"Drexel University, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I72816309"]},{"raw_affiliation_string":"Drexel University, Philadelphia, PA, USA;","institution_ids":["https://openalex.org/I72816309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045206343","display_name":"Pavel Grinfeld","orcid":null},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pavel Grinfeld","raw_affiliation_strings":["Drexel University, Philadelphia, PA, USA","Drexel University, Philadelphia, PA, USA;"],"affiliations":[{"raw_affiliation_string":"Drexel University, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I72816309"]},{"raw_affiliation_string":"Drexel University, Philadelphia, PA, USA;","institution_ids":["https://openalex.org/I72816309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068650358","display_name":"Jeremy Johnson","orcid":"https://orcid.org/0000-0001-8333-5532"},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeremy Johnson","raw_affiliation_strings":["Drexel University, Philadelphia, PA, USA","Drexel University, Philadelphia, PA, USA;"],"affiliations":[{"raw_affiliation_string":"Drexel University, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I72816309"]},{"raw_affiliation_string":"Drexel University, Philadelphia, PA, USA;","institution_ids":["https://openalex.org/I72816309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5013222293"],"corresponding_institution_ids":["https://openalex.org/I72816309"],"apc_list":null,"apc_paid":null,"fwci":0.3152,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62914026,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"69","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9513999819755554,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9513999819755554,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11574","display_name":"Artificial Intelligence in Games","score":0.9359999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/rewriting","display_name":"Rewriting","score":0.7701396346092224},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.7094730138778687},{"id":"https://openalex.org/keywords/coordinate-system","display_name":"Coordinate system","score":0.661797821521759},{"id":"https://openalex.org/keywords/tensor-calculus","display_name":"Tensor calculus","score":0.5893325805664062},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5656066536903381},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.5371993184089661},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5165440440177917},{"id":"https://openalex.org/keywords/tensor","display_name":"Tensor (intrinsic definition)","score":0.4427555501461029},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3800239562988281},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3682068884372711},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.22429513931274414},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1931576430797577},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1849181056022644},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14633700251579285},{"id":"https://openalex.org/keywords/tensor-field","display_name":"Tensor field","score":0.07864812016487122}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7701396346092224},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.7094730138778687},{"id":"https://openalex.org/C80551277","wikidata":"https://www.wikidata.org/wiki/Q11210","display_name":"Coordinate system","level":2,"score":0.661797821521759},{"id":"https://openalex.org/C90952326","wikidata":"https://www.wikidata.org/wiki/Q3650511","display_name":"Tensor calculus","level":4,"score":0.5893325805664062},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5656066536903381},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.5371993184089661},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5165440440177917},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.4427555501461029},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3800239562988281},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3682068884372711},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.22429513931274414},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1931576430797577},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1849181056022644},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14633700251579285},{"id":"https://openalex.org/C166077713","wikidata":"https://www.wikidata.org/wiki/Q1758924","display_name":"Tensor field","level":3,"score":0.07864812016487122},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C520416788","wikidata":"https://www.wikidata.org/wiki/Q5419229","display_name":"Exact solutions in general relativity","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2465506.2466576","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2465506.2466576","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1571151540","https://openalex.org/W1598625331","https://openalex.org/W1968386045","https://openalex.org/W1978433134","https://openalex.org/W1979058129","https://openalex.org/W1979101142","https://openalex.org/W1982761979","https://openalex.org/W1999700195","https://openalex.org/W2001340150","https://openalex.org/W2009564191","https://openalex.org/W2037578988","https://openalex.org/W2051566614","https://openalex.org/W2051639010","https://openalex.org/W2075544926","https://openalex.org/W2079887183","https://openalex.org/W2083977009","https://openalex.org/W2092968028","https://openalex.org/W2094423071","https://openalex.org/W2094748339","https://openalex.org/W2098155852","https://openalex.org/W2104973867","https://openalex.org/W2135215122","https://openalex.org/W2950028813","https://openalex.org/W3038653635","https://openalex.org/W3105844349","https://openalex.org/W3123807591","https://openalex.org/W4210958774","https://openalex.org/W4248547811","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2980515357","https://openalex.org/W2897100915","https://openalex.org/W1592871285","https://openalex.org/W2116359181","https://openalex.org/W1482849172","https://openalex.org/W2019757869","https://openalex.org/W1966001767","https://openalex.org/W2037271374","https://openalex.org/W2059256454","https://openalex.org/W1848715260"],"abstract_inverted_index":{"The":[0,36,53],"calculus":[1,14],"of":[2,26,80,124],"moving":[3],"surfaces":[4],"(CMS)":[5],"is":[6,38],"an":[7],"analytic":[8],"framework":[9],"that":[10,49,57,91],"extends":[11],"the":[12,21,42,78,130],"tensor":[13],"to":[15,23,40,89,127],"deforming":[16],"manifolds.":[17],"We":[18,82],"have":[19,83],"applied":[20],"CMS":[22,44,54,108],"a":[24,31,47,74,111],"number":[25],"boundary":[27],"variation":[28],"problems":[29,88,123],"using":[30],"Term":[32],"Rewrite":[33],"System":[34],"(TRS).":[35],"TRS":[37,102],"used":[39],"convert":[41],"initial":[43],"expression":[45],"into":[46,122],"form":[48],"can":[50],"be":[51],"evaluated.":[52],"produces":[55],"expressions":[56,109],"are":[58],"true":[59],"for":[60,106],"all":[61],"coordinate":[62,113],"spaces.":[63],"This":[64],"makes":[65],"it":[66],"very":[67],"powerful":[68],"but":[69],"applications":[70],"remain":[71],"limited":[72],"by":[73],"rapid":[75],"growth":[76],"in":[77,129],"size":[79],"expressions.":[81],"extended":[84],"results":[85],"on":[86,110],"existing":[87],"orders":[90],"had":[92],"been":[93],"previously":[94],"intractable.":[95],"In":[96],"this":[97],"paper,":[98],"we":[99],"describe":[100],"our":[101,104],"and":[103],"method":[105],"evaluating":[107],"specific":[112],"system.":[114],"Our":[115],"work":[116],"has":[117],"already":[118],"provided":[119],"new":[120],"insight":[121],"current":[125],"interest":[126],"researchers":[128],"CMS.":[131]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}