{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T12:58:43Z","timestamp":1772283523188,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,29]],"date-time":"2007-07-29T00:00:00Z","timestamp":1185667200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,29]]},"DOI":"10.1145\/1277548.1277597","type":"proceedings-article","created":{"date-parts":[[2007,12,7]],"date-time":"2007-12-07T19:19:41Z","timestamp":1197055181000},"page":"361-368","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Certification of the QR factor R and of lattice basis reducedness"],"prefix":"10.1145","author":[{"given":"Gilles","family":"Villard","sequence":"first","affiliation":[{"name":"CNRS, Laboratoire LIP (CNRS, ENSL, INRIA, UCBL), \u00c9cole Normale Sup\u00e9rieure de Lyon, France"}]}],"member":"320","published-online":{"date-parts":[[2007,7,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Standard for Binary Floating-Point Arithmetic","author":"IEEE","year":"1985","unstructured":"ANSI\/ IEEE 754-1985. Standard for Binary Floating-Point Arithmetic , 1985 . ANSI\/IEEE 754-1985. Standard for Binary Floating-Point Arithmetic, 1985."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.850673"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2007.17"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00005447"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0895479896297720"},{"key":"e_1_3_2_1_6_1","volume-title":"A Course in Computational Number Theory Springer-Verlag","author":"Cohen H.","year":"1995","unstructured":"H. Cohen . A Course in Computational Number Theory Springer-Verlag , 2 nd Edition, 1995 . H. Cohen. A Course in Computational Number Theory Springer-Verlag, 2nd Edition, 1995.","edition":"2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208001004"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/77626.79170"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09526-8_5"},{"key":"e_1_3_2_1_10_1","unstructured":"Gnu MP. The GNU Multiple Precision Arithmetic Library Edition 4.2.1 http:\/\/gmplib.org. 2006.  Gnu MP. The GNU Multiple Precision Arithmetic Library Edition 4.2.1 http:\/\/gmplib.org. 2006."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/BFb0052231","volume-title":"Proc. CRYPTO'97","author":"Goldreich O.","year":"1997","unstructured":"O. Goldreich , S. Goldwasser , and S. Halevi . Public-key cryptosystems from lattice reduction problems . In Proc. CRYPTO'97 , Santa Barbara , California, USA LNCS 1294, pages 112 -- 131 . Springer Verlag , 1997 . O. Goldreich, S. Goldwasser, and S. Halevi. Public-key cryptosystems from lattice reduction problems. In Proc. CRYPTO'97, Santa Barbara, California, USA LNCS 1294, pages 112--131. Springer Verlag, 1997."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718027","volume-title":"Accuracy and stability of numerical algorithms SIAM","author":"Higham N.J.","year":"2002","unstructured":"N.J. Higham . Accuracy and stability of numerical algorithms SIAM , Philadelphia, PA , 2 nd Edition, 2002 . N.J. Higham. Accuracy and stability of numerical algorithms SIAM, Philadelphia, PA, 2nd Edition, 2002.","edition":"2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/648184.749737"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2003.08.019"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01457454"},{"key":"e_1_3_2_1_16_1","volume-title":"Version 2.13","year":"2006","unstructured":"Magma. Handbook of Magma Functions , Version 2.13 Computational Algebra Group , U. Sydney, Australia, 2006 . Magma. Handbook of Magma Functions, Version 2.13 Computational Algebra Group, U. Sydney, Australia, 2006."},{"key":"e_1_3_2_1_17_1","volume-title":"Inc.","author":"Guide User's","year":"2006","unstructured":"Matlab. User's Guide , V7. 2 The MathWorks , Inc. , 2006 . Matlab. User's Guide, V7.2 The MathWorks, Inc., 2006."},{"key":"e_1_3_2_1_18_1","first-page":"209","volume-title":"Result Verification for Eigenvectors and Eigenvalues","author":"Mayer G.","year":"1993","unstructured":"G. Mayer . Result Verification for Eigenvectors and Eigenvalues . In J. Herzberger, editor, IMACS-GAMM International Workshop, Oldenburg, Germany , 1993 Stud. Comput. Math., pages 209 -- 276 . Elsevier , 1994. G. Mayer. Result Verification for Eigenvectors and Eigenvalues. In J. Herzberger, editor, IMACS-GAMM International Workshop, Oldenburg, Germany, 1993 Stud. Comput. Math., pages 209--276. Elsevier, 1994."},{"key":"e_1_3_2_1_19_1","volume-title":"Waterloo","author":"Monagan Michael B.","year":"2005","unstructured":"Michael B. Monagan , Keith O. Geddes , K. Michael Heal , George Labahn , Stefan M. Vorkoetter , James McCarron , and Paul DeMarco . Maple 10 Programming Guide Maplesoft , Waterloo , Ontario, Canada , 2005 . Michael B. Monagan, Keith O. Geddes, K. Michael Heal, George Labahn, Stefan M. Vorkoetter, James McCarron, and Paul DeMarco. Maple 10 Programming Guide Maplesoft, Waterloo, Ontario, Canada, 2005."},{"key":"e_1_3_2_1_20_1","volume-title":"http:\/\/www.mpfr.org","author":"The Multiple Precision MPFR.","year":"2006","unstructured":"MPFR. The Multiple Precision Floating-Point Reliable Library , Edition 2.2.1 , http:\/\/www.mpfr.org . 2006 . MPFR. The Multiple Precision Floating-Point Reliable Library, Edition 2.2.1, http:\/\/www.mpfr.org. 2006."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11426639_13"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11792086_18"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002110100310"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-001-0032-8"},{"key":"e_1_3_2_1_25_1","first-page":"63","volume-title":"Topics in Validated Computations - Studies in Computational Mathematics","author":"Rump S.M.","year":"1994","unstructured":"S.M. Rump . Verification Methods for Dense and Sparse Systems of Equations . In J. Herzberger, editor, Topics in Validated Computations - Studies in Computational Mathematics pages 63 -- 136 . Elsevier , 1994 . S.M. Rump. Verification Methods for Dense and Sparse Systems of Equations. In J. Herzberger, editor, Topics in Validated Computations - Studies in Computational Mathematics pages 63--136. Elsevier, 1994."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(00)00279-2"},{"key":"e_1_3_2_1_27_1","first-page":"110","volume-title":"Computer Algebra Handbook","author":"Rump S.M.","year":"2003","unstructured":"S.M. Rump . Algorithms for Computing Validated Results . In J. Grabmeier, E. Kaltofen, and V. Weispfenning, editor, Computer Algebra Handbook pages 110 -- 112 . Springer-Verlag , Heidelberg, Germany , 2003 . S.M. Rump. Algorithms for Computing Validated Results. In J. Grabmeier, E. Kaltofen, and V. Weispfenning, editor, Computer Algebra Handbook pages 110--112. Springer-Verlag, Heidelberg, Germany, 2003."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1137\/1.9780898718157.ch10","volume-title":"Handbook of Accuracy and Reliability in Scientific Computation","author":"Rump S.M.","year":"2005","unstructured":"S.M. Rump . Computer-Assisted Proofs and Self-Validating Methods . In B. Einarsson, editor, Handbook of Accuracy and Reliability in Scientific Computation pages 195 -- 240 . SIAM , 2005 . S.M. Rump. Computer-Assisted Proofs and Self-Validating Methods. In B. Einarsson, editor, Handbook of Accuracy and Reliability in Scientific Computation pages 195--240. SIAM, 2005."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10543-006-0056-1"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2005.07.038"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(88)90004-1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.04.004"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01581144"},{"key":"e_1_3_2_1_34_1","volume-title":"Nancy","author":"Stehl\u00e9 D.","year":"2005","unstructured":"D. Stehl\u00e9 . Algorithmique de la r\u00e9duction de r\u00e9seaux et application \u00e0 la recherche de pires cas pour l'arrondi de fonctions math\u00e9matiques PhD thesis, Universit\u00e9 Henri-Poincar\u00e9-Nancy 1 , Nancy , France , December 2005 . D. Stehl\u00e9. Algorithmique de la r\u00e9duction de r\u00e9seaux et application \u00e0 la recherche de pires cas pour l'arrondi de fonctions math\u00e9matiques PhD thesis, Universit\u00e9 Henri-Poincar\u00e9-Nancy 1, Nancy, France, December 2005."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1137\/0614078"},{"key":"e_1_3_2_1_36_1","volume-title":"Faster Algorithms for Integer Lattice Basis Reduction. TR249 ETH-Zurich,Dpt. Comp","author":"Storjohann A.","year":"1996","unstructured":"A. Storjohann . Faster Algorithms for Integer Lattice Basis Reduction. TR249 ETH-Zurich,Dpt. Comp . Sc ., Zurich, Switzerland , 1996 . A. Storjohann. Faster Algorithms for Integer Lattice Basis Reduction. TR249 ETH-Zurich,Dpt. Comp. Sc., Zurich, Switzerland, 1996."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01931293"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01994852"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"G. Villard. Certification of the QR Factor R and of Lattice Basis Reducedness. RR2007-3 LIP &201;NS Lyon France. http:\/\/hal.archives-ouvertes.fr\/hal-00127059\/en  G. Villard. Certification of the QR Factor R and of Lattice Basis Reducedness. RR2007-3 LIP &201;NS Lyon France. http:\/\/hal.archives-ouvertes.fr\/hal-00127059\/en","DOI":"10.1145\/1277548.1277597"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1137\/0614076"}],"event":{"name":"ISSAC07: International Symposium on Symbolic and Algebraic Computation","location":"Waterloo Ontario Canada","acronym":"ISSAC07","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2007 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1277548.1277597","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1277548.1277597","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:13Z","timestamp":1750258693000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1277548.1277597"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,29]]},"references-count":40,"alternative-id":["10.1145\/1277548.1277597","10.1145\/1277548"],"URL":"https:\/\/doi.org\/10.1145\/1277548.1277597","relation":{},"subject":[],"published":{"date-parts":[[2007,7,29]]},"assertion":[{"value":"2007-07-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}