L'ordinateur peut-il nous aider à résoudre des problèmes mathématiques ? <br />Oui grâce au calcul formel !