{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T08:17:07Z","timestamp":1774685827852,"version":"3.50.1"},"reference-count":76,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100004344","name":"Adobe Systems","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004344","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["IIS-1453018"],"award-info":[{"award-number":["IIS-1453018"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001804","name":"Canada Research Chairs","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001804","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Graph."],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:p>Communicating linear algebra in written form is challenging: mathematicians must choose between writing in languages that produce well-formatted but semantically-underdefined representations such as LaTeX; or languages with well-defined semantics but notation unlike conventional math, such as C++\/Eigen. In both cases, the underlying linear algebra is obfuscated by the requirements of esoteric language syntax (as in LaTeX) or awkward APIs due to language semantics (as in C++). The gap between representations results in communication challenges, including underspecified and irrepro-ducible research results, difficulty teaching math concepts underlying complex numerical code, as well as repeated, redundant, and error-prone translations from communicated linear algebra to executable code. We introduce I\u2665LA, a language with syntax designed to closely mimic conventionally-written linear algebra, while still ensuring an unambiguous, compilable interpretation. Inspired by Markdown, a language for writing naturally-structured plain text files that translate into valid HTML, I\u2665LA allows users to write linear algebra in text form and compile the same source into LaTeX, C++\/Eigen, Python\/NumPy\/SciPy, and MATLAB, with easy extension to further math programming environments. We outline the principles of our language design and highlight design decisions that balance between readability and precise semantics, and demonstrate through case studies the ability for I\u2665LA to bridge the semantic gap between conventionally-written linear algebra and unambiguous interpretation in math programming environments.<\/jats:p>","DOI":"10.1145\/3478513.3480506","type":"journal-article","created":{"date-parts":[[2021,12,10]],"date-time":"2021-12-10T18:29:20Z","timestamp":1639160960000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["I\u2665LA"],"prefix":"10.1145","volume":"40","author":[{"given":"Yong","family":"Li","sequence":"first","affiliation":[{"name":"George Mason University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shoaib","family":"Kamil","sequence":"additional","affiliation":[{"name":"Adobe Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alec","family":"Jacobson","sequence":"additional","affiliation":[{"name":"University of Toronto and Adobe Research, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yotam","family":"Gingold","sequence":"additional","affiliation":[{"name":"George Mason University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,12,10]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"6","article-title":"Automatically Translating Image Processing Libraries to Halide","volume":"38","author":"Safeer Ahmad Maaz Bin","year":"2019","unstructured":"Maaz Bin Safeer Ahmad , Jonathan Ragan-Kelley , Alvin Cheung , and Shoaib Kamil . 2019 . Automatically Translating Image Processing Libraries to Halide . ACM Trans. Graph. 38 , 6 (Nov. 2019). Maaz Bin Safeer Ahmad, Jonathan Ragan-Kelley, Alvin Cheung, and Shoaib Kamil. 2019. Automatically Translating Image Processing Libraries to Halide. ACM Trans. Graph. 38, 6 (Nov. 2019).","journal-title":"ACM Trans. Graph."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3414685.3417776"},{"key":"e_1_2_1_3_1","volume-title":"Properties of Laplace Operators for Tetrahedral Meshes. Computer Graphics Forum (proceedings of SGP 2020) 39, 5","author":"Alexa Marc","year":"2020","unstructured":"Marc Alexa , Philipp Herholz , Maximilian Kohlbrenner , and Olga Sorkine-Hornung . 2020. Properties of Laplace Operators for Tetrahedral Meshes. Computer Graphics Forum (proceedings of SGP 2020) 39, 5 ( 2020 ). Marc Alexa, Philipp Herholz, Maximilian Kohlbrenner, and Olga Sorkine-Hornung. 2020. Properties of Laplace Operators for Tetrahedral Meshes. Computer Graphics Forum (proceedings of SGP 2020) 39, 5 (2020)."},{"key":"e_1_2_1_4_1","volume-title":"Sam Tobin-Hochstadt, Joao Dias, Carl Eastlund, and others.","author":"Allen Eric","year":"2005","unstructured":"Eric Allen , David Chase , Joe Hallett , Victor Luchangco , Jan-Willem Maessen , Sukyoung Ryu , Guy L Steele Jr , Sam Tobin-Hochstadt, Joao Dias, Carl Eastlund, and others. 2005 . The Fortress language specification. Sun Microsystems 139, 140 (2005). Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L Steele Jr, Sam Tobin-Hochstadt, Joao Dias, Carl Eastlund, and others. 2005. The Fortress language specification. Sun Microsystems 139, 140 (2005)."},{"key":"e_1_2_1_5_1","unstructured":"Juancarlo A\u00f1ez. 2019. TatSu. https:\/\/tatsu.readthedocs.io\/  Juancarlo A\u00f1ez. 2019. TatSu. https:\/\/tatsu.readthedocs.io\/"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450626.3459775"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892632"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3202661"},{"key":"e_1_2_1_9_1","series-title":"SIAM review 59, 1","volume-title":"Julia: A fresh approach to numerical computing","author":"Bezanson Jeff","year":"2017","unstructured":"Jeff Bezanson , Alan Edelman , Stefan Karpinski , and Viral B Shah . 2017 . Julia: A fresh approach to numerical computing . SIAM review 59, 1 (2017), 65--98. Jeff Bezanson, Alan Edelman, Stefan Karpinski, and Viral B Shah. 2017. Julia: A fresh approach to numerical computing. SIAM review 59, 1 (2017), 65--98."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/311535.311556"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3323021"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386569.3392413"},{"key":"e_1_2_1_13_1","volume-title":"Polygon mesh processing","author":"Botsch Mario","unstructured":"Mario Botsch , Leif Kobbelt , Mark Pauly , Pierre Alliez , and Bruno L\u00e9vy 2010. Polygon mesh processing . CRC press . Mario Botsch, Leif Kobbelt, Mark Pauly, Pierre Alliez, and Bruno L\u00e9vy 2010. Polygon mesh processing. CRC press."},{"key":"e_1_2_1_14_1","volume-title":"Convex optimization","author":"Boyd Stephen","unstructured":"Stephen Boyd , Stephen P Boyd , and Lieven Vandenberghe . 2004. Convex optimization . Cambridge university press . Stephen Boyd, Stephen P Boyd, and Lieven Vandenberghe. 2004. Convex optimization. Cambridge university press."},{"key":"e_1_2_1_15_1","unstructured":"Cormullion. 2020. Asterisk. https:\/\/cormullion.github.io\/pages\/2020-10-09-asterisk\/  Cormullion. 2020. Asterisk. https:\/\/cormullion.github.io\/pages\/2020-10-09-asterisk\/"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3072959.3073595"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_26"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132188"},{"key":"e_1_2_1_19_1","first-page":"295","article-title":"JuMP","volume":"59","author":"Dunning Iain","year":"2017","unstructured":"Iain Dunning , Joey Huchette , and Miles Lubin . 2017 . JuMP : A Modeling Language for Mathematical Optimization. SIAM Rev. 59 , 2 (2017), 295 -- 320 . Iain Dunning, Joey Huchette, and Miles Lubin. 2017. JuMP: A Modeling Language for Mathematical Optimization. SIAM Rev. 59, 2 (2017), 295--320.","journal-title":"A Modeling Language for Mathematical Optimization. SIAM Rev."},{"key":"e_1_2_1_20_1","series-title":"Lecture Notes in Computer Science","volume-title":"The Language of Mathematics","author":"Ganesalingam Mohan","unstructured":"Mohan Ganesalingam . 2013. The Language of Mathematics . Lecture Notes in Computer Science , Vol. 7805 . Springer Berlin Heidelberg , Berlin, Heidelberg . Mohan Ganesalingam. 2013. The Language of Mathematics. Lecture Notes in Computer Science, Vol. 7805. Springer Berlin Heidelberg, Berlin, Heidelberg."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428241"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3311972","article-title":"Deformation capture via soft and stretchable sensor arrays","volume":"38","author":"Glauser Oliver","year":"2019","unstructured":"Oliver Glauser , Daniele Panozzo , Otmar Hilliges , and Olga Sorkine-Hornung . 2019 . Deformation capture via soft and stretchable sensor arrays . ACM Transactions on Graphics (TOG) 38 , 2 (2019), 1 -- 16 . Oliver Glauser, Daniele Panozzo, Otmar Hilliges, and Olga Sorkine-Hornung. 2019. Deformation capture via soft and stretchable sensor arrays. ACM Transactions on Graphics (TOG) 38, 2 (2019), 1--16.","journal-title":"ACM Transactions on Graphics (TOG)"},{"key":"e_1_2_1_23_1","volume-title":"The LATEX companion","author":"Goossens Michel","unstructured":"Michel Goossens , Frank Mittelbach , and Alexander Samarin . 1994. The LATEX companion . Vol. 1 . Addison-Wesley Reading . Michel Goossens, Frank Mittelbach, and Alexander Samarin. 1994. The LATEX companion. Vol. 1. Addison-Wesley Reading."},{"key":"e_1_2_1_24_1","volume-title":"CVX: Matlab Software for Disciplined Convex Programming, version 2.1","author":"Grant Michael","year":"2014","unstructured":"Michael Grant and Stephen Boyd . 2014 . CVX: Matlab Software for Disciplined Convex Programming, version 2.1 . http:\/\/cvxr.com\/cvx. Michael Grant and Stephen Boyd. 2014. CVX: Matlab Software for Disciplined Convex Programming, version 2.1. http:\/\/cvxr.com\/cvx."},{"key":"e_1_2_1_25_1","unstructured":"John Gruber and Aaron Swartz. 2004. Markdown. https:\/\/daringfireball.net\/projects\/markdown\/  John Gruber and Aaron Swartz. 2004. Markdown. https:\/\/daringfireball.net\/projects\/markdown\/"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/97879.97911"},{"key":"e_1_2_1_27_1","first-page":"1","article-title":"Slang: language mechanisms for extensible real-time shading systems","volume":"37","author":"He Yong","year":"2018","unstructured":"Yong He , Kayvon Fatahalian , and Tim Foley . 2018 . Slang: language mechanisms for extensible real-time shading systems . ACM Transactions on Graphics (TOG) 37 , 4 (2018), 1 -- 13 . Yong He, Kayvon Fatahalian, and Tim Foley. 2018. Slang: language mechanisms for extensible real-time shading systems. ACM Transactions on Graphics (TOG) 37, 4 (2018), 1--13.","journal-title":"ACM Transactions on Graphics (TOG)"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3355089.3356490"},{"key":"e_1_2_1_29_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3306346.3322973","article-title":"On the accurate large-scale simulation of ferrofluids","volume":"38","author":"Huang Libo","year":"2019","unstructured":"Libo Huang , Torsten H\u00e4drich , and Dominik L Michels . 2019 . On the accurate large-scale simulation of ferrofluids . ACM Transactions on Graphics (TOG) 38 , 4 (2019), 1 -- 15 . Libo Huang, Torsten H\u00e4drich, and Dominik L Michels. 2019. On the accurate large-scale simulation of ferrofluids. ACM Transactions on Graphics (TOG) 38, 4 (2019), 1--15.","journal-title":"ACM Transactions on Graphics (TOG)"},{"key":"e_1_2_1_30_1","volume-title":"ACM Turing award lectures.","author":"Iverson Kenneth E","year":"1979","unstructured":"Kenneth E Iverson . 2007. Notation as a tool of thought . In ACM Turing award lectures. 1979 . Kenneth E Iverson. 2007. Notation as a tool of thought. In ACM Turing award lectures. 1979."},{"key":"e_1_2_1_31_1","unstructured":"Alec Jacobson. 2020. Geometry Processing Course. https:\/\/github.com\/alecjacobson\/geometry-processing.  Alec Jacobson. 2020. Geometry Processing Course. https:\/\/github.com\/alecjacobson\/geometry-processing."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461912.2461916"},{"key":"e_1_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Alec Jacobson Daniele Panozzo etal 2018. libigl: A simple C++ geometry processing library. https:\/\/libigl.github.io\/.  Alec Jacobson Daniele Panozzo et al. 2018. libigl: A simple C++ geometry processing library. https:\/\/libigl.github.io\/.","DOI":"10.1145\/3134472.3134497"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2816795.2818078"},{"key":"e_1_2_1_35_1","volume-title":"Computer Graphics Forum","author":"Jeruzalski Timothy","unstructured":"Timothy Jeruzalski , John Kanji , Alec Jacobson , and David IW Levin . 2018. Collision-Aware and Online Compression of Rigid Body Simulations via Integrated Error Minimization . In Computer Graphics Forum , Vol. 37 . Wiley Online Library , 11--20. Timothy Jeruzalski, John Kanji, Alec Jacobson, and David IW Levin. 2018. Collision-Aware and Online Compression of Rigid Body Simulations via Integrated Error Minimization. In Computer Graphics Forum, Vol. 37. Wiley Online Library, 11--20."},{"key":"e_1_2_1_36_1","unstructured":"Peter Jipsen. 2005. AsciiMath. http:\/\/asciimath.org\/  Peter Jipsen. 2005. AsciiMath. http:\/\/asciimath.org\/"},{"key":"e_1_2_1_37_1","first-page":"1","article-title":"Anisotropic elasticity for inversion-safety and element rehabilitation","volume":"38","author":"Kim Theodore","year":"2019","unstructured":"Theodore Kim , Fernando De Goes , and Hayley Iben . 2019 . Anisotropic elasticity for inversion-safety and element rehabilitation . ACM Transactions on Graphics (TOG) 38 , 4 (2019), 1 -- 15 . Theodore Kim, Fernando De Goes, and Hayley Iben. 2019. Anisotropic elasticity for inversion-safety and element rehabilitation. ACM Transactions on Graphics (TOG) 38, 4 (2019), 1--15.","journal-title":"ACM Transactions on Graphics (TOG)"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133901"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866569"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9279-3"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3323009"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11784-012-0071-6"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_2_1_44_1","doi-asserted-by":"crossref","unstructured":"S\u00f6ren Laue Matthias Mitterreiter and Joachim Giesen. 2019. GENO - GENeric Optimization for Classical Machine Learning. In Advances in Neural Information Processing Systems (NeurIPS).  S\u00f6ren Laue Matthias Mitterreiter and Joachim Giesen. 2019. GENO - GENeric Optimization for Classical Machine Learning. In Advances in Neural Information Processing Systems (NeurIPS).","DOI":"10.1609\/aaai.v34i09.7097"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3322982"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3322937"},{"key":"e_1_2_1_47_1","volume-title":"Spectral coarsening of geometric operators. arXiv preprint arXiv","author":"Derek Liu Hsueh-Ti","year":"1905","unstructured":"Hsueh-Ti Derek Liu , Alec Jacobson , and Maks Ovsjanikov . 2019b. Spectral coarsening of geometric operators. arXiv preprint arXiv : 1905 .05161 (2019). Hsueh-Ti Derek Liu, Alec Jacobson, and Maks Ovsjanikov. 2019b. Spectral coarsening of geometric operators. arXiv preprint arXiv: 1905.05161 (2019)."},{"key":"e_1_2_1_48_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3306346.3323001","article-title":"Atlas refinement with bounded packing efficiency","volume":"38","author":"Liu Hao-Yu","year":"2019","unstructured":"Hao-Yu Liu , Xiao-Ming Fu , Chunyang Ye , Shuangming Chai , and Ligang Liu . 2019 a. Atlas refinement with bounded packing efficiency . ACM Transactions on Graphics (TOG) 38 , 4 (2019), 1 -- 13 . Hao-Yu Liu, Xiao-Ming Fu, Chunyang Ye, Shuangming Chai, and Ligang Liu. 2019a. Atlas refinement with bounded packing efficiency. ACM Transactions on Graphics (TOG) 38, 4 (2019), 1--13.","journal-title":"ACM Transactions on Graphics (TOG)"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"e_1_2_1_50_1","volume-title":"Neural volumes: Learning dynamic renderable volumes from images. arXiv preprint arXiv:1906.07751","author":"Lombardi Stephen","year":"2019","unstructured":"Stephen Lombardi , Tomas Simon , Jason Saragih , Gabriel Schwartz , Andreas Lehrmann , and Yaser Sheikh . 2019. Neural volumes: Learning dynamic renderable volumes from images. arXiv preprint arXiv:1906.07751 ( 2019 ). Stephen Lombardi, Tomas Simon, Jason Saragih, Gabriel Schwartz, Andreas Lehrmann, and Yaser Sheikh. 2019. Neural volumes: Learning dynamic renderable volumes from images. arXiv preprint arXiv:1906.07751 (2019)."},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/218380.218398"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3269980"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8659.2010.01722.x"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601097.2601179"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/325165.325247"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3323026"},{"key":"e_1_2_1_58_1","unstructured":"Gerke Max Preussner. 2018. Dimensional Analysis in Programming Languages https:\/\/gmpreussner.com\/research\/dimensional-analysis-in-programming-languages  Gerke Max Preussner. 2018. Dimensional Analysis in Programming Languages https:\/\/gmpreussner.com\/research\/dimensional-analysis-in-programming-languages"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185520.2185528"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.00638"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3323037"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.25080\/Majora-92bf1922-011"},{"key":"e_1_2_1_63_1","unstructured":"Nicholas Sharp et al. 2019a. Polyscope. www.polyscope.run.  Nicholas Sharp et al. 2019a. Polyscope. www.polyscope.run."},{"key":"e_1_2_1_64_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3243651","article-title":"The vector heat method","volume":"38","author":"Sharp Nicholas","year":"2019","unstructured":"Nicholas Sharp , Yousuf Soliman , and Keenan Crane . 2019 b. The vector heat method . ACM Transactions on Graphics (TOG) 38 , 3 (2019), 1 -- 19 . Nicholas Sharp, Yousuf Soliman, and Keenan Crane. 2019b. The vector heat method. ACM Transactions on Graphics (TOG) 38, 3 (2019), 1--19.","journal-title":"ACM Transactions on Graphics (TOG)"},{"key":"e_1_2_1_65_1","unstructured":"Daniel Sieger and Mario Botsch. 2020. The Polygon Mesh Processing Library. http:\/\/www.pmp-library.org.  Daniel Sieger and Mario Botsch. 2020. The Polygon Mesh Processing Library. http:\/\/www.pmp-library.org."},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3241041"},{"key":"e_1_2_1_67_1","unstructured":"Nathaniel Smith. 2014. PEP 465 - A dedicated infix operator for matrix multiplication. https:\/\/www.python.org\/dev\/peps\/pep-0465\/  Nathaniel Smith. 2014. PEP 465 - A dedicated infix operator for matrix multiplication. https:\/\/www.python.org\/dev\/peps\/pep-0465\/"},{"key":"e_1_2_1_68_1","volume-title":"Proceedings of Annual IEEE\/ACM International Symposium on Code Generation and Optimization. ACM, Orlando FL USA, 23--32","author":"Daniele","unstructured":"Daniele G. Spampinato and Markus P\u00fcschel. 2014. A Basic Linear Algebra Compiler . In Proceedings of Annual IEEE\/ACM International Symposium on Code Generation and Optimization. ACM, Orlando FL USA, 23--32 . Daniele G. Spampinato and Markus P\u00fcschel. 2014. A Basic Linear Algebra Compiler. In Proceedings of Annual IEEE\/ACM International Symposium on Code Generation and Optimization. ACM, Orlando FL USA, 23--32."},{"key":"e_1_2_1_69_1","volume-title":"What are the benefits of writing vector inner products as &lang;u, &nu;&rang","author":"Tao Terence","year":"2020","unstructured":"Terence Tao . 2020. What are the benefits of writing vector inner products as &lang;u, &nu;&rang ; as opposed to uT &nu;? MathOverflow. arXiv:https:\/\/mathoverflow.net\/q\/366118 https:\/\/mathoverflow.net\/q\/366118 URL :https:\/\/mathoverflow.net\/q\/366118 (version: 2020 -10-25). Terence Tao. 2020. What are the benefits of writing vector inner products as &lang;u, &nu;&rang; as opposed to uT &nu;? MathOverflow. arXiv:https:\/\/mathoverflow.net\/q\/366118 https:\/\/mathoverflow.net\/q\/366118 URL:https:\/\/mathoverflow.net\/q\/366118 (version: 2020-10-25)."},{"key":"e_1_2_1_70_1","unstructured":"The Coq Development Team. 2021. The Coq Proof Assistant. Language: en.  The Coq Development Team. 2021. The Coq Proof Assistant. Language: en."},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209887"},{"key":"e_1_2_1_72_1","unstructured":"W3C. 2016. MathML. https:\/\/www.w3.org\/Math\/  W3C. 2016. MathML. https:\/\/www.w3.org\/Math\/"},{"key":"e_1_2_1_73_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3306346.3322983","article-title":"Hand modeling and simulation using stabilized magnetic resonance imaging","volume":"38","author":"Wang Bohan","year":"2019","unstructured":"Bohan Wang , George Matcuk , and Jernej Barbi\u010d . 2019 . Hand modeling and simulation using stabilized magnetic resonance imaging . ACM Transactions on Graphics (TOG) 38 , 4 (2019), 1 -- 14 . Bohan Wang, George Matcuk, and Jernej Barbi\u010d. 2019. Hand modeling and simulation using stabilized magnetic resonance imaging. ACM Transactions on Graphics (TOG) 38, 4 (2019), 1--14.","journal-title":"ACM Transactions on Graphics (TOG)"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3323024"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2980179.2982403"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386569.3392375"},{"key":"e_1_2_1_77_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3306346.3322988","article-title":"Computational design of fabric formwork","volume":"38","author":"Zhang Xiaoting","year":"2019","unstructured":"Xiaoting Zhang , Guoxin Fang , M\u00e9lina Skouras , Gwenda Gieseler , Charlie Wang , and Emily Whiting . 2019 . Computational design of fabric formwork . ACM Transactions on Graphics 38 , 4 (2019), 1 -- 13 . Xiaoting Zhang, Guoxin Fang, M\u00e9lina Skouras, Gwenda Gieseler, Charlie Wang, and Emily Whiting. 2019. Computational design of fabric formwork. ACM Transactions on Graphics 38, 4 (2019), 1--13.","journal-title":"ACM Transactions on Graphics"}],"container-title":["ACM Transactions on Graphics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3478513.3480506","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3478513.3480506","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3478513.3480506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:11:49Z","timestamp":1750191109000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3478513.3480506"}},"subtitle":["compilable markdown for linear algebra"],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":76,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["10.1145\/3478513.3480506"],"URL":"https:\/\/doi.org\/10.1145\/3478513.3480506","relation":{},"ISSN":["0730-0301","1557-7368"],"issn-type":[{"value":"0730-0301","type":"print"},{"value":"1557-7368","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12]]},"assertion":[{"value":"2021-12-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}