Sind sich eigentlich moderne Computer Algebra Systeme und Mathematiker bei der Berechnung so unscheinbarer Ausdrücke wie 00 oder 1∞ einig?