Apparaît dans la collection : Francophone Computer Algebra Days 2025 / Journées nationales de calcul formel 2025

Given a computer algebra problem described by polynomials with rational coefficients, I will present various tools that help measuring the cost of solving it, where cost means giving bounds for the degrees and heights (i.e. bit-sizes) of the output in terms of those of the input data. I will detail an arithmetic Bézout inequality and give some applications to zero-dimensional polynomial systems. I will also speak about the Nullstellensatz and Perron's theorem for implicitization, if time permits.