Il est bien établi que le calcul formel permet de vérifier des conjectures, des démonstrations, des formules longues et pénibles. L'innovation est qu'avec quelques opérations élémentaires sur des suites de symboles 0 et 1, on capte aussi, de façon exacte, de nouvelles formules, identités remarquables et conjectures insolites...