"Beaucoup de problèmes de modélisation se ramènent à solutionner un système d'équations et à compter le nombre de solutions possibles. Des sous-problèmes importants consistent à borner le nombre de solutions d'un système, ...