ARIC - 2015 - Annual activity report

ARIC

ARIC - 2015

Project-Team Aric

Members

Overall Objectives

Overview

Research Program

Efficient approximation methods
Lattices: algorithms and cryptology
Algebraic computing and high performance kernels

Application Domains

Floating-point and Validated Numerics
Cryptography, Cryptology, Communication Theory

Highlights of the Year

New Software and Platforms

FPLLL: a lattice reduction library
GNU MPFR: a library for arbitrary precision floating-point arithmetic
Gfun: a Maple package for solutions of linear differential or recurrence equations
Sipe: a library for very low precision computations with correct rounding
LinBox: a C++ library for exact, high-performance linear algebra computation
Exhaustive Tests for the Correct Rounding of Mathematical Functions
Multiplication by Integer Constants

New Results

Floating-point Arithmetic
Lattices: algorithms and cryptology
Algebraic computing and high performance kernels

Bilateral Contracts and Grants with Industry

Bilateral Grants with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year

Previous |

Home | Next next

Section: New Software and Platforms

Multiplication by Integer Constants

Participant : Vincent Lefèvre.

A Perl implementation of algorithms for the multiplication by integer constants has been updated to get more results based on exhaustive tests: threading has been implemented in this part of the script.

Participant: Vincent Lefèvre
Contact: Vincent Lefèvre
URL: https://www.vinc17.net/research/mulbyconst/#patterns

Previous |

Home | Next next