14 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR6 papers
- Université de LorraineFR5 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Centre Inria de l'Université de LorraineFR2 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR2 papers
- ARIC: Arithmétiques des ordinateurs, méthodes formelles, génération de codeFR1 paper
- CANARI: Analyse cryptographique et arithmétiqueFR1 paper
- CanarieCA1 paper
- CAPSULE: Cryptographie Appliquée et Sécurité des ImplémentationsFR1 paper
- Cara Therapeutics (United States)US1 paper
- Centre Inria de SaclayFR1 paper
- École PolytechniqueFR1 paper
5 papers · 1 filter
Determinism and Computational Power of Real Measurement-based Quantum Computation
Simon Perdrix, Luc Sanselme
Measurement-based quantum computing (MBQC) is a universal model for quantum computation. The combinatorial characterisation of determinism in this model, powered by measurements, a…
Twelve new primitive binary trinomials
Richard P. Brent, Paul Zimmermann
We exhibit twelve new primitive trinomials over GF(2) of record degrees , , and . In addition we report the first Mersenne exponent not ruled out by S…
Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems
Jean-Charles Faugere, Pierre-Jean Spaenlehauer, Jules Svartz
B{é}zout 's theorem states that dense generic systems of n multivariate quadratic equations in n variables have 2 n solutions over algebraically closed fields. When only a small su…
A modified block Lanczos algorithm with fewer vectors
Emmanuel Thomé
The block Lanczos algorithm proposed by Peter Montgomery is an efficient means to tackle the sparse linear algebra problem which arises in the context of the number field sieve fac…
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé +1
Computational problem certificates are additional data structures for each output, which can be used by a-possibly randomized-verification algorithm that proves the correctness of…