{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:05:31Z","timestamp":1742976331833,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":19,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819606160"},{"type":"electronic","value":"9789819606177"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-981-96-0617-7_17","type":"book-chapter","created":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T14:47:34Z","timestamp":1732805254000},"page":"297-313","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formalizing Potential Flows Using the\u00a0HOL Light Theorem Prover"],"prefix":"10.1007","author":[{"given":"Elif","family":"Deniz","sequence":"first","affiliation":[]},{"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,11,29]]},"reference":[{"key":"17_CR1","unstructured":"HOL Light Real Calculus (2024). https:\/\/github.com\/jrh13\/hol-light\/blob\/master\/Multivariate\/realanalysis.ml"},{"key":"17_CR2","unstructured":"Abbott, I.H., Von\u00a0Doenhoff, A.E.: Theory of Wing Sections: Including a Summary of Airfoil Data. Courier Corporation (2012)"},{"key":"17_CR3","unstructured":"Anderson, J.D.: Fluid of Aerodynamics. McGraw-Hill (2016)"},{"issue":"4","key":"17_CR4","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s10817-012-9255-4","volume":"50","author":"S Boldo","year":"2013","unstructured":"Boldo, S., Cl\u00e9ment, F., Filli\u00e2tre, J.C., Mayero, M., Melquiond, G., Weis, P.: Wave equation numerical resolution: a comprehensive mechanized proof of a C program. J. Autom. Reason. 50(4), 423\u2013456 (2013)","journal-title":"J. Autom. Reason."},{"issue":"7","key":"17_CR5","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1002\/fld.468","volume":"41","author":"AJ Deeks","year":"2003","unstructured":"Deeks, A.J., Cheng, L.: Potential flow around obstacles using the scaled boundary finite-element method. Int. J. Numer. Meth. Fluids 41(7), 721\u2013741 (2003)","journal-title":"Int. J. Numer. Meth. Fluids"},{"key":"17_CR6","unstructured":"Deniz, E.: Formalization of the Potential Flows and the Laplace Equation, HOL Light Script (2024). https:\/\/hvg.ece.concordia.ca\/code\/hol-light\/pde\/le\/potential_flows.ml"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Deniz, E., Rashid, A., Hasan, O., Tahar, S.: On the formalization of the heat conduction problem in HOL. In: Intelligent Computer Mathematics, LNCS, vol. 13467, pp. 21\u201337. Springer (2022)","DOI":"10.1007\/978-3-031-16681-5_2"},{"issue":"2","key":"17_CR8","first-page":"197","volume":"11","author":"E Deniz","year":"2024","unstructured":"Deniz, E., Rashid, A., Hasan, O., Tahar, S.: Formalization of the telegrapher\u2019s equations using higher-order-logic theorem proving. J. Appl. Logics 11(2), 197\u2013236 (2024)","journal-title":"J. Appl. Logics"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Dragos, L.: Mathematical Methods in Aerodynamics. Kluwer Boston Incorporated (2004)","DOI":"10.1007\/978-94-015-1248-0"},{"key":"17_CR10","unstructured":"Evans, L.C.: Partial Differential Equations. American Mathematical Society (2022)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Gordon, M.J.: HOL: A proof generating system for higher-order logic. In: VLSI Specification, Verification and Synthesis, pp. 73\u2013128. Springer (1988)","DOI":"10.1007\/978-1-4613-2007-4_3"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Harrison, J.: Handbook of Practical Logic and Automated Reasoning. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511576430"},{"key":"17_CR13","unstructured":"Houghton, E.L., Carpenter, P.W.: Aerodynamics for Engineering Students. Elsevier (2003)"},{"key":"17_CR14","doi-asserted-by":"publisher","unstructured":"Kaushik, M.: Theoretical and Experimental Aerodynamics. Springer, Singapore (2019). https:\/\/doi.org\/10.1007\/978-981-13-1678-4_14","DOI":"10.1007\/978-981-13-1678-4_14"},{"key":"17_CR15","unstructured":"Millikan, C.B.: Aerodynamics of the Airplane. Courier Dover Publications (2018)"},{"key":"17_CR16","unstructured":"Spurk, J., Aksel, N.: Fluid Mechanics. Springer Science & Business Media (2007)"},{"key":"17_CR17","unstructured":"Strauss, W.A.: Partial Differential Equations: An Introduction. Wiley (2007)"},{"key":"17_CR18","unstructured":"Temam, R.: Navier\u2013Stokes Equations: Theory and Numerical Analysis, vol. 343. American Mathematical Society (2024)"},{"key":"17_CR19","unstructured":"Tritton, D.J.: Physical Fluid Dynamics. Springer (2012)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0617-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T15:09:42Z","timestamp":1732806582000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0617-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9789819606160","9789819606177"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0617-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICFEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Engineering Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hiroshima","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icfem2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.icfem2024.info\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}