{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T04:03:05Z","timestamp":1748145785624,"version":"3.41.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1023\/a:1025811105984","type":"journal-article","created":{"date-parts":[[2003,10,24]],"date-time":"2003-10-24T19:29:37Z","timestamp":1067023777000},"page":"367-398","source":"Crossref","is-referenced-by-count":3,"title":["Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation"],"prefix":"10.1007","volume":"10","author":[{"given":"Thomas","family":"Ellman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Deak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Fotinatos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5145051_CR1","doi-asserted-by":"crossref","unstructured":"Akers, R., Baffes, P., Kant, E., Randall, C., Steinberg, S., and Young, R. 1998. Automatic synthesis of numerical codes for solving partial differential equations. Mathematics and Computers in Simulation, 45.","DOI":"10.1016\/S0378-4754(97)00082-7"},{"key":"5145051_CR2","unstructured":"Baruh, H. 1999. Analytical Dynamics. WCB\/McGraw-Hill."},{"key":"5145051_CR3","volume-title":"Proceedings of the Thirteenth Automated Software Engineering Conference","author":"L. Blaine","year":"1998","unstructured":"Blaine, L., Gilham, L., Liu, J., Smith, D., and Westfold, S. 1998. Planware-Domain-specific synthesis of high-performance schedulers. Proceedings of the Thirteenth Automated Software Engineering Conference, Los Alamitos, CA: IEEE Computer Society Press."},{"key":"5145051_CR4","unstructured":"Ellman, T. and Murata, T. 1998. Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations. Automated Software Engineering, 5(3)."},{"key":"5145051_CR5","doi-asserted-by":"crossref","unstructured":"Ellman, T., Keane, J., Banerjee, A., and Armhold, G. 1998. A transformation system for interactive reformulation of design optimization strategies. Research in Engineering Design, 10(1).","DOI":"10.1007\/BF01580268"},{"key":"5145051_CR6","unstructured":"Ellman, T. 2003. Specification and synthesis of hybrid automata for physics-based animation. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering, Montreal, Canada. In press."},{"key":"5145051_CR7","doi-asserted-by":"crossref","unstructured":"Ellman, T., Deak, R., and Fotinatos, J. 2002. Knowledge-based synthesis of numerical simulation programs for rigid-body systems in physics-based animation. Proceedings of the 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK.","DOI":"10.1109\/ASE.2002.1114998"},{"key":"5145051_CR8","doi-asserted-by":"crossref","unstructured":"Fischer, B. and Schumann, J. 2003. AutoBayes: A system for generating data analysis programs from statistical models. Journal of Functional Programming, In press.","DOI":"10.1017\/S0956796802004562"},{"key":"5145051_CR9","unstructured":"Gray, A., Fischer, B., Schumann, J., and Buntine, W. 2002. Deriving statistical algorithms automatically: The EM family and beyond. Proceedings of the Conference on Neural Information Processing Systems, Vancouver, Canada."},{"key":"5145051_CR10","doi-asserted-by":"crossref","unstructured":"Hartl, R., Sethi, S., and Vickson, R. 1995. A survey of the maximum principles for optimal control problems with state constraints. SIAM Review, 37(2).","DOI":"10.1137\/1037043"},{"key":"5145051_CR11","volume-title":"Computer-aided kinematics and dynamics of mechanical systems","author":"E. Haug","year":"1989","unstructured":"Haug, E. 1989. Computer-aided kinematics and dynamics of mechanical systems. Boston, MA: Allyn & Bacon."},{"key":"5145051_CR12","doi-asserted-by":"crossref","unstructured":"Kant, E. 1993. Synthesis of mathematical modeling software. IEEE Software, 10(3).","DOI":"10.1109\/52.210600"},{"key":"5145051_CR13","volume-title":"Intelligent Mathematical Software Systems","author":"A. Kowalski","year":"1990","unstructured":"Kowalski, A. and Peskin, R. 1990. Anatomy of AGNES: An automatic generator of numerical equation solutions. In E.N. Houstis, editor, Intelligent Mathematical Software Systems, New York, NY: Elsevier Science Publishers."},{"key":"5145051_CR14","unstructured":"Lowry, M., Philpot, A., Pressberger, T., and Underwood, I. 1994. A formal approach to domain-oriented software design environments. Proceedings of the Ninth Knowledge-Based Software Engineering Conference, Monterey, CA."},{"key":"5145051_CR15","doi-asserted-by":"crossref","unstructured":"Lowry, M. and Van Baalen, J. 1997. Meta-amphion: Synthesis of efficient domain-specific program synthesis systems. Automated Software Engineering, 4(2).","DOI":"10.1109\/KBSE.1995.490113"},{"key":"5145051_CR16","doi-asserted-by":"crossref","unstructured":"Manna, Z. and Waldinger, R. 1992. Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering, August.","DOI":"10.1109\/32.153379"},{"key":"5145051_CR17","doi-asserted-by":"crossref","unstructured":"Pissanetsky, S. 1984. Sparse Matrix Technology. Academic Press.","DOI":"10.1016\/B978-0-12-557580-5.50012-0"},{"key":"5145051_CR18","volume-title":"Numerical Recipes","author":"W. Press","year":"1986","unstructured":"Press, W., Vetterling, W., Teukolsky, S., and Flannery, B. 1986. Numerical Recipes. New York, NY: Cambridge University Press."},{"key":"5145051_CR19","doi-asserted-by":"crossref","unstructured":"Roach, S. and Van Baalen, J. 2002. Experience report on automated procedure construction for deductive synthesis. In Proceedings of the 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK.","DOI":"10.1109\/ASE.2002.1114996"},{"key":"5145051_CR20","doi-asserted-by":"crossref","unstructured":"Rosu, G. and Whittle, J. 2002. Towards certifying domain specific properties of synthesized code. Proceedings of the 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK.","DOI":"10.1109\/ASE.2002.1115032"},{"key":"5145051_CR21","doi-asserted-by":"crossref","unstructured":"Schumann, J., Fischer, B., Whalen, M., and Whittle, J. 2003. Certification support for automatically generated programs. Proceedings of the 36th Hawaii International Conference on System Sciences.","DOI":"10.1109\/HICSS.2003.1174914"},{"key":"5145051_CR22","doi-asserted-by":"crossref","unstructured":"Srivastava, B. and Kambhampati, S. 1998. Synthesizing customized planners from specifications. Journal of Artificial Intelligence Research, 8.","DOI":"10.1613\/jair.428"},{"key":"5145051_CR23","doi-asserted-by":"crossref","unstructured":"Van Engelen, R., Wolters, L., and Cats, G. 1997. Tomorrow's weather forecast: Automatic code generation for atmospheric modeling. IEEE Computational Science & Engineering, 4(3).","DOI":"10.1109\/99.615428"},{"key":"5145051_CR24","doi-asserted-by":"crossref","unstructured":"Van Der Schaft, A. and Schumacher, H. 2000. An introduction to hybrid dynamical systems. Lecture Notes in Control and Information Sciences, Springer-Verlag, vol. 251.","DOI":"10.1007\/BFb0109998"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025811105984.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1025811105984\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025811105984.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:09:45Z","timestamp":1748070585000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1025811105984"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["5145051"],"URL":"https:\/\/doi.org\/10.1023\/a:1025811105984","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}