Research
Pushing the Boundaries of Calculation Precision
… be? In the very niche field of formal calculation, Pierre Lairez from the MATHEXP team (formerly Symbolic … Functions – SPECFun – Univ. Paris-Saclay, Inria Saclay-Île-de-France) wants to develop new abstract tools that can … is the importance of mathematical precision, summed up by Pierre Lairez. In maths, this precision is often synonymous …Published on: