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'.

Étymologie

De polynomial, avec le suffixe -iser.

Formes fléchies