الذكاء الاصطناعي, الرياضيات, الفيزياء, الهندسة, علوم الحاسوبمجلة الحوسبة الرمزية (Journal of Symbolic Computation)