Author:
Čertík Ondřej,Paprocki Mateusz,Meurer Aaron,Granger Brian,Rathnayake Thilina
Publisher
Springer Berlin Heidelberg
Reference68 articles.
1. Watt, S.M.: Making computer algebra more symbolic. In: Dumas J.-G. (ed.) Proceedings of Transgressive Computing 2006: A Conference in Honor of Jean Della Dora, Facultad de Ciencias, Universidad de Granada, pp 43–49, April 2006
2. Geddes, K.O., Czapor, S.R., Labahn, G.: Algorithms for computer algebra. In: Introduction to Computer Algebra. Kluwer Academic, Boston (1992)
3. Slagle, J.R.: A heuristic program that solves symbolic integration problems in freshman calculus. J. ACM 10(4), 507–520 (1963)
4. Veltman, M.J.G.: From weak interactions to gravitation. Int. J. Mod. Phys. A 15(29), 4557–4573 (2000)
5. Strubbe, H.: Manual for SCHOONSCHIP a CDC 6000/7000 program for symbolic evaluation of algebraic expressions. Comput. Phys. Commun. 8(1), 1–30 (1974)