{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:22Z","timestamp":1750306882288,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,26]],"date-time":"2013-06-26T00:00:00Z","timestamp":1372204800000},"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":[[2013,6,26]]},"DOI":"10.1145\/2465506.2466576","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T19:13:21Z","timestamp":1372187601000},"page":"69-76","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A term rewriting system for the calculus of moving surfaces"],"prefix":"10.1145","author":[{"given":"Mark","family":"Boady","sequence":"first","affiliation":[{"name":"Drexel University, Philadelphia, PA, USA"}]},{"given":"Pavel","family":"Grinfeld","sequence":"additional","affiliation":[{"name":"Drexel University, Philadelphia, PA, USA"}]},{"given":"Jeremy","family":"Johnson","sequence":"additional","affiliation":[{"name":"Drexel University, Philadelphia, PA, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,6,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-3406-1_2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(85)80019-5"},{"key":"e_1_3_2_1_3_1","unstructured":"M. Boady P. Grinfeld and J. Johnson. Laplace eigenvalues on the ellipse and the symbolic calculus of moving surfaces. In preparation. M. Boady P. Grinfeld and J. Johnson. Laplace eigenvalues on the ellipse and the symbolic calculus of moving surfaces. In preparation."},{"issue":"2","key":"e_1_3_2_1_4_1","article-title":"Boundary variation of poisson's equation: a model problem for symbolic calculus of moving surfaces","volume":"6","author":"Boady M.","year":"2011","journal-title":"Int. J. Math. Comp. Sci."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1088\/0264-9381\/28\/22\/225024"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1759148.1759156"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-010-9681-6"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1111\/j.1467-9590.2010.00485.x","article-title":"Hamiltonian dynamic equations for fluid films","volume":"125","author":"Grinfeld P.","year":"2010","journal-title":"Stud. Appl. Math."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.105.137802"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2004.10.010"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmaa.2011.06.035"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0033-569X-06-01001-2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nuclphysb.2008.08.008"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1999.12005065"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322230"},{"volume-title":"Stanford University","year":"1980","author":"Huet G.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"D. Joseph. Parameter and domain dependence of eigenvalues of elliptic partial differential equations. 24(5):325--361 1967. D. Joseph. Parameter and domain dependence of eigenvalues of elliptic partial differential equations. 24(5):325--361 1967.","DOI":"10.1007\/BF00253151"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/800017.800519"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1088\/0264-9381\/25\/17\/175024"},{"key":"e_1_3_2_1_20_1","first-page":"263","volume-title":"Computational Problems in Abstract Algebra","author":"Knuth D.","year":"1970"},{"volume-title":"Dover Publications","year":"1977","author":"Levi-Civita T.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1143\/PTP.109.591"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1088\/0264-9381\/28\/12\/125011"},{"volume-title":"Canada. Maple User Manual","year":"2012","author":"Maplesoft","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2008.05.009"},{"key":"e_1_3_2_1_26_1","unstructured":"MathTensor Inc. Mathtensor -- tensor analysis for mathematica. http:\/\/smc.vnet.net\/MathTensor.html. MathTensor Inc. Mathtensor -- tensor analysis for mathematica. http:\/\/smc.vnet.net\/MathTensor.html."},{"volume-title":"Dover Publications","year":"1957","author":"McConnell A.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","unstructured":"K. Peeters. Cadabra: reference guide and tutorial. http:\/\/cadabra.phi-sci.com\/cadabra.pdf June 2008. K. Peeters. Cadabra: reference guide and tutorial. http:\/\/cadabra.phi-sci.com\/cadabra.pdf June 2008."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevD.84.024026"},{"volume-title":"Inc.","year":"1949","author":"Synge J.","key":"e_1_3_2_1_30_1"},{"volume-title":"Academic Press","year":"1965","author":"Thomas T.","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_1","unstructured":"Wolfram Research Champaign IL. Wolfram Mathematica 9 Documentation Center 2012. Wolfram Research Champaign IL. Wolfram Mathematica 9 Documentation Center 2012."}],"event":{"name":"ISSAC'13: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Boston Maine USA","acronym":"ISSAC'13"},"container-title":["Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465506.2466576","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2465506.2466576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:36Z","timestamp":1750234716000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465506.2466576"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,26]]},"references-count":32,"alternative-id":["10.1145\/2465506.2466576","10.1145\/2465506"],"URL":"https:\/\/doi.org\/10.1145\/2465506.2466576","relation":{},"subject":[],"published":{"date-parts":[[2013,6,26]]},"assertion":[{"value":"2013-06-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}