Filtrer vos résultats
- 10
- 8
- 9
- 4
- 3
- 2
- 1
- 17
- 8
- 1
- 2
- 2
- 5
- 3
- 1
- 4
- 14
- 4
- 18
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 9
- 6
- 6
- 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
18 résultats
|
|
|
triés par
|
CRQ: une bibliothèque pour l'intégration numérique certifiée en précision arbitraireJCNF 2007 - Journées Nationales de Calcul Formel, Jan 2007, Marseille, France
Communication dans un congrès
hal-00770297v1
|
|||
Implémentation efficace d'ECMRencontres "Arithmétiques de l'Informatique Mathématique" du GDR IM, Jan 2007, Montpellier, France
Communication dans un congrès
hal-00770295v1
|
|||
|
|
Accurate Multiple-Precision Gauss-Legendre QuadratureARITH '07 - 18th IEEE Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.150-160, ⟨10.1109/ARITH.2007.8⟩
Communication dans un congrès
hal-00769452v1
|
||
Calcul rapide de coefficients pour l'intégration numériqueJournées 2007 de l'ANR GECKO, Nov 2007, Sophia-Antipolis, France
Communication dans un congrès
hal-00770304v1
|
|||
|
|
Benaloh's dense probabilistic encryption revisitedAFRICACRYPT'11 - 4th international conference on Progress in cryptology in Africa, Jul 2011, Dakar, Senegal. pp.348-362
Communication dans un congrès
hal-00769449v1
|
||
|
|
Compressed Modular Matrix MultiplicationMICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140
Communication dans un congrès
hal-00259950v2
|
||
Decorated proofs for computational effects: StatesACCAT, 2012, -, Estonia
Communication dans un congrès
hal-00828544v1
|
|||
|
|
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite FieldsJournal of Symbolic Computation, 2011, 46 (7), pp.823-840. ⟨10.1016/j.jsc.2010.08.015⟩
Article dans une revue
hal-00315772v1
|
||
|
|
Recursive double-size fixed precision arithmeticICMS: International Congress of Mathematical Software, Jul 2016, Berlin, Germany. pp.223--231, ⟨10.1007/978-3-319-42432-3_28⟩
Communication dans un congrès
hal-00582593v2
|
||
|
|
Decorated proofs for computational effects: StatesElectronic Proceedings in Theoretical Computer Science, 2012, 93, pp.45-59. ⟨10.4204/EPTCS.93.3⟩
Article dans une revue
hal-00650269v2
|
||
|
|
Decorated proofs for computational effects: Exceptions[Research Report] Université Grenoble Alpes (UGA). 2012
Rapport
hal-00678738v1
|
||
|
|
XPIR : Private Information Retrieval for EveryoneProceedings on Privacy Enhancing Technologies, 2016, avril 2016, pp.155-174. ⟨10.1515/popets-2016-0010⟩
Article dans une revue
hal-01396142v1
|
||
|
|
Adapting Lyubashevsky's Signature Schemes to the Ring Signature Setting6th International Conference on Cryptology in Africa, Jun 2013, Cairo, Egypt. pp.1-25, ⟨10.1007/978-3-642-38553-7_1⟩
Communication dans un congrès
hal-00913645v1
|
||
|
|
A duality between exceptions and statesMathematical Structures in Computer Science, 2012, 22 (4), pp.719-722. ⟨10.1017/S0960129511000752⟩
Article dans une revue
hal-00650260v2
|
||
|
|
Adjunctions for exceptions[Research Report] LJK. 2012
Rapport
hal-00714710v2
|
||
|
|
States and exceptions considered as dual effects[Research Report] Université Grenoble Alpes. 2011
Rapport
hal-00445873v4
|
||
|
|
Calcul mathématique avec SageCreateSpace, pp.468, 2013, 9781481191043
Ouvrages
inria-00540485v2
|
||
|
|
Computational Mathematics with SageMathSIAM, 2018, 978-1-61197-545-1. ⟨10.1137/1.9781611975468⟩
Ouvrages
hal-01646401v1
|