Email Gateway (Aug 19 2022 at 17:12): Email Gateway (Aug 19 2022 at 17:12):From: Larry Paulson <lp15@cam.ac.uk>
I am happy to announce two new developments in the AFP: Echelon Form and QR Decomposition, both by Jose Divasón and Jesús Aransay. I won’t repeat the abstracts here (they are rather technical), but this work represents very impressive progress in the area of computational linear algebra, including matrix operations for solving linear systems and many other applications. The authors have also taken great care, both in writing highly polished proofs and at setting up code generation yielding what appears to be impressive performance.
http://afp.sourceforge.net/entries/Echelon_Form.shtml
http://afp.sourceforge.net/entries/QR_Decomposition.shtml
It’s great to see work like this being done.
Larry Paulson
Last updated: Apr 20 2024 at 08:16 UTC