Source: CP 2022 - 28th International Conference on Principles and Practice of Constraint Programming ; https://hal.science/hal-03858180 ; CP 2022 - 28th International Conference on Principles and Practice of

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Diagonally non-computable functions and fireworks

Authors : Bienvenu, Laurent; Patey, Ludovic;

Subjects: Levin-V'yugin algebra; Diagonally non-computable functions; Fireworks arguments

Source: ISSN: 0890-5401.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks

Authors : Martel, Matthieu; Najahi, Mohamed Amine; Revy, Guillaume ...

Subjects: Code generation; Certified numerical accuracy; Fixed-point arithmetic

Source: ISSN: 1383-7621 ; Journal of Systems Architecture ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01279628 ; Journal of Systems Architecture, 2017, 76, pp.133-148. ⟨10.1016/j.sysarc.2016.11.010⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Fast Dating Using Least-Squares Criteria and Algorithms

Authors : To, Thu-Hien; Jung, Matthieu; Lycett, Samantha ...

Subjects: Active-set method; Algorithms; Computer simulations

Source: ISSN: 1063-5157.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Elements of Design for Containers and Solutions in the LinBox Library

Authors : Boyer, Brice; Dumas, Jean-Guillaume; Giorgi, Pascal ...

Subjects: benchmarking; algorithms and containers; design patternSeoul; South Korea

Source: 4th International Congress of Mathematical SoftwareICMS: International Congress on Mathematical Softwarehttps://hal.science/hal-01015138ICMS: International Congress on Mathematical

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Simultaneous Rational Function Reconstruction and applications to Algebraic Coding Theory ; Reconstruction rationnelle simultanée et applications à la théorie des codes correcteurs d'erreurs

Authors : Zappatore, Ilaria;

Subjects: Computer Algebra; Error correcting codes; Algebraic Coding Theory

Source: https://theses.hal.science/tel-03013914 ; Other [cs.OH]. Université Montpellier, 2020. English. ⟨NNT : 2020MONTS021⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK packages

Authors : Dumas, Jean-Guillaume; Giorgi, Pascal; Pernet, Clément ...

Subjects: Word size Finite fields; BLAS level 1-2-3; Linear Algebra Package

Source: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-00018223 ; ACM Transactions on Mathematical Software, 2008, 35 (3), pp.19:1-42.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Efficient algorithms and implementation in exact linear algebra ; Algorithmes et implantations efficaces en algèbre linéaire exacte

Authors : Giorgi, Pascal;

Subjects: exact linear algebra; integer matrix multiplication; polynomial products

Source: https://hal-lirmm.ccsd.cnrs.fr/tel-02360023 ; Symbolic Computation [cs.SC]. Université de Montpellier, 2019.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي