MPFR : A multiple-precision binary floating-point library with correct rounding von FOUSSE, Laurent, HANROT, Guillaume, LEFEVRE, Vincent, PELISSIER, Patrick, ZIMMERMANN LORIA, Paul

Volltext

Decorated proofs for computational effects: States von Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude

Volltext

Multiple-Precision Correctly rounded Newton-Cotes quadrature von Fousse, Laurent

Volltext

Multiple-precision correctly rounded newton-cotes quadrature: Real numbers von FOUSSE, Laurent

Volltext

Simultaneous modular reduction and Kronecker substitution for small finite fields von Dumas, Jean-Guillaume, Fousse, Laurent, Salvy, Bruno

Volltext

Recursive Double-Size Fixed Precision Arithmetic von Breust, Alexis, Chabot, Christophe, Dumas, Jean-Guillaume, Fousse, Laurent, Giorgi, Pascal

Volltext

XPIR : Private Information Retrieval for Everyone von Aguilar-Melchor, Carlos, Barrier, Joris, Fousse, Laurent, Killijian, Marc-Olivier

Volltext

A duality between exceptions and states von DUMAS, JEAN-GUILLAUME, DUVAL, DOMINIQUE, FOUSSE, LAURENT, REYNAUD, JEAN-CLAUDE

Volltext

Benaloh’s Dense Probabilistic Encryption Revisited von Fousse, Laurent, Lafourcade, Pascal, Alnuaimi, Mohamed

Volltext

Multiple-precision correctly rounded Newton-Cotes quadrature von Fousse, Laurent

Volltext

Decorated proofs for computational effects: States von Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude

Volltext

Benaloh's Dense Probabilistic Encryption Revisited von Fousse, Laurent, Lafourcade, Pascal, Alnuaimi, Mohamed

Volltext bestellen

Adjunctions for exceptions von Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude

Volltext bestellen

Decorated proofs for computational effects: Exceptions von Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude

Volltext bestellen

A duality between exceptions and states von Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude

Volltext bestellen

Recursive double-size fixed precision arithmetic von Chabot, Christophe, Dumas, Jean-Guillaume, Fousse, Laurent, Giorgi, Pascal

Volltext bestellen

Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields von Dumas, Jean-Guillaume, Fousse, Laurent, Salvy, Bruno

Volltext

Compressed Modular Matrix Multiplication von Dumas, Jean-Guillaume, Fousse, Laurent, Salvy, Bruno

Volltext bestellen

States and exceptions considered as dual effects von Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude

Volltext bestellen

Benaloh's Dense Probabilistic Encryption Revisited von Fousse, Laurent, Lafourcade, Pascal, Alnuaimi, Mohamed

Volltext