polynomialiser

Définitions

1. 1. Donner un caractère polynomial à.
   ['D’une part, la traduction ou l’immersion arithmétique de la logique nous a donné l’ancrage nécessaire pour «polynomialiser» connecteurs et quantificateurs.', 'La première chose à faire, totalement indépendante du polynôme f ci-dessus, est de “polynomialiser” en 5 indéterminées chaque action transitive de S5.', 'C\'est cela qui permet de "polynomialiser le binz\'.']

Formes fléchies