-
1Conference
المساهمون: IFP Energies nouvelles (IFPEN), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)
المصدر: RAIM 2024 : 15èmes Rencontres de l'Arithmétique en Informatique Mathématique ; https://hal.science/hal-04779549 ; RAIM 2024 : 15èmes Rencontres de l'Arithmétique en Informatique Mathématique, Nov 2024, Perpignan, France ; https://raim2024.sciencesconf.org/data/RAIM2024_Dorfsman.pdf
مصطلحات موضوعية: [MATH]Mathematics [math], [INFO]Computer Science [cs]
-
2Conference
المؤلفون: Graillat, Stef, Jézéquel, Fabienne, Mary, Theo, Molina, Roméo, Mukunoki, Daichi
المساهمون: Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Université Paris-Panthéon-Assas, Laboratoire de Physique des 2 Infinis Irène Joliot-Curie (IJCLab), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), RIKEN Center for Computational Science Kobe (RIKEN CCS), RIKEN - Institute of Physical and Chemical Research Japon (RIKEN), ANR-20-CE46-0009,INTERFLOP,Plateforme d'analyse pour l'arithmétique flottante(2020), ANR-23-CE46-0005,MixHPC,Algorithmes en précision mixte pour le calcul haute performance(2023)
المصدر: Euro-Par 2024: Parallel Processing ; Euro-PAR 2024 (30th International European Conference on Parallel and Distributed Computing) ; https://hal.science/hal-04519666 ; Euro-PAR 2024 (30th International European Conference on Parallel and Distributed Computing), Aug 2024, Madrid, Spain. pp.17--30, ⟨10.1007/978-3-031-69583-4_2⟩
مصطلحات موضوعية: sparse matrix-vector product (SpMV), mixed precision, adaptive precision, reduced-precision, reduced-exponent, [INFO]Computer Science [cs]
جغرافية الموضوع: Spain
Time: Madrid, Spain
-
3Academic Journal
المؤلفون: Amestoy, Patrick, Boiteau, Olivier, Buttari, Alfredo, Gerest, Matthieu, Jézéquel, Fabienne, L’excellent, Jean-Yves, Mary, Théo
المساهمون: Mumps Technologies Lyon, EDF R&D (EDF R&D), EDF (EDF), Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Université Paris-Panthéon-Assas
المصدر: ISSN: 0895-4798.
مصطلحات موضوعية: numerical linear algebra, block low-rank matrices, data sparse matrices, LU factorization, triangular solve, linear systems, low-rank approximations, communication avoiding algorithms, [INFO]Computer Science [cs], [MATH]Mathematics [math]
Relation: hal-04082415; https://hal.science/hal-04082415; https://hal.science/hal-04082415/document; https://hal.science/hal-04082415/file/paper.pdf
-
4Academic Journal
المؤلفون: Amestoy, Patrick, Buttari, Alfredo, Higham, Nicholas, L’excellent, Jean-Yves, Mary, Théo, Vieublé, Bastien
المساهمون: Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Institut National Polytechnique (Toulouse) (Toulouse INP), Centre National de la Recherche Scientifique (CNRS), University of Manchester Manchester, Department of Mathematics Manchester (School of Mathematics), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 0895-4798.
مصطلحات موضوعية: iterative refinement, GMRES, linear system, mixed precision, multiple precision, rounding error analysis, floating-point arithmetic, backward error, forward error, preconditioning, 65G50, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]
-
5Academic Journal
المؤلفون: Graillat, Stef, Jézéquel, Fabienne, Mary, Théo, Molina, Roméo
المساهمون: Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Université Panthéon-Assas (UP2), Université Paris-Saclay, ANR-20-CE46-0009,INTERFLOP,Plateforme d'analyse pour l'arithmétique flottante(2020)
المصدر: ISSN: 1064-8275 ; SIAM Journal on Scientific Computing ; https://hal.science/hal-03561193 ; SIAM Journal on Scientific Computing, 2024, 46 (1), pp.C30-C56. ⟨10.1137/22M1522619⟩.
مصطلحات موضوعية: mixed precision, adaptive precision, multiple precision, matrix–vector product, sparse matrix, SpMV, numerical linear algebra, rounding error analysis, floating-point arithmetic, Krylov solver, GMRES, CG, BiCGstab, iterative solver, linear system, [MATH]Mathematics [math], [INFO]Computer Science [cs]
-
6Dissertation/ ThesisSolveurs multifrontaux exploitant des blocs de rang faible : complexité, performance et parallélisme
المؤلفون: Mary, Théo
Thesis Advisors: Toulouse 3, Amestoy, Patrick, Buttari, Alfredo
مصطلحات موضوعية: Matrices creuses, Systèmes linéaires creux, Méthodes directes, Méthode multifrontale, Approximations de rang-faible, Equations aux dérivées partielles elliptiques, Calcul haute performance, Calcul parallèle, Sparse matrices, Direct methods for linear systems, Multifrontal method, Low-rank approximations, High-performance computing, Parallel computing, Partial differential equations
-
7Report
المؤلفون: Gorman, Christopher, Chávez, Gustavo, Ghysels, Pieter, Mary, Théo, Rouet, François-Henry, Li, Xiaoye Sherry
URL الوصول: http://arxiv.org/abs/1810.04125
-
8Report
المؤلفون: Buttari, Alfredo, Higham, Nicholas, J, Mary, Théo, Vieublé, Bastien
المساهمون: Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), University of Manchester Manchester, Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Academy of Mathematics and Systems Science (AMSS), Chinese Academy of Sciences Beijing (CAS), National Natural Science Foundation of China (No. 12288201)., ANR-22-EXNU-0002,Exa-MA,Methods and Algorithms for Exascale(2022), ANR-23-CE46-0005,MixHPC,Algorithmes en précision mixte pour le calcul haute performance(2023)
المصدر: https://hal.science/hal-04525918 ; 2024.
مصطلحات موضوعية: Iterative solvers, GMRES, Rounding error analysis, Linear system of equations, Computer arithmetic, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
-
9Report
المؤلفون: Mary, Théo, Mikaitis, Mantas
المساهمون: Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), University of Leeds, ANR-22-EXNU-0002,Exa-MA,Methods and Algorithms for Exascale(2022), ANR-20-CE46-0009,INTERFLOP,Plateforme d'analyse pour l'arithmétique flottante(2020), ANR-23-CE46-0005,MixHPC,Algorithmes en précision mixte pour le calcul haute performance(2023)
المصدر: https://hal.science/hal-04671474 ; 2024.
مصطلحات موضوعية: matrix multiplication, rounding error analysis, floating-point arithmetic, underflow, overflow, scaling, multiword arithmetic, reduced precision, mixed precision, GPUs, [INFO]Computer Science [cs], [MATH]Mathematics [math]
Relation: hal-04671474; https://hal.science/hal-04671474; https://hal.science/hal-04671474/document; https://hal.science/hal-04671474/file/manuscript.pdf
-
10Report
المؤلفون: Baboulin, Marc, Donfack, Simplice, Kaya, Oguz, Mary, Theo, Robeyns, Matthieu
المساهمون: Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Institut du développement et des ressources en informatique scientifique (IDRIS), Centre National de la Recherche Scientifique (CNRS), Maison de la Simulation (MDLS), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Systèmes Parallèles - LISN (ParSys), Algorithmes, Apprentissage et Calcul (AAC), Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-22-EXNU-0003,Exa-Soft,High Performance Computing software and tools(2022), ANR-20-CE46-0008,SELESTE,Solveurs Efficaces des Systèmes Linéaires et des Problèmes de Valeurs Propres Basés sur les Décompositions Tensorielles(2020), ANR-23-CE46-0005,MixHPC,Algorithmes en précision mixte pour le calcul haute performance(2023)
المصدر: https://hal.science/hal-04520893 ; 2024.
مصطلحات موضوعية: mixed precision algorithms, randomized algorithms, low-rank approximations, GPU computing, tensor cores, 65F55, 65Y05, 65Y10, 65F45, AMS 65F45, MESH: mixed precision algorithms, MESH: randomized algorithms, MESH: low-rank approximations, MESH: GPU computing, MESH: tensor cores, [INFO]Computer Science [cs]
Relation: hal-04520893; https://hal.science/hal-04520893; https://hal.science/hal-04520893/document; https://hal.science/hal-04520893/file/Mixed_precision_analyse_on_GPU_framework.pdf
-
11Report
المؤلفون: Buttari, Alfredo, Mary, Théo, Pacteau, André
المساهمون: Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-22-EXNU-0003,Exa-Soft,High Performance Computing software and tools(2022), ANR-23-CE46-0005,MixHPC,Algorithmes en précision mixte pour le calcul haute performance(2023)
المصدر: https://hal.science/hal-04490215 ; 2024.
مصطلحات موضوعية: Mixed-precision algorithms, QR factorization, low-rank approximations, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Relation: hal-04490215; https://hal.science/hal-04490215; https://hal.science/hal-04490215/document; https://hal.science/hal-04490215/file/paper.pdf
-
12Report
المؤلفون: Beuzeville, Théo, Buttari, Alfredo, Gratton, Serge, Mary, Theo
المساهمون: Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Institut National Polytechnique (Toulouse) (Toulouse INP), Centre National de la Recherche Scientifique (CNRS), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-22-EXNU-0002,Exa-MA,Methods and Algorithms for Exascale(2022), ANR-20-CE46-0009,INTERFLOP,Plateforme d'analyse pour l'arithmétique flottante(2020), ANR-23-CE46-0005,MixHPC,Algorithmes en précision mixte pour le calcul haute performance(2023)
المصدر: https://hal.science/hal-04663142 ; 2024.
مصطلحات موضوعية: floating-point arithmetic, error analysis, artificial neural networks, rounding errors, backward error, probabilistic error analysis, [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Relation: hal-04663142; https://hal.science/hal-04663142; https://hal.science/hal-04663142/document; https://hal.science/hal-04663142/file/backward_error_analysis_neural_networks.pdf
-
13Report
المؤلفون: Jézéquel, Fabienne, Mary, Théo
المساهمون: Université Paris-Panthéon-Assas, Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-20-CE46-0009,INTERFLOP,Plateforme d'analyse pour l'arithmétique flottante(2020)
المصدر: https://hal.science/hal-04554459 ; 2024.
مصطلحات موضوعية: inner products, probabilistic error analysis, stochastic arithmetic, numerical validation, CADNA library, [INFO]Computer Science [cs], [MATH]Mathematics [math]
Relation: hal-04554459; https://hal.science/hal-04554459; https://hal.science/hal-04554459/document; https://hal.science/hal-04554459/file/paper.pdf
-
14Report
المؤلفون: Graillat, Stef, Mary, Théo
المساهمون: Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-20-CE46-0009,INTERFLOP,Plateforme d'analyse pour l'arithmétique flottante(2020), ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020), ANR-23-CE46-0005,MixHPC,Algorithmes en précision mixte pour le calcul haute performance(2023)
المصدر: https://hal.science/hal-04507609 ; 2024.
مصطلحات موضوعية: summation, floating-point arithmetic, rounding error analysis, distillation, ill-conditioning, [INFO]Computer Science [cs], [MATH]Mathematics [math]
Relation: hal-04507609; https://hal.science/hal-04507609; https://hal.science/hal-04507609/document; https://hal.science/hal-04507609/file/paper.pdf
-
15Report
المؤلفون: Mary, Théo
المساهمون: Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-20-CE46-0009,INTERFLOP,Plateforme d'analyse pour l'arithmétique flottante(2020), ANR-22-EXNU-0002,Exa-MA,Methods and Algorithms for Exascale(2022), ANR-23-CE46-0005,MixHPC,Algorithmes en précision mixte pour le calcul haute performance(2023)
المصدر: https://hal.science/hal-04554516 ; 2024.
مصطلحات موضوعية: low-rank approximation, Gram matrix, finite precision arithmetic, rounding error analysis, singular value decomposition, eigenvalue decomposition, iterative refinement, mixed precision, [INFO]Computer Science [cs], [MATH]Mathematics [math]
Relation: hal-04554516; https://hal.science/hal-04554516; https://hal.science/hal-04554516/document; https://hal.science/hal-04554516/file/paper.pdf
-
16ConferenceScaling is all you need: quantization of butterfly matrix products via optimal rank-one quantization
المؤلفون: Gribonval, Rémi, Mary, Theo, Riccietti, Elisa
المساهمون: Optimisation, Connaissances pHysiques, Algorithmes et Modèles (OCKHAM), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut Rhône-Alpin des systèmes complexes (IXXI), Université de Lyon-Université de Lyon-Université Lumière - Lyon 2 (UL2)-Université Jean Moulin - Lyon 3 (UJML), Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Université Lumière - Lyon 2 (UL2)-Université Jean Moulin - Lyon 3 (UJML), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), GDR ISIS project MOMIGS, ANR-19-CHIA-0009,AllegroAssai,Algorithmes, Approximations, Parcimonie et Plongements pour l'IA(2019)
المصدر: 29ème Colloque sur le traitement du signal et des images (GRETSI)
https://inria.hal.science/hal-04146706
29ème Colloque sur le traitement du signal et des images (GRETSI), Aug 2023, Grenoble, France. pp.497-500
https://gretsi.fr/archives/colloque/2023مصطلحات موضوعية: Quantization, rank one, sparse matrices, butterfly, Floating point arithmetic, [INFO]Computer Science [cs]
-
17Report
المؤلفون: Berthomieu, Jérémy, Graillat, Stef, Lesnoff, Dimitri, Mary, Theo
المساهمون: Polynomial Systems (PolSys), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Performance et Qualité des Algorithmes Numériques (PEQUAN), ANR-19-CE48-0015,ECARP,Algorithmes efficaces et exacts pour la planification de trajectoire en robotique(2019), ANR-22-CE91-0007,EAGLES,Algorithmes Efficaces pour Guessing, Inégalités, Sommation(2022), ANR-19-CE40-0018,DeRerumNatura,Décider l'irrationalité et la transcendance(2019), ANR-20-CE46-0009,INTERFLOP,Plateforme d'analyse pour l'arithmétique flottante(2020), ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020), ANR-22-EXNU-0002,Exa-MA,Methods and Algorithms for Exascale(2022), ANR-23-CE46-0005,MixHPC,Algorithmes en précision mixte pour le calcul haute performance(2023)
المصدر: https://hal.science/hal-04917201 ; 2025.
مصطلحات موضوعية: matrix multiplication, multiword decomposition, modular arithmetic, finite fields, floating-point arithmetic, CPU, GPU, high-performance computing, [INFO]Computer Science [cs]
الاتاحة: https://hal.science/hal-04917201
-
18Academic Journal
المؤلفون: Amestoy, Patrick, Buttari, Alfredo, Higham, Nicholas, J, L’excellent, Jean-Yves, Mary, Théo, Vieublé, Bastien
المساهمون: École normale supérieure de Lyon (ENS de Lyon), Université de Lyon, Mumps Technologies Lyon, Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Institut National Polytechnique (Toulouse) (Toulouse INP), Centre National de la Recherche Scientifique (CNRS), University of Manchester Manchester, Department of Mathematics Manchester (School of Mathematics), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Olympe supercomputer of the CALMIP center (project P0989), European Project: 676629,H2020 Pilier Excellent Science,H2020-EINFRA-2015-1,EoCoE(2015)
المصدر: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-03536031 ; ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-29. ⟨10.1145/3582493⟩.
مصطلحات موضوعية: iterative refinement, GMRES, linear system, mixed precision, multiple precision, rounding error analysis, floating-point arithmetic, sparse direct solver, multifrontal method, preconditioning, parallelism, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Relation: info:eu-repo/grantAgreement//676629/EU/Energy oriented Centre of Excellence for computer applications/EoCoE
-
19Academic Journal
المؤلفون: Operto, Stéphane, Amestoy, Patrick, Beller, Stephen, Buttari, Alfredo, Combe, L., Dolean, Victorita, Gerest, Matthieu, Guo, Gaoshan, Jolivet, Pierre, L'Excellent, Jean-Yves, Mamfoumbi, Frichnel, Mary, Théo, Puglisi, Chiara, Ribodetti, Alessandra, Tournier, Pierre-Henri
المساهمون: Géoazur (GEOAZUR 7329), Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire de la Côte d'Azur, Université Côte d'Azur (UniCA)-Université Côte d'Azur (UniCA)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD Occitanie ), Université Côte d'Azur (UniCA), Mumps Technologies Lyon, Centre National de la Recherche Scientifique (CNRS), Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Laboratoire Jean Alexandre Dieudonné (LJAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Performance et Qualité des Algorithmes Numériques (PEQUAN), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), EDF R&D (EDF R&D), EDF (EDF), Laboratoire Jacques-Louis Lions (LJLL (UMR_7598)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Algorithms and parallel tools for integrated numerical simulations (ALPINES), Institut National des Sciences Mathématiques et de leurs Interactions - CNRS Mathématiques (INSMI-CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jacques-Louis Lions (LJLL (UMR_7598)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
المصدر: ISSN: 1070-485X ; Leading Edge ; https://hal.science/hal-03922986 ; Leading Edge, 2023, 42 (3), pp.173-183. ⟨10.1190/tle42030173.1⟩.
مصطلحات موضوعية: [PHYS.PHYS.PHYS-GEO-PH]Physics [physics]/Physics [physics]/Geophysics [physics.geo-ph], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2210.16767; ARXIV: 2210.16767; IRD: fdi:010089131
-
20Academic Journal
المؤلفون: Amestoy, Patrick, Buttari, Alfredo, Higham, Nicholas, L'Excellent, Jean-Yves, Mary, Théo, Vieuble, Bastien
المساهمون: Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), University of Manchester Manchester, Mumps Technologies Lyon, Department of Mathematics Manchester (School of Mathematics)
المصدر: ISSN: 0895-4798.
مصطلحات موضوعية: iterative refinement, GMRES, linear system, mixed precision, multiple precision, rounding error analysis, floating-point arithmetic, backward error, forward error, preconditioning, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]
Relation: hal-03190686; https://hal.science/hal-03190686; https://hal.science/hal-03190686/document; https://hal.science/hal-03190686/file/paper.pdf