Session 17 General Session on Computer Algebra #@@@ Tuesday The FunctionAdvisor: extending information on mathematical functions with computer algebra algorithms Edgardo Cheb-Terrab http://math.unm.edu/~aca/ACA/2017/General/Cheb-Terrab_FunctionAdvisor.pdf ### also speaking in Education, prefers all talks early and on 1 or 2 days The four double-hypergeometric Appell functions, a complete implementation in a computer algebra system Edgardo Cheb-Terrab http://math.unm.edu/~aca/ACA/2017/General/Cheb-Terrab_Appell.pdf ### also speaking in Education, prefers all talks early and on 1 or 2 days #@@@ Thursday The International Mathematical Knowledge Trust Ingrid Daubechies, Patrick Ion and Stephen M. Watt http://math.unm.edu/~aca/ACA/2017/General/Daubechies.pdf ### not Monday How a code for verifying our conjecture opened new directions Eli Bagno http://math.unm.edu/~aca/ACA/2017/General/Bagno.pdf Using Gr\"obner basis theory for an interval method solving undetermined equations Bartłomiej Jacek Kubica http://math.unm.edu/~aca/ACA/2017/General/Kubica.pdf