Yeah, but in mathematics we end up in the classical Lisp vs ML discussion, there is a known paper about both styles actually, arguing for ML, as it was written from someone on the ML side of the fence.

In any case, maybe "Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics" is something to dive into,

https://www.amazon.com/Computer-Algebra-LISP-REDUCE-Computer...