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

Home | Next next

2015 Project-Team Activity Report

ARIC

Arithmetic and Computing

Research centre: Grenoble - Rhône-Alpes

In partnership with: CNRS, Ecole normale supérieure de Lyon, Université Claude Bernard (Lyon 1)

In collaboration with: Laboratoire de l'Informatique du Parallélisme (LIP)

Field: Algorithmics, Programming, Software and Architecture

Theme: Algorithmics, Computer Algebra and Cryptology

Keywords:

Computer Science and Digital Science:

1.1. - Architectures
2.4. - Reliability, certification
4. - Security and privacy
7. - Fundamental Algorithmics

Other Research Topics and Application Domains:

9.4. - Sciences
9.8. - Privacy