Galán-García, José L.; Aguilera-Venegas, Gabriel; Galán-García, María Á.; Rodríguez-Cielos, Pedro; Atencia-Mc. Killop, Iván Improving CAS capabilities: new rules for computing improper integrals. (English) Zbl 1426.26003 Appl. Math. Comput. 316, 525-540 (2018). MSC: 26-08 26A42 68W30 PDFBibTeX XMLCite \textit{J. L. Galán-García} et al., Appl. Math. Comput. 316, 525--540 (2018; Zbl 1426.26003) Full Text: DOI Link
Ligatsikas, Zenon; Rioboo, R.; Roy, M. F. Generic computation of the real closure of an ordered field. (English) Zbl 1037.68546 Math. Comput. Simul. 42, No. 4-6, 541-549 (1996). MSC: 68W30 12J15 PDFBibTeX XMLCite \textit{Z. Ligatsikas} et al., Math. Comput. Simul. 42, No. 4--6, 541--549 (1996; Zbl 1037.68546) Full Text: DOI
Lidl, Rudolf Computational problems in the theory of finite fields. (English) Zbl 0745.11056 Appl. Algebra Eng. Commun. Comput. 2, No. 2, 81-89 (1991). Reviewer: I.F.Blake (Waterloo / Ontario) MSC: 11Y16 68W30 11T06 68Q25 PDFBibTeX XMLCite \textit{R. Lidl}, Appl. Algebra Eng. Commun. Comput. 2, No. 2, 81--89 (1991; Zbl 0745.11056) Full Text: DOI
Bronstein, Manuel Integration of elementary functions. (English) Zbl 0718.12006 J. Symb. Comput. 9, No. 2, 117-173 (1990). Reviewer: Friedrich Schwarz (Paderborn) MSC: 12H20 12Y05 68W30 PDFBibTeX XMLCite \textit{M. Bronstein}, J. Symb. Comput. 9, No. 2, 117--173 (1990; Zbl 0718.12006) Full Text: DOI