Published in: LIPIcs, Volume 309, 15th International Conference on Interactive Theorem Proving (ITP 2024)
Florian Faissole, Paul Geneau de Lamarlière, and Guillaume Melquiond. End-To-End Formal Verification of a Fast and Accurate Floating-Point Approximation. In 15th International Conference on Interactive Theorem Proving (ITP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 309, pp. 14:1-14:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{faissole_et_al:LIPIcs.ITP.2024.14, author = {Faissole, Florian and Geneau de Lamarli\`{e}re, Paul and Melquiond, Guillaume}, title = {{End-To-End Formal Verification of a Fast and Accurate Floating-Point Approximation}}, booktitle = {15th International Conference on Interactive Theorem Proving (ITP 2024)}, pages = {14:1--14:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-337-9}, ISSN = {1868-8969}, year = {2024}, volume = {309}, editor = {Bertot, Yves and Kutsia, Temur and Norrish, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.14}, URN = {urn:nbn:de:0030-drops-207420}, doi = {10.4230/LIPIcs.ITP.2024.14}, annote = {Keywords: Program verification, floating-point arithmetic, formal proof, automated reasoning, mathematical library} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
Eric Schost, Alin Bostan, and Claude-Pierre Jeannerod. Using fast matrix multiplication to solve structured linear systems. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{schost_et_al:DagSemProc.06271.16, author = {Schost, Eric and Bostan, Alin and Jeannerod, Claude-Pierre}, title = {{Using fast matrix multiplication to solve structured linear systems}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6271}, editor = {Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06271.16}, URN = {urn:nbn:de:0030-drops-7787}, doi = {10.4230/DagSemProc.06271.16}, annote = {Keywords: Structured matrices, matrix multiplication, Hermite-Pade, bivariate interpolation} }
Feedback for Dagstuhl Publishing