dans le domaine de l'algèbre : l'algorithme d'unification, le calcul d'une base de Gröbner d'un idéal de polynôme et plus généralement presque toutes les méthodes de calcul symbolique,
dɑ̃ lə- domˈɛn də- lalʒˈɛbʁ : (en)ˈɛlˈalɡɔːɹˌɪθm(fr) dynifikasjˈɔ̃, lə- kalkˈyl dyn bˈaz də- ɡʁobnˈe dœ̃n ideˈal də- polinˈoːm e ply ʒeneʁalmˈɑ̃ pʁˌɛskə tut le- metˈod də- kalkˈyl sɛ̃bolˈik,