{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:27Z","timestamp":1750307967110,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"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.1277603","type":"proceedings-article","created":{"date-parts":[[2007,12,7]],"date-time":"2007-12-07T19:19:41Z","timestamp":1197055181000},"page":"391-392","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Some recent progress in exact linear algebra and related questions"],"prefix":"10.1145","author":[{"given":"Gilles","family":"Villard","sequence":"first","affiliation":[{"name":"\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":"M\u00e9thodes matricielles: Introduction \u00e0 la Complexit\u00e9 Alg\u00e9brique. Collection Math\u00e8matique et Applications","author":"Abdeljaoued J.","year":"2004","unstructured":"J. Abdeljaoued and H. Lombardi . M\u00e9thodes matricielles: Introduction \u00e0 la Complexit\u00e9 Alg\u00e9brique. Collection Math\u00e8matique et Applications , Springer-Verlag , 2004 . J. Abdeljaoued and H. Lombardi. M\u00e9thodes matricielles: Introduction \u00e0 la Complexit\u00e9 Alg\u00e9brique. Collection Math\u00e8matique et Applications, Springer-Verlag, 2004."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1137\/S0895479892230031"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.5555\/184671"},{"key":"e_1_3_2_1_4_1","volume-title":"M. Clausen, and M. Shokrollahi. Algebraic Complexity Theory.","author":"P.","year":"1997","unstructured":"P. B. urgisser , M. Clausen, and M. Shokrollahi. Algebraic Complexity Theory. Volume 315 , Grundlehren der mathematischen Wissenschaften. Springer-Verlag , 1997 . P. B. urgisser, M. Clausen, and M. Shokrollahi. Algebraic Complexity Theory. Volume 315, Grundlehren der mathematischen Wissenschaften. Springer-Verlag, 1997."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1016\/S0024-3795(01)00472-4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/1073884.1073899"},{"key":"e_1_3_2_1_7_1","volume-title":"Springer-Verlag","author":"Handbook Computer Algebra","year":"2003","unstructured":"Computer Algebra Handbook , J. Grabmeier , E. Kaltofen , and V. Weispfenning editors , Springer-Verlag , 2003 . Computer Algebra Handbook, J. Grabmeier, E. Kaltofen, and V. Weispfenning editors, Springer-Verlag, 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.2307\/2153413"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/BF01459082"},{"key":"e_1_3_2_1_10_1","first-page":"50","volume-title":"LinBox: A Generic Library for Exact Linear Algebra. ICMS'02","author":"Dumas J.","unstructured":"J. Dumas , T. Gautier , M. Giesbrecht , P. Giorgi , B. Hovinen , E. Kaltofen , B. Saunders , W. Turner , and G. Villard . LinBox: A Generic Library for Exact Linear Algebra. ICMS'02 , Beijing, China , pp. 40{ 50 . World Scientific, 2002. J. Dumas, T. Gautier, M. Giesbrecht, P. Giorgi, B. Hovinen, E. Kaltofen, B. Saunders, W. Turner, and G. Villard. LinBox: A Generic Library for Exact Linear Algebra. ICMS'02, Beijing, China, pp. 40{50. World Scientific, 2002."},{"key":"e_1_3_2_1_11_1","volume-title":"Dense linear algebra over nite fields: the FFLAS and FFPACK packages. RRccsd-00018223, arXiv cs.SC\/0601133","author":"Dumas J.-G.","year":"2006","unstructured":"J.-G. Dumas , T. Gautier , P. Giorgi , and C. Pernet . Dense linear algebra over nite fields: the FFLAS and FFPACK packages. RRccsd-00018223, arXiv cs.SC\/0601133 , 2006 . J.-G. Dumas, T. Gautier, P. Giorgi, and C. Pernet. Dense linear algebra over nite fields: the FFLAS and FFPACK packages. RRccsd-00018223, arXiv cs.SC\/0601133, 2006."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. Challenges in Symbolic Computation Software, Dagstuhl Seminar 06271","author":"Dumas J.-G.","year":"2006","unstructured":"J.-G. Dumas , C. Pernet , and J.-L. Roch . Adaptive Triangular System Solving. In W. Decker, M. Dewar, E. Kaltofen, and S. Watt, editors , Proc. Challenges in Symbolic Computation Software, Dagstuhl Seminar 06271 , Germany , 2006 . J.-G. Dumas, C. Pernet, and J.-L. Roch. Adaptive Triangular System Solving. In W. Decker, M. Dewar, E. Kaltofen, and S. Watt, editors, Proc. Challenges in Symbolic Computation Software, Dagstuhl Seminar 06271, Germany, 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1073884.1073905"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.5555\/795666.796601"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/258726.258776"},{"key":"e_1_3_2_1_16_1","volume-title":"Modern Computer Algebra","author":"von zur Gathen J.","year":"1999","unstructured":"J. von zur Gathen and J. Gerhard . Modern Computer Algebra . Cambridge University Press , 1999 . J. von zur Gathen and J. Gerhard. Modern Computer Algebra. Cambridge University Press, 1999."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/266670.266678"},{"key":"e_1_3_2_1_18_1","volume-title":"France","author":"Giorgi P.","year":"2004","unstructured":"P. Giorgi . Arithm\u00e9tique et algorithmique en alg\u00e8bre lin\u00e8aire exacte pour la biblioth\u00e8que LinBox. Th\u00e8se de Doctorat, \u00c9cole Normale Sup\u00e9rieure de Lyon , France , 2004 . P. Giorgi. Arithm\u00e9tique et algorithmique en alg\u00e8bre lin\u00e8aire exacte pour la biblioth\u00e8que LinBox. Th\u00e8se de Doctorat, \u00c9cole Normale Sup\u00e9rieure de Lyon, France, 2004."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/860854.860889"},{"key":"e_1_3_2_1_20_1","volume-title":"Waterloo","author":"Hovinen B.","year":"2004","unstructured":"B. Hovinen . Block Lanczos-Style Algorithms over Small Finite Fields. Master's Thesis, U . Waterloo , Canada , 2004 . B. Hovinen. Block Lanczos-Style Algorithms over Small Finite Fields. Master's Thesis, U. Waterloo, Canada, 2004."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1016\/j.jco.2004.03.005"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1080\/00207170600726477"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/143242.143350"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.2307\/2153451"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1137\/0608057"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1007\/PL00008266"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1145\/1073884.1073915"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1145\/113379.113396"},{"key":"e_1_3_2_1_29_1","first-page":"714","volume-title":"33rd IEEE Symp. Found. Comp. Sc.","author":"Kaltofen E.","year":"1992","unstructured":"E. Kaltofen and V. Pan . Processor efficient parallel solution of linear systems II: the general case . 33rd IEEE Symp. Found. Comp. Sc. , Pittsburg, USA , pp. 714 -- 723 , 1992 . E. Kaltofen and V. Pan. Processor efficient parallel solution of linear systems II: the general case. 33rd IEEE Symp. Found. Comp. Sc., Pittsburg, USA, pp. 714--723, 1992."},{"key":"e_1_3_2_1_30_1","first-page":"29","volume-title":"LNCS 539","author":"Kaltofen E.","year":"1991","unstructured":"E. Kaltofen and B. Saunders . On Wiedemann's method of solving sparse linear systems. AAECC-9 , LNCS 539 , Springer-Verlag , pp. 29 -- 38 , 1991 . E. Kaltofen and B. Saunders. On Wiedemann's method of solving sparse linear systems. AAECC-9, LNCS 539, Springer-Verlag, pp. 29--38, 1991."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1007\/s00037-004-0185-3"},{"key":"e_1_3_2_1_32_1","volume-title":"http:\/\/www.linalg.org","author":"LinBox","year":"2007","unstructured":"LinBox. LinBox Version 1.1 , http:\/\/www.linalg.org . 2007 . LinBox. LinBox Version 1.1, http:\/\/www.linalg.org. 2007."},{"key":"e_1_3_2_1_33_1","first-page":"63","volume-title":"LNCS 72","author":"Moenck R.","year":"1979","unstructured":"R. Moenck and J. Carter . Approximate algorithms to derive exact solutions to systems of linear equations. EUROSAM , LNCS 72 , Springer-Verlag , pp. 63 -- 73 , 1979 . R. Moenck and J. Carter. Approximate algorithms to derive exact solutions to systems of linear equations. EUROSAM, LNCS 72, Springer-Verlag, pp. 63--73, 1979."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1016\/0304-3975(87)90019-3"},{"key":"e_1_3_2_1_35_1","volume-title":"Fourier","author":"Pernet C.","year":"2006","unstructured":"C. Pernet . Alg\u00e9bre lin\u00e9aire exacte efficace: le calcul du polyn\u00f4me caract\u00e9ristique. Th\u00e8se de Doctorat, U. J . Fourier , Grenoble, France , 2006 . C. Pernet. Alg\u00e9bre lin\u00e9aire exacte efficace: le calcul du polyn\u00f4me caract\u00e9ristique. Th\u00e8se de Doctorat, U. J. Fourier, Grenoble, France, 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1145\/1005285.1005325"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1016\/S0747-7171(03)00097-X"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1016\/j.jco.2005.04.002"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_40_1","DOI":"10.1145\/1073884.1073927"},{"key":"e_1_3_2_1_41_1","volume-title":"Palaiseau","author":"Thom\u00e9 E.","year":"2003","unstructured":"E. Thom\u00e9 . Algorithmes de calcul de logarithmes discrets dans les corps finis. Th\u00e8se de Doctorat, \u00c9cole Polytechnique , Palaiseau , France , 2003 . E. Thom\u00e9. Algorithmes de calcul de logarithmes discrets dans les corps finis. Th\u00e8se de Doctorat, \u00c9cole Polytechnique, Palaiseau, France, 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_43_1","DOI":"10.1145\/258726.258742"},{"key":"e_1_3_2_1_44_1","volume-title":"USA","author":"Wan Z.","year":"2005","unstructured":"Z. Wan . Computing the Smith forms of integer matrices and solving related problems. PhD thesis, U. Delaware , USA , 2005 . Z. Wan. Computing the Smith forms of integer matrices and solving related problems. PhD thesis, U. Delaware, USA, 2005."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_45_1","DOI":"10.1109\/TIT.1986.1057137"}],"event":{"sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"ISSAC07","name":"ISSAC07: International Symposium on Symbolic and Algebraic Computation","location":"Waterloo Ontario Canada"},"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.1277603","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1277548.1277603","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.1277603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,29]]},"references-count":43,"alternative-id":["10.1145\/1277548.1277603","10.1145\/1277548"],"URL":"https:\/\/doi.org\/10.1145\/1277548.1277603","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"}}]}}