Matematikçiler, integral formüllerini ve literatürde bilinen diğer teoremleri kullanarak karmaşık denklemleri çözebilen programlar geliştirmiştir. Er ya da geç, ansiklopediler ve veri tabanlarıyla birlikte bütün bu uzman sistemleri birleştirme ve birbirine bağlama parlak fikri ortaya çıkacaktır.