I saw this in one of the most famous answers on Mathoverflow [1]. The CAS expert (Jacques Carette) who wasted three days trying to locate the "problem" in the s

I saw this in one of the most famous answers on Mathoverflow [1]. The CAS expert (Jacques Carette) who wasted three days trying to locate the "problem" in the software chimes in in the comments. [1] https://mathoverflow.net/questions/11517/computer-algebra-errors https://mathoverflow.net/questions/11517/computer-algebra-er...