Se ti disconnetti da Login UE, uscirai anche da tutti gli altri servizi che usano il tuo account Login UE. Utilizza il pulsante di disconnessione di CORDIS per rimanere connesso agli altri servizi.
Questa pagina sarà tradotta automaticamente dal servizio eTranslation della Commissione europea per facilitarne la comprensione. Leggi le condizioni d’uso.
Lower Bounds and Identity Testing for Arithmetic Circuits
Final Report Summary - LBITAC (Lower Bounds and Identity Testing for Arithmetic Circuits)
The project studied fundamental problems in algebraic complexity. This is the field whose aim is to understand the intrinsic complexity of computational problems with an algebraic flavor. The most notable questions in this area are proving lower bounds on the size of arithmetic circuits (i.e. showing that some algebraic expressions are very hard to compute) and verifying deterministically whether two algebraic expressions, given in some form, are in fact equivalent. The project obtained state of the art results on all fronts developing new techniques and showing connections to other areas of study such as algebraic geometry, coding theory and signal processing. The fundamental nature of the problems studied in this project enabled us to contribute to other fields. In particular we gave the best known algorithms for decoding a well studied algebraic family of codes from random errors.