{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T12:10:11Z","timestamp":1729512611652,"version":"3.28.0"},"reference-count":122,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"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":["Adv Comput Math"],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1007\/s10444-024-10197-6","type":"journal-article","created":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T07:01:53Z","timestamp":1727766113000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An electrical engineering perspective on naturality in computational physics"],"prefix":"10.1007","volume":"50","author":[{"given":"P. Robert","family":"Kotiuga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valtteri","family":"Lahtinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,1]]},"reference":[{"unstructured":"Adamek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats. Dover edition, Dover Publications Inc.: Mineola, NY. (2009). Book available online at http:\/\/katmat.math.uni-bremen.de\/acc","key":"10197_CR1"},{"doi-asserted-by":"publisher","unstructured":"Angiuli, C., Morehouse, E., Licata, D.R., Harper, R.: Homotopical patch theory, ICFP \u201914, Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, pp. 243-256. (2014). https:\/\/doi.org\/10.1145\/2628136.2628158","key":"10197_CR2","DOI":"10.1145\/2628136.2628158"},{"doi-asserted-by":"publisher","unstructured":"Angiuli, C., Harper, R., Wilson, T.: Computational higher-dimensional type theory, POPL 2017, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, pp. 680-693. (2017). https:\/\/doi.org\/10.1145\/3009837.3009861","key":"10197_CR3","DOI":"10.1145\/3009837.3009861"},{"key":"10197_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0962492906210018","volume":"15","author":"DN Arnold","year":"2006","unstructured":"Arnold, D.N., Falk, R.S., Winther, R.: Finite element exterior calculus, homological techniques, and applications. Acta Numerica 15, 1\u2013155 (2006). https:\/\/doi.org\/10.1017\/S0962492906210018","journal-title":"Acta Numerica"},{"key":"10197_CR5","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1090\/S0273-0979-10-01278-4","volume":"47","author":"DN Arnold","year":"2010","unstructured":"Arnold, D.N., Falk, R.S., Winther, R.: Finite element exterior calculus: from Hodge theory to numerical stability. Bull. Am. Math. Soc. 47, 281\u2013354 (2010). https:\/\/doi.org\/10.1090\/S0273-0979-10-01278-4","journal-title":"Bull. Am. Math. Soc."},{"unstructured":"Arnold, D.N.: finite element exterior calculus, CBMS-NSF Regional Conference Series in Applied Mathematics, Society for Industrial and Applied Mathematics (SIAM), vol. 93, Philadelphia, PA: SIAM (2018)","key":"10197_CR6"},{"key":"10197_CR7","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1109\/TMAG.2006.870932","volume":"42","author":"B Auchmann","year":"2006","unstructured":"Auchmann, B., Kurz, S.: A geometrically defined discrete Hodge operator on simplicial cells. IEEE Trans. Magn. 42, 643\u2013646 (2006). https:\/\/doi.org\/10.1109\/TMAG.2006.870932","journal-title":"IEEE Trans. Magn."},{"key":"10197_CR8","doi-asserted-by":"publisher","first-page":"374","DOI":"10.2307\/1970694","volume":"86","author":"MF Atiyah","year":"1967","unstructured":"Atiyah, M.F., Bott, R.: A Lefschetz fixed point formula for elliptic complexes. Ann. Math. 86, 374\u2013407 (1967). https:\/\/doi.org\/10.2307\/1970694","journal-title":"Ann. Math."},{"doi-asserted-by":"publisher","unstructured":"Baez, J.C., Dolan, J.: Categorification, In: Getzler, E., Kapranov, M. (eds.) Higher category theory, Contemp. Math. 230, pp. 1-36. Providence, Rhode Island: American Mathematical Society (1998). https:\/\/doi.org\/10.1090\/conm\/230\/03336","key":"10197_CR9","DOI":"10.1090\/conm\/230\/03336"},{"key":"10197_CR10","first-page":"836","volume":"30","author":"JC Baez","year":"2015","unstructured":"Baez, J.C., Erbele, J.: Categories in control. Theory Appl. Categories 30, 836\u2013881 (2015)","journal-title":"Theory Appl. Categories"},{"doi-asserted-by":"crossref","unstructured":"Baez, J.C., Fong, B.: A compositional framework for passive linear networks, (2015). arXiv:1504.05625","key":"10197_CR11","DOI":"10.1063\/1.4941578"},{"doi-asserted-by":"publisher","unstructured":"Baez, J.C., Stay, M.: Physics, topology, logic and computation: a Rosetta stone, In: Coecke, B. (ed.), New Structures for Physics, Lecture Notes in Physics 813, pp. 95-174. Berlin: Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-12821-9_2","key":"10197_CR12","DOI":"10.1007\/978-3-642-12821-9_2"},{"unstructured":"Balasubramanian, N.N., Lynn, W.J., Sen Gupta, D.P.: Differential forms on electromagnetic networks. Butterworth & Co (Publishers) Ltd. London, UK: Butterworth. (1970)","key":"10197_CR13"},{"doi-asserted-by":"publisher","unstructured":"Bochev, P., Hyman, M.: Principles of mimetic discretizations of differential operators, In: Arnold, D., Bochev, P., Lehoucq, R., Nicolaides, R., Shashkov, M. (eds.) Compatible Spatial Discretizations, pp. 89-119. Springer (2006)https:\/\/doi.org\/10.1007\/0-387-38034-5_5","key":"10197_CR14","DOI":"10.1007\/0-387-38034-5_5"},{"key":"10197_CR15","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1049\/ip-a-1.1988.0077","volume":"135","author":"A Bossavit","year":"1988","unstructured":"Bossavit, A.: Whitney forms: a class of finite elements for three-dimensional computations in electromagnetism. IEE Proc. 135, 493\u2013500 (1988). https:\/\/doi.org\/10.1049\/ip-a-1.1988.0077","journal-title":"IEE Proc."},{"key":"10197_CR16","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/20.43860","volume":"24","author":"A Bossavit","year":"1988","unstructured":"Bossavit, A.: A rationale for \u201cedge elements\" in 3-D fields computations. IEEE Trans. Magn. 24, 74\u201379 (1988). https:\/\/doi.org\/10.1109\/20.43860","journal-title":"IEEE Trans. Magn."},{"key":"10197_CR17","first-page":"137","volume-title":"The mathematics of finite elements and applications VI","author":"A Bossavit","year":"1988","unstructured":"Bossavit, A.: Mixed finite elements and the complex of Whitney forms. In: Whiteman, J.R. (ed.) The mathematics of finite elements and applications VI, pp. 137\u2013144. Academic Press, London, UK (1988)"},{"key":"10197_CR18","doi-asserted-by":"publisher","first-page":"702","DOI":"10.1109\/20.106414","volume":"26","author":"A Bossavit","year":"1990","unstructured":"Bossavit, A.: Solving Maxwell equations in a closed cavity, and the question of \u201cspurious modes\". IEEE Trans. Magn. 26, 702\u2013705 (1990). https:\/\/doi.org\/10.1109\/20.106414","journal-title":"IEEE Trans. Magn."},{"key":"10197_CR19","doi-asserted-by":"publisher","first-page":"2429","DOI":"10.1109\/20.717558","volume":"34","author":"A Bossavit","year":"1998","unstructured":"Bossavit, A.: How weak is the \u201cweak solution\" in finite element methods? IEEE Trans. Magn. 34, 2429\u20132432 (1998). https:\/\/doi.org\/10.1109\/20.717558","journal-title":"IEEE Trans. Magn."},{"key":"10197_CR20","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-118710-1.X5000-4","author":"A Bossavit","year":"1998","unstructured":"Bossavit, A.: Computational electromagnetism: variational formulations, complementarity, edge elements. Academic Press. (1998). https:\/\/doi.org\/10.1016\/B978-0-12-118710-1.X5000-4","journal-title":"Academic Press."},{"key":"10197_CR21","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1002\/(SICI)1099-1204(199901\/04)12:1\/2<129::AID-JNM327>3.0.CO;2-G","volume":"12","author":"A Bossavit","year":"1999","unstructured":"Bossavit, A., Kettunen, L.: Int. J. Num. Modell.: Electron. Netw. Devices Fields 12, 129\u2013142 (1999)","journal-title":"Int. J. Num. Modell.: Electron. Netw. Devices Fields"},{"key":"10197_CR22","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1108\/03321640310474877","volume":"22","author":"A Bossavit","year":"2003","unstructured":"Bossavit, A.: Extrusion, contraction: their discretization via Whitney forms. COMPEL 22, 470\u2013480 (2003). https:\/\/doi.org\/10.1108\/03321640310474877","journal-title":"COMPEL"},{"key":"10197_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3951-0","volume-title":"Differential forms in algebraic topology","author":"R Bott","year":"1982","unstructured":"Bott, R., Tu, L.W.: Differential forms in algebraic topology. Springer-Verlag, New York (1982)"},{"doi-asserted-by":"publisher","unstructured":"Brenner, S.C., Scott, L.R.: The mathematical theory of finite element methods, 3rd edn.: New York: Springer Science+Business Media. LLC (2008). https:\/\/doi.org\/10.1007\/978-0-387-75934-0","key":"10197_CR24","DOI":"10.1007\/978-0-387-75934-0"},{"key":"10197_CR25","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/0022-1236(92)90147-B","volume":"108","author":"J Br\u00fcning","year":"1992","unstructured":"Br\u00fcning, J., Lesch, M.: Hilbert complexes. J. Funct. Anal. 108, 88\u2013132 (1992). https:\/\/doi.org\/10.1016\/0022-1236(92)90147-B","journal-title":"J. Funct. Anal."},{"doi-asserted-by":"publisher","unstructured":"Coecke, B., Paquette, \u00c9.O.: Categories for the practising physicist, In: Coecke, B. (ed.), New structures for physics, Lecture Notes in Physics 813, pp. 173-286, Berlin: Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-12821-9_3","key":"10197_CR26","DOI":"10.1007\/978-3-642-12821-9_3"},{"key":"10197_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0002-9904-1943-07818-4","volume":"49","author":"RL Courant","year":"1943","unstructured":"Courant, R.L.: Variational methods for the solution of problems of equilibrium and vibration. Bull. Am. Math. Soc. 49, 1\u201323 (1943). https:\/\/doi.org\/10.1090\/S0002-9904-1943-07818-4","journal-title":"Bull. Am. Math. Soc."},{"key":"10197_CR28","doi-asserted-by":"publisher","first-page":"79","DOI":"10.2307\/2373615","volume":"98","author":"J Dodziuk","year":"1976","unstructured":"Dodziuk, J.: Finite-difference approach to the Hodge theory of harmonic forms. Am. J. Math. 98, 79\u2013104 (1976). https:\/\/doi.org\/10.2307\/2373615","journal-title":"Am. J. Math."},{"key":"10197_CR29","doi-asserted-by":"publisher","first-page":"157","DOI":"10.4310\/jdg\/1214435988","volume":"16","author":"J Dodziuk","year":"1981","unstructured":"Dodziuk, J.: Sobolev spaces of differential forms and de Rham-Hodge isomorphism. J. Differ. Geom. 16, 157\u2013165 (1981). https:\/\/doi.org\/10.4310\/jdg\/1214435988","journal-title":"J. Differ. Geom."},{"doi-asserted-by":"publisher","unstructured":"Dupont, J.L.: Curvature and characteristic classes, LNM 640. Berlin: Springer-Verlag (1978). https:\/\/doi.org\/10.1007\/BFb0065364","key":"10197_CR30","DOI":"10.1007\/BFb0065364"},{"key":"10197_CR31","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1090\/S0002-9904-1972-12971-9","volume":"78","author":"F Dyson","year":"1972","unstructured":"Dyson, F.: Missed opportunities. Bull. Am. Math. Soc. 78, 635\u2013652 (1972). https:\/\/doi.org\/10.1090\/S0002-9904-1972-12971-9","journal-title":"Bull. Am. Math. Soc."},{"key":"10197_CR32","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1090\/S0002-9904-1966-11558-6","volume":"72","author":"J Eells Jr","year":"1966","unstructured":"Eells, J., Jr.: A setting for global analysis. Bull. Am. Math. Soc. 72, 751\u2013807 (1966). https:\/\/doi.org\/10.1090\/S0002-9904-1966-11558-6","journal-title":"Bull. Am. Math. Soc."},{"key":"10197_CR33","doi-asserted-by":"publisher","DOI":"10.1515\/9781400877492","volume-title":"Foundations of algebraic topology","author":"S Eilenberg","year":"1952","unstructured":"Eilenberg, S., Steenrod, N.E.: Foundations of algebraic topology. Princeton University Press, Princeton, New Jersey (1952)"},{"key":"10197_CR34","volume-title":"The geometry of physics: an introduction","author":"T Frankel","year":"2012","unstructured":"Frankel, T.: The geometry of physics: an introduction, 3rd edn. Cambridge University Press, Cambridge (2012)","edition":"3"},{"key":"10197_CR35","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1137\/100804036","volume":"54","author":"MJ Gander","year":"2012","unstructured":"Gander, M.J., Wanner, G.: From Euler, Ritz, and Galerkin to modern computing. SIAM Rev. 54, 627\u2013666 (2012). https:\/\/doi.org\/10.1137\/100804036","journal-title":"SIAM Rev."},{"key":"10197_CR36","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139939683","volume-title":"Electricity and magnetism for mathematicians: a guided path from Maxwell\u2019s equations to Yang-Mills","author":"TA Garrity","year":"2015","unstructured":"Garrity, T.A.: Electricity and magnetism for mathematicians: a guided path from Maxwell\u2019s equations to Yang-Mills. New York. Cambridge University Press, NY (2015)"},{"doi-asserted-by":"publisher","unstructured":"Gerritsma, M., Hiemstra, R., Kreeft, J., Palha, A., Rebelo, P., Toshniwal, D.: The geometric basis of numerical methods, In: Azaiez, M., El Fekih, H., Hesthaven, J. (eds.) Spectral and High Order Methods for Partial Differential Equations - ICOSAHOM 2012. Lecture Notes in Computational Science and Engineering 95, pp. 17-36. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-01601-6_2","key":"10197_CR37","DOI":"10.1007\/978-3-319-01601-6_2"},{"key":"10197_CR38","first-page":"271","volume":"170","author":"E Getzler","year":"2009","unstructured":"Getzler, E.: Lie theory for nilpotent L-infinity algebras Ann. Math. 170, 271\u2013301 (2009)","journal-title":"Math."},{"unstructured":"Ghrist, R.: Elementary applied topology. ed 1.0, Createspace (2014)","key":"10197_CR39"},{"key":"10197_CR40","doi-asserted-by":"publisher","first-page":"283","DOI":"10.2307\/30044174","volume":"78","author":"P Gorkin","year":"2005","unstructured":"Gorkin, P., Smith, J.H.: Dirichlet: his life, his principle, and his problem. Math. Mag. 78, 283\u2013296 (2005). https:\/\/doi.org\/10.2307\/30044174","journal-title":"Math. Mag."},{"key":"10197_CR41","volume-title":"The index theorem and the heat equation","author":"PB Gilkey","year":"1974","unstructured":"Gilkey, P.B.: The index theorem and the heat equation. Publish or Perish Inc, Boston, MA (1974)"},{"key":"10197_CR42","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511756337","volume-title":"Electromagnetic theory and computation: a topological approach","author":"PW Gross","year":"2004","unstructured":"Gross, P.W., Kotiuga, P.R.: Electromagnetic theory and computation: a topological approach. Cambridge University Press, Cambridge (2004)"},{"unstructured":"Harrison, J.: Lectures on chainlet geometry - new topological methods in geometric measure theory, (2005). arXiv:math-ph\/0505063","key":"10197_CR43"},{"unstructured":"Harrison, J.: Operator calculus and the exterior differential complex, (2012). arXiv:1101.0979","key":"10197_CR44"},{"key":"10197_CR45","doi-asserted-by":"publisher","first-page":"1325","DOI":"10.1090\/S0025-5718-99-01166-7","volume":"68","author":"R Hiptmair","year":"1999","unstructured":"Hiptmair, R.: Canonical construction of finite elements. Math. Comput. 68, 1325\u20131346 (1999). https:\/\/doi.org\/10.1090\/S0025-5718-99-01166-7","journal-title":"Math. Comput."},{"key":"10197_CR46","doi-asserted-by":"publisher","first-page":"271","DOI":"10.2528\/PIER00080111","volume":"32","author":"R Hiptmair","year":"2001","unstructured":"Hiptmair, R.: Higher order Whitney forms. Prog. Electromagn. Res. PIER 32, 271\u2013299 (2001). https:\/\/doi.org\/10.2528\/PIER00080111","journal-title":"Prog. Electromagn. Res. PIER"},{"key":"10197_CR47","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s002110100295","volume":"90","author":"R Hiptmair","year":"2001","unstructured":"Hiptmair, R.: Discrete Hodge operators. Numer. Math. 90, 265\u2013289 (2001). https:\/\/doi.org\/10.1007\/s002110100295","journal-title":"Numer. Math."},{"unstructured":"Hiptmair, R.: Finite element exterior calculus. By Douglas N. Arnold. SIAM, Philadelphia, PA, 2018. xii+120 pp. CBMS-NSF Regional Conference Series in Applied Mathematics. vol. 93. ISBN 978-1-611975-53-6, Siam Review, 62(4), 990-992 (2020)","key":"10197_CR48"},{"unstructured":"Hirani, A.: Discrete exterior calculus. Ph.D. thesis, California Institute of Technology Pasadena, CA (2003). Available online at: http:\/\/resolver.caltech.edu\/CaltechETD:etd-05202003-095403","key":"10197_CR49"},{"key":"10197_CR50","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10208-012-9119-7","volume":"12","author":"M Holst","year":"2012","unstructured":"Holst, M., Stern, A.: Geometric variational crimes: Hilbert complexes, finite element exterior calculus, and problems on hypersurfaces. J. Comp. Math. 12, 263\u2013293 (2012). https:\/\/doi.org\/10.1007\/s10208-012-9119-7","journal-title":"J. Comp. Math."},{"doi-asserted-by":"publisher","unstructured":"Kangas, J Suuriniemi, S., Kettunen, L.: Algebraic structures underneath geometric approaches, COMPEL - The international journal for computation and mathematics in electrical and electronic engineering 30, 1715\u20131726 (2011). https:\/\/doi.org\/10.1108\/03321641111168048","key":"10197_CR51","DOI":"10.1108\/03321641111168048"},{"key":"10197_CR52","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1109\/TMAG.2007.892276","volume":"43","author":"J Kangas","year":"2007","unstructured":"Kangas, J., Tarhasaari, T., Kettunen, L.: Reading Whitney and finite elements with hindsight. IEEE Trans. Magn. 43, 1157\u20131160 (2007). https:\/\/doi.org\/10.1109\/TMAG.2007.892276","journal-title":"IEEE Trans. Magn."},{"doi-asserted-by":"publisher","unstructured":"Kangas, J., Tarhasaari, T., Kettunen, L.: Assessment of appropriate spaces for basis functions in FEM, 12th Biennial IEEE Conference on Electromagnetic Field Computation, 8968646. (2006). https:\/\/doi.org\/10.1109\/CEFC-06.2006.1632882","key":"10197_CR53","DOI":"10.1109\/CEFC-06.2006.1632882"},{"unstructured":"Ker\u00e4nen, J.: Towards computational electromagnetics in spacetime, Ph.D. thesis, Tampere University of Technology, Finland, Tampere University of Technology Publication 953. (2011). Available online at http:\/\/urn.fi\/URN:NBN:fi:tty-201104041171","key":"10197_CR54"},{"key":"10197_CR55","volume-title":"Differential complexes","author":"JJ Kohn","year":"1972","unstructured":"Kohn, J.J.: Differential complexes. Les Presses de l\u2019Universit\u00e9 Montr\u00e9al, Montr\u00e9al, Canada (1972)"},{"doi-asserted-by":"crossref","unstructured":"Kolar, I., Michor, P.W., Slov\u00e1k, J.: Natural operations in differential geometry. Berlin: Springer-Verlag (1993). Available online at http:\/\/emis.ams.org\/monographs\/KSM\/","key":"10197_CR56","DOI":"10.1007\/978-3-662-02950-3"},{"unstructured":"Kotiuga, P.R.: Hodge decompositions and computational electromagnetics, Ph.D. thesis, McGill University, Montr\u00e9al, Canada (1984)","key":"10197_CR57"},{"key":"10197_CR58","doi-asserted-by":"publisher","first-page":"2813","DOI":"10.1109\/20.34293","volume":"25","author":"PR Kotiuga","year":"1989","unstructured":"Kotiuga, P.R.: Helicity functionals and metric invariance in three dimensions. IEEE Trans. Magn. 25, 2813\u20132815 (1989). https:\/\/doi.org\/10.1109\/20.34293","journal-title":"IEEE Trans. Magn."},{"key":"10197_CR59","doi-asserted-by":"publisher","first-page":"4129","DOI":"10.1109\/20.42544","volume":"25","author":"PR Kotiuga","year":"1989","unstructured":"Kotiuga, P.R.: An algorithm to make cuts for magnetic scalar potentials in tetrahedrdal meshes based on the finite element method. IEEE Trans. Magn. 25, 4129\u20134131 (1989). https:\/\/doi.org\/10.1109\/20.42544","journal-title":"IEEE Trans. Magn."},{"key":"10197_CR60","doi-asserted-by":"publisher","first-page":"1162","DOI":"10.1109\/TMAG.2007.915998","volume":"44","author":"PR Kotiuga","year":"2008","unstructured":"Kotiuga, P.R.: Theoretical limitations of discrete exterior calculus in the context of computational electromagnetics. IEEE Trans. Magn. 44, 1162\u20131165 (2008). https:\/\/doi.org\/10.1109\/TMAG.2007.915998","journal-title":"IEEE Trans. Magn."},{"unstructured":"Kovanen, T., Tarhasaari, T., Kettunen, L.: Formulation of small-strain magneto elastic problems, (2016). arXiv:1602.04966","key":"10197_CR61"},{"unstructured":"Kreeft, J., Palha, A., Gerritsma, M.: Mimetic framework on curvilinear quadrilaterals of arbitrary order, (2011). arXiv:1111.4304v1","key":"10197_CR62"},{"doi-asserted-by":"publisher","unstructured":"Kron, G.: Basic concepts of multidimensional space filters. AIEE Trans. 78, Part I, pp. 554-561. (1959a). https:\/\/doi.org\/10.1109\/TCE.1959.6372861","key":"10197_CR63","DOI":"10.1109\/TCE.1959.6372861"},{"unstructured":"Kron, G.: Tensors for circuits. Dover edition, [Republication of the book formerly entitled \u201cA short course in tensor analysis for electrical engineers\u201d]. New York, NY: Dover publications, Inc (1959b)","key":"10197_CR64"},{"doi-asserted-by":"publisher","unstructured":"Kurz, S., Auchmann, B.: Differential forms and boundary integral equations for Maxwell-type problems, In: Langer, U., Schanz, M., Steinbach, O., Wendland, W.L. (eds) Lecture Notes in Computational Science and Engineering, Fast boundary element methods in engineering and industrial applications, Lecture Notes in Applied and Computational Mechanics vol. 63, pp. 1-62. Springer. (2012). https:\/\/doi.org\/10.1007\/978-3-642-25670-7_1","key":"10197_CR65","DOI":"10.1007\/978-3-642-25670-7_1"},{"key":"10197_CR66","doi-asserted-by":"publisher","first-page":"2345","DOI":"10.1007\/s10948-015-3074-x","volume":"28","author":"V Lahtinen","year":"2015","unstructured":"Lahtinen, V., Stenvall, A., Sirois, F., Pellikka, M.: A finite element simulation tool for predicting hysteresis losses in superconductors using an $$H$$-oriented formulation with cohomology basis functions. J. Supercond. Nov. Magn. 28, 2345\u20132354 (2015). https:\/\/doi.org\/10.1007\/s10948-015-3074-x","journal-title":"J. Supercond. Nov. Magn."},{"key":"10197_CR67","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s13194-015-0129-6","volume":"68","author":"R Lal","year":"2015","unstructured":"Lal, R., Teh, N.: Categorical generalization and physical structuralism. Br. J. Philos. Sci. 68, 213\u2013251 (2015). https:\/\/doi.org\/10.1007\/s13194-015-0129-6","journal-title":"Br. J. Philos. Sci."},{"key":"10197_CR68","first-page":"123","volume":"5","author":"YB Lopatinskii","year":"1953","unstructured":"Lopatinskii, Y.B.: On a method of reducing boundary problems for a system of differential equations of elliptic type to regular integral equations. Ukrain. Mat. Zb. 5, 123\u2013151 (1953)","journal-title":"Ukrain. Mat. Zb."},{"key":"10197_CR69","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s10208-007-9015-8","volume":"8","author":"EL Mansfield","year":"2008","unstructured":"Mansfield, E.L., Hydon, P.E.: Difference forms. Found. Comp. Math. 8, 427\u2013467 (2008). https:\/\/doi.org\/10.1007\/s10208-007-9015-8","journal-title":"Difference forms. Found. Comp. Math."},{"key":"10197_CR70","volume-title":"Mathematical foundations of elasticity","author":"JE Marsden","year":"1983","unstructured":"Marsden, J.E., Hughes, J.R.: Mathematical foundations of elasticity. Prentice-Hall Inc, Englewood Cliffs, NJ (1983)"},{"key":"10197_CR71","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1006\/jcph.1997.5656","volume":"133","author":"C Mattiussi","year":"1997","unstructured":"Mattiussi, C.: An analysis of finite volume, finite element and finite difference methods using some concepts from algebraic topology. J. Comp. Phys. 133, 89\u2013309 (1997). https:\/\/doi.org\/10.1006\/jcph.1997.5656","journal-title":"J. Comp. Phys."},{"unstructured":"Milewski, B.: Category theory for programmers, Version 0.1. (2017). Book available online via GitHub: https:\/\/github.com\/hmemcpy\/milewski-ctfp-pdf","key":"10197_CR72"},{"key":"10197_CR73","doi-asserted-by":"publisher","first-page":"357","DOI":"10.2307\/1969967","volume":"65","author":"J Milnor","year":"1957","unstructured":"Milnor, J.: The geometric realization of a semi-simplicial complex. Ann. Math. 65, 357\u2013362 (1957). https:\/\/doi.org\/10.2307\/1969967","journal-title":"Ann. Math."},{"key":"10197_CR74","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/0001-8708(78)90116-0","volume":"28","author":"W M\u00fcller","year":"1978","unstructured":"M\u00fcller, W.: Analytic torsion and R-torsion of Riemannian manifolds. Adv. Math. 28, 233\u2013305 (1978). https:\/\/doi.org\/10.1016\/0001-8708(78)90116-0","journal-title":"Adv. Math."},{"key":"10197_CR75","volume-title":"Topological methods in Euclidean spaces","author":"GL Naber","year":"1980","unstructured":"Naber, G.L.: Topological methods in Euclidean spaces. Cambridge University Press, New York (1980)"},{"key":"10197_CR76","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF01396415","volume":"93","author":"JC N\u00e9d\u00e9lec","year":"1980","unstructured":"N\u00e9d\u00e9lec, J.C.: Mixed finite elements in $$\\mathbb{R} ^3$$. Numer. Math. 93, 315\u2013341 (1980). https:\/\/doi.org\/10.1007\/BF01396415","journal-title":"Numer. Math."},{"doi-asserted-by":"publisher","unstructured":"Nikolaus, T., Schweigert, C.: Bicategories in field theories - an invitation, In: Rebhan, A., Katzarkov, B., Knapp, J., Rashkov, R., Sheidegger, E. (eds.) Strings, Gauge Fields, and the Geometry Behind, pp. 119-132. (2012). https:\/\/doi.org\/10.1142\/9789814412551_0004","key":"10197_CR77","DOI":"10.1142\/9789814412551_0004"},{"unstructured":"Norell, U.: Towards a practical programming language based on dependent type theory, Ph.D. thesis, Chalmers University of Technology. (2007). Available online at: http:\/\/www.cse.chalmers.se\/~ulfn\/papers\/thesis.pdf","key":"10197_CR78"},{"key":"10197_CR79","volume-title":"An introduction to the mathematical theory of finite elements","author":"JT Oden","year":"2011","unstructured":"Oden, J.T., Reddy, J.N.: An introduction to the mathematical theory of finite elements. Dover Dover Publications Inc, Mineola (2011)"},{"doi-asserted-by":"publisher","unstructured":"Omar, C., Voysey, I., Hilton, M., Aldrich, J., Hammer, M.A.: Hazelnut: a bidirectionally typed structure editor calculus, POPL 2017. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, pp. 86-99. (2017). https:\/\/doi.org\/10.1145\/3009837.3009900","key":"10197_CR80","DOI":"10.1145\/3009837.3009900"},{"key":"10197_CR81","doi-asserted-by":"publisher","first-page":"124","DOI":"10.2307\/1993171","volume":"92","author":"R Palais","year":"1959","unstructured":"Palais, R.: Natural operations on differential forms. Trans. Am. Math. Soc. 92, 124\u2013141 (1959). https:\/\/doi.org\/10.2307\/1993171","journal-title":"Trans. Am. Math. Soc."},{"key":"10197_CR82","volume-title":"Foundations of global non-linear analysis","author":"R Palais","year":"1968","unstructured":"Palais, R.: Foundations of global non-linear analysis. W. A. Benjamin Inc, New York, NY (1968)"},{"key":"10197_CR83","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1109\/TMAG.2010.2091109","volume":"47","author":"M Pellikka","year":"2011","unstructured":"Pellikka, M., Suuriniemi, S., Kettunen, L.: Powerful heuristics and basis selection brings computational homology to engineers. IEEE Trans. Magn. 47, 1226\u20131229 (2011). https:\/\/doi.org\/10.1109\/TMAG.2010.2091109","journal-title":"IEEE Trans. Magn."},{"doi-asserted-by":"publisher","unstructured":"Pelosi, G.: The finite-element method, part I: R. L. Courant, IEEE Antennas Propag. Mag. 49, pp. 180-182. (2007). https:\/\/doi.org\/10.1109\/MAP.2007.376627","key":"10197_CR84","DOI":"10.1109\/MAP.2007.376627"},{"key":"10197_CR85","volume-title":"Differential geometric structures","author":"WA Poor","year":"1981","unstructured":"Poor, W.A.: Differential geometric structures. McGraw-Hill Inc, New York, NY (1981)"},{"key":"10197_CR86","volume-title":"The finite element method in heat transfer and fluid dynamics","author":"JN Reddy","year":"2001","unstructured":"Reddy, J.N., Gartling, D.K.: The finite element method in heat transfer and fluid dynamics, 2nd edn. CRC Press LLC, Boca Raton (2001)","edition":"2"},{"key":"10197_CR87","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107261457","volume-title":"Categorical homotopy theory","author":"E Riehl","year":"2014","unstructured":"Riehl, E.: Categorical homotopy theory. New York. Cambridge University Press, NY (2014)"},{"unstructured":"Riehl, E.: Category theory in context, Dover Publications (2017)","key":"10197_CR88"},{"key":"10197_CR89","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1073\/pnas.41.8.599","volume":"41","author":"JP Roth","year":"1955","unstructured":"Roth, J.P.: The validity of Kron\u2019s method of tearing. Nat. Acad. Sci. 41, 599\u2013600 (1955). https:\/\/doi.org\/10.1073\/pnas.41.8.599","journal-title":"Nat. Acad. Sci."},{"key":"10197_CR90","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/qam\/104337","volume":"17","author":"JP Roth","year":"1959","unstructured":"Roth, J.P.: An application of algebraic topology: Kron\u2019s method of tearing. Quart. Appl. Math. 17, 1\u201324 (1959)","journal-title":"Quart. Appl. Math."},{"unstructured":"Roth, J.P.: Existence and uniqueness of solution to electrical network problem via homology sequences, In: Wilf, H.S., Harary, F. (eds.), Mathematical Aspects of Network Analysis, SIAM-AMS Proceedings vol. 3, pp. 113-118. USA (1959)","key":"10197_CR91"},{"key":"10197_CR92","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1093\/qmath\/21.4.385","volume":"21","author":"G Segal","year":"1970","unstructured":"Segal, G.: Fredholm complexes. Q. J. Math. 21, 385\u2013402 (1970). https:\/\/doi.org\/10.1093\/qmath\/21.4.385","journal-title":"Q. J. Math."},{"unstructured":"Shapiro, Z.Y.: On general boundary value problems of elliptic type, Isz. Akad. Nauk, Math. Ser. 17, pp. 539-562. (1953)","key":"10197_CR93"},{"key":"10197_CR94","doi-asserted-by":"publisher","first-page":"1203","DOI":"10.1017\/S0960129514000565","volume":"25","author":"M Shulman","year":"2014","unstructured":"Shulman, M.: Univalence for inverse diagrams and homotopy canonicity. Math. Struct. Comp. Sci. 25, 1203\u20131277 (2014). https:\/\/doi.org\/10.1017\/S0960129514000565","journal-title":"Math. Struct. Comp. Sci."},{"key":"10197_CR95","first-page":"313","volume":"38","author":"P Silvester","year":"1969","unstructured":"Silvester, P.: Finite-element solution of homogeneous waveguide problems. Alta frequencia 38, 313\u2013317 (1969)","journal-title":"Alta frequencia"},{"unstructured":"Silvester, P., Ferrari, R.L.: Finite elements for electrical engineers, 1st ed. Cambridge Univerity Press (1983)","key":"10197_CR96"},{"key":"10197_CR97","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1090\/S0002-9904-1969-12129-4","volume":"75","author":"DC Spencer","year":"1969","unstructured":"Spencer, D.C.: Overdetermined systems of linear partial differential equations. Bull. Am. Math. Soc. 75, 179\u2013239 (1969). https:\/\/doi.org\/10.1090\/S0002-9904-1969-12129-4","journal-title":"Bull. Am. Math. Soc."},{"key":"10197_CR98","volume-title":"An analysis of the finite element method","author":"G Strang","year":"2008","unstructured":"Strang, G., Fix, G.: An analysis of the finite element method, 2nd edn. Wellesley-Cambridge Press, Wellesley (2008)","edition":"2"},{"key":"10197_CR99","doi-asserted-by":"publisher","first-page":"647","DOI":"10.4310\/jdg\/1214433167","volume":"10","author":"P Stredder","year":"1975","unstructured":"Stredder, P.: Natural differential operators on Riemannian manifolds and representations of the orthogonal and special orthogonal groups. J. Diff. Geom. 10, 647\u2013660 (1975). https:\/\/doi.org\/10.4310\/jdg\/1214433167","journal-title":"J. Diff. Geom."},{"key":"10197_CR100","volume-title":"Geometric topology part I: localization, periodicity, and Galois symmetry","author":"D Sullivan","year":"1970","unstructured":"Sullivan, D.: Geometric topology part I: localization, periodicity, and Galois symmetry. MIT, Cambridge (1970)"},{"doi-asserted-by":"crossref","unstructured":"Swan, R.G.: Algebraic K-Theory, Lecture Notes in Mathematics 76. (1968)","key":"10197_CR101","DOI":"10.1007\/BFb0080281"},{"key":"10197_CR102","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1109\/TEMC.1980.303879","volume":"22","author":"A Taflove","year":"1980","unstructured":"Taflove, A.: Application of the finite-difference time-domain method to sinusoidal steady-state electromagnetic-penetration problems. IEEE Trans. Electromag. Compat. 22, 191\u2013202 (1980). https:\/\/doi.org\/10.1109\/TEMC.1980.303879","journal-title":"IEEE Trans. Electromag. Compat."},{"key":"10197_CR103","doi-asserted-by":"publisher","first-page":"1494","DOI":"10.1109\/20.767250","volume":"35","author":"T Tarhasaari","year":"1999","unstructured":"Tarhasaari, T., Kettunen, L., Bossavit, A.: Some realizations of a discrete Hodge operator: a reinterpretation of finite element techniques. IEEE Trans. Magn. 35, 1494\u20131497 (1999). https:\/\/doi.org\/10.1109\/20.767250","journal-title":"IEEE Trans. Magn."},{"key":"10197_CR104","first-page":"2","volume":"12","author":"RL Taylor","year":"2002","unstructured":"Taylor, R.L.: Ritz & Galerkin: the road to the finite element method. Bull. Int. Assoc. Comput. Mech. 12, 2\u20135 (2002)","journal-title":"Bull. Int. Assoc. Comput. Mech."},{"key":"10197_CR105","doi-asserted-by":"publisher","first-page":"775","DOI":"10.2307\/2373910","volume":"100","author":"CL Terng","year":"1978","unstructured":"Terng, C.L.: Vector bundles and natural differential operators. Am. J. Math. 100, 775\u2013828 (1978). https:\/\/doi.org\/10.2307\/2373910","journal-title":"Am. J. Math."},{"key":"10197_CR106","first-page":"49","volume":"52","author":"E Tonti","year":"1972","unstructured":"Tonti, E.: On the mathematical structure of large class of physical theories. Rend. Acc. Lincei. 52, 49\u201356 (1972)","journal-title":"Rend. Acc. Lincei."},{"doi-asserted-by":"publisher","unstructured":"Tonti, E.: The reason for analogies in physics, In: Brannin, Jr. F.H., Huseyn, K. (eds.), Problem Analysis in Science and Engineering. London, UK: Academic Press (1977). https:\/\/doi.org\/10.1016\/B978-0-12-125550-3.50018-1","key":"10197_CR107","DOI":"10.1016\/B978-0-12-125550-3.50018-1"},{"key":"10197_CR108","doi-asserted-by":"publisher","first-page":"237","DOI":"10.3970\/cmes.2001.002.237","volume":"2","author":"E Tonti","year":"2001","unstructured":"Tonti, E.: A direct discrete formulation of field laws: the cell method. CMES - Comput. Model. Eng. Sci. 2, 237\u2013258 (2001). https:\/\/doi.org\/10.3970\/cmes.2001.002.237","journal-title":"CMES - Comput. Model. Eng. Sci."},{"key":"10197_CR109","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1109\/20.996090","volume":"38","author":"E Tonti","year":"2002","unstructured":"Tonti, E.: Finite formulation of electromagnetic field. IEEE Trans. Magn. 38, 333\u2013336 (2002). https:\/\/doi.org\/10.1109\/20.996090","journal-title":"IEEE Trans. Magn."},{"key":"10197_CR110","doi-asserted-by":"publisher","first-page":"1260","DOI":"10.1016\/j.jcp.2013.08.016","volume":"257","author":"E Tonti","year":"2014","unstructured":"Tonti, E.: Why starting from differential equations for computational physics. J. Comp. Phys. 257, 1260\u20131290 (2014). https:\/\/doi.org\/10.1016\/j.jcp.2013.08.016","journal-title":"J. Comp. Phys."},{"unstructured":"Tradler, T., Zeinalian, M., (with and appendix by Sullivan, D.:) Infinity structure of Poincar\u00e9 duality. (2006). arXiv:math\/0309455","key":"10197_CR111"},{"key":"10197_CR112","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1109\/TMAG.2004.824107","volume":"40","author":"F Trevisan","year":"2004","unstructured":"Trevisan, F., Kettunen, L.: Geometric interpretation of discrete approaches to solving magnetostatic problems. IEEE Trans. Magn. 40, 361\u2013365 (2004). https:\/\/doi.org\/10.1109\/TMAG.2004.824107","journal-title":"IEEE Trans. Magn."},{"unstructured":"The univalent foundations program, Homotopy Type Theory: Univalent Foundations of Mathematics. (2013). https:\/\/homotopytypetheory.org\/book. Institute for Advanced Study","key":"10197_CR113"},{"key":"10197_CR114","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF02564296","volume":"26","author":"A Weil","year":"1952","unstructured":"Weil, A.: Sur les th\u00e9or\u00e8mes de de Rham. Comm. Math. Helv. 26, 119\u2013145 (1952). https:\/\/doi.org\/10.1007\/BF02564296","journal-title":"Comm. Math. Helv."},{"unstructured":"Weil, A.: Th\u00e9orie des points proches sur les vari\u00e9t\u00e9s differentiables, Colloq. G\u00e9om. Diff. Strasbourg, pp. 111-117. (1953)","key":"10197_CR115"},{"key":"10197_CR116","first-page":"116","volume":"31","author":"T Weiland","year":"1977","unstructured":"Weiland, T.: A discretization method for the solution of Maxwell\u2019s equations for six-component fields. Electron. Commun. AE\u00dc 31, 116\u2013120 (1977)","journal-title":"Electron. Commun. AE\u00dc"},{"key":"10197_CR117","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1002\/(SICI)1099-1204(199607)9:4<295::AID-JNM240>3.0.CO;2-8","volume":"9","author":"T Weiland","year":"1996","unstructured":"Weiland, T.: Time domain electromagnetic field computation with finite difference methods. Int. J. Num. Modell. 9, 295\u2013319 (1996). https:\/\/doi.org\/10.1002\/(SICI)1099-1204(199607)9:4<295::AID-JNM240>3.0.CO;2-8","journal-title":"Int. J. Num. Modell."},{"doi-asserted-by":"publisher","unstructured":"Wells, R.O.: Elliptic operator theory. In: Differential analysis on complex manifolds, Graduate texts in Mathematics vol. 65, New York, NY: Springer (1980). https:\/\/doi.org\/10.1007\/978-1-4757-3946-6_4","key":"10197_CR118","DOI":"10.1007\/978-1-4757-3946-6_4"},{"key":"10197_CR119","doi-asserted-by":"publisher","first-page":"1898","DOI":"10.1016\/j.topol.2007.01.017","volume":"154","author":"SO Wilson","year":"2007","unstructured":"Wilson, S.O.: Cochain algebra on manifolds and convergence under refinement. Topol. Appl. 154, 1898\u20131920 (2007). https:\/\/doi.org\/10.1016\/j.topol.2007.01.017","journal-title":"Topol. Appl."},{"doi-asserted-by":"crossref","unstructured":"Whitney, H.: Geometric integration theory. Princeton University Press (1957)","key":"10197_CR120","DOI":"10.1515\/9781400877577"},{"key":"10197_CR121","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1109\/TAP.1966.1138693","volume":"14","author":"KS Yee","year":"1966","unstructured":"Yee, K.S.: Numerical solution of initial boundary value problems involving Maxwell\u2019s equations in isotropic media. IEEE Trans. Antennas Propagat. 14, 302\u2013307 (1966). https:\/\/doi.org\/10.1109\/TAP.1966.1138693","journal-title":"IEEE Trans. Antennas Propagat."},{"unstructured":"Yosida, K.: Functional analysis, 5th edn. Springer, Berlin (1980)","key":"10197_CR122"}],"container-title":["Advances in Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10444-024-10197-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10444-024-10197-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10444-024-10197-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T11:16:38Z","timestamp":1729509398000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10444-024-10197-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10]]},"references-count":122,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["10197"],"URL":"https:\/\/doi.org\/10.1007\/s10444-024-10197-6","relation":{},"ISSN":["1019-7168","1572-9044"],"issn-type":[{"type":"print","value":"1019-7168"},{"type":"electronic","value":"1572-9044"}],"subject":[],"published":{"date-parts":[[2024,10]]},"assertion":[{"value":"2 October 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 September 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 October 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"103"}}