Filtrer vos résultats
- 32
- 3
- 19
- 10
- 3
- 2
- 1
- 34
- 1
- 1
- 2
- 5
- 5
- 2
- 3
- 3
- 3
- 2
- 1
- 2
- 3
- 1
- 2
- 1
- 33
- 2
- 35
- 16
- 13
- 12
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 35
- 21
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
35 résultats
|
|
|
triés par
|
|
|
Time and space efficient generators for quasiseparable matricesJournal of Symbolic Computation, 2018, Special issue on the 41th International Symposium on Symbolic and Alge-braic Computation (ISSAC’16), 85, pp.224-246. ⟨10.1016/j.jsc.2017.07.010⟩
Article dans une revue
hal-01424252v2
|
||
|
|
Elimination-based certificates for triangular equivalence and rank profilesJournal of Symbolic Computation, 2020, 98, pp.246-269. ⟨10.1016/j.jsc.2019.07.013⟩
Article dans une revue
hal-02191075v1
|
||
|
|
Dynamic proofs of retrievability with low server storage30th USENIX Security Symposium, Aug 2021, virtual event, United States. pp.537--554
Communication dans un congrès
hal-02875379v4
|
||
|
|
LU factorization with errorsInternational Symposium on Symbolic and Algebraic Computation - ISSAC'19, Jul 2019, Beijing, China. pp.131-138, ⟨10.1145/3326229.3326244⟩
Communication dans un congrès
hal-01997592v1
|
||
|
|
Some fast algorithms multiplying a matrix by its adjointJournal of Symbolic Computation, 2023, 115 (March–April), pp.285-315. ⟨10.1016/j.jsc.2022.08.009⟩
Article dans une revue
hal-03095393v1
|
||
|
|
On fast multiplication of a matrix by its transposeProceedings of the 45th International Symposium on Symbolic and Algebraic Computation, ACM SIGSAM, Jul 2020, Kalamata, Greece. pp.162-169, ⟨10.1145/3373207.3404021⟩
Communication dans un congrès
hal-02432390v4
|
||
|
|
VESPo: Verified Evaluation of Secret PolynomialsPrivacy Enhancing Technologies Symposium, Jul 2023, Lausanne (CH), Switzerland. pp.354--374, ⟨10.56553/popets-2023-0085⟩
Communication dans un congrès
hal-03365854v5
|
||
|
|
LinBox founding scope allocation, parallel building blocks, and separate compilationICMS 2010 - 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.77-83, ⟨10.1007/978-3-642-15582-6_16⟩
Communication dans un congrès
hal-00506599v1
|
||
|
|
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithmISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.55-62, ⟨10.1145/1576702.1576713⟩
Communication dans un congrès
hal-00163141v5
|
||
|
|
Verification Protocols with Sub-Linear Communication for Polynomial Matrix OperationsJournal of Symbolic Computation, 2021, 105, pp.165--198. ⟨10.1016/j.jsc.2020.06.006⟩
Article dans une revue
hal-01829139v2
|
||
|
|
Computational Mathematics with SageMathSIAM, 2018, 978-1-61197-545-1. ⟨10.1137/1.9781611975468⟩
Ouvrages
hal-01646401v1
|
||
|
|
Strassen's algorithm is not optimally accurate2024
Pré-publication, Document de travail
hal-04441653v1
|
||
|
|
Symmetric indefinite triangular factorization revealing the rank profile matrixISSAC'18, Jul 2018, New York, United States. pp.151-158, ⟨10.1145/3208976.3209019⟩
Communication dans un congrès
hal-01704793v1
|
||
|
|
Computing with quasiseparable matricesInternational Symposium on Symbolic and Algebraic Computation (ISSAC'16), Jul 2016, Waterloo, Canada. pp.389-396, ⟨10.1145/2930889.2930915⟩
Communication dans un congrès
hal-01264131v2
|
||
|
|
Elements of Design for Containers and Solutions in the LinBox LibraryICMS: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. pp.654-662, ⟨10.1007/978-3-662-44199-2_98⟩
Communication dans un congrès
hal-01015138v1
|
||
|
|
High-order lifting for polynomial Sylvester matricesJournal of Complexity, 2023, 80, ⟨10.1016/j.jco.2023.101803⟩
Article dans une revue
hal-03740320v3
|
||
|
|
Fast Computation of the Rank Profile Matrix and the Generalized Bruhat DecompositionJournal of Symbolic Computation, 2017, Special issue on ISSAC'15, 83, pp.187-210. ⟨10.1016/j.jsc.2016.11.011⟩
Article dans une revue
hal-01251223v2
|
||
|
|
Exact computations with quasiseparable matricesISSAC'23: the 2023 International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norway. pp.480-489, ⟨10.1145/2930889.2930915⟩
Communication dans un congrès
hal-03978799v1
|
||
|
|
Simultaneous computation of the row and column rank profilesISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, MA, United States. pp.181-188, ⟨10.1145/2465506.2465517⟩
Communication dans un congrès
hal-00778136v1
|
||
Hermite Interpolation With Error CorrectionISSAC '21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Virtual Event, Russia. pp.241-247, ⟨10.1145/3452143.3465525⟩
Communication dans un congrès
hal-03350894v1
|
|||
|
|
On finding multiplicities of characteristic polynomial factors of black-box matricesISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.135-142, ⟨10.1145/1576702.1576723⟩
Communication dans un congrès
hal-00357262v2
|
||
|
|
Calcul mathématique avec SageCreateSpace, pp.468, 2013, 9781481191043
Ouvrages
inria-00540485v2
|
||
|
|
Leading constants of rank deficient Gaussian elimination2023
Pré-publication, Document de travail
hal-03976168v1
|
||
|
|
Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd AlgorithmThe 14th International Workshop on Security (IWSEC 2019), Aug 2019, Tokyo, Japan. pp.67-88, ⟨10.1007/978-3-030-26834-3_5⟩
Communication dans un congrès
hal-01781554v3
|
||
|
|
Deterministic computation of the characteristic polynomial in the time of matrix multiplicationJournal of Complexity, 2021, 67, pp.101572. ⟨10.1016/j.jco.2021.101572⟩
Article dans une revue
hal-02963147v2
|
||
|
|
Certificates for triangular equivalence and rank profilesACM International Symposium on Symbolic and Algebraic Computations - ISSAC'17, Jul 2017, Kaiserslautern, Germany. pp.133-140, ⟨10.1145/3087604.3087609⟩
Communication dans un congrès
hal-01466093v2
|
||
|
|
Parallel computation of echelon formsEuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.499-510, ⟨10.1007/978-3-319-09873-9_42⟩
Communication dans un congrès
hal-00947013v1
|
||
|
|
Computational linear algebra over finite fieldsGary L. Mullen and Daniel Panario. Handbook of Finite Fields, Chapman & Hall / CRC, pp.514-528, 2013, Discrete Mathematics and Its Applications, 9781439873786
Chapitre d'ouvrage
hal-00688254v1
|
||
Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error CorrectionISSAC'17 - 2017 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ⟨10.1145/3087604.3087645⟩
Communication dans un congrès
hal-01982114v1
|
|||
|
|
Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like MatricesISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.249-256, ⟨10.1145/3452143.3465542⟩
Communication dans un congrès
hal-03189115v1
|
- 1
- 2