Automated Mathematician is one of the earliest successful discovery systems developed. It was developed by Doug Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.
... between word-boundaries, in spoken language generally, but is codified in Sanskrit and written down. A simple example of English sandhi is "an apple" versus "a ...