Knowledge representation and algorithms for automatic solving integral problems | IEEE Conference Publication | IEEE Xplore