Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Abbott, J. A., Díaz, A. & Sutor, R. S, OpenMath: A Protocol for the Exchange of Mathematical Information. SIGSAM Bulletin 30 (1996) 1 pp. 21–24.
2. Abramowitz, M. & Stegun, I., Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. US Government Printing Office, 1964. 10th Printing December 1972.
3. Aslaksen, H., Can your computer do complex analysis?. In: Computer Algebra Systems: A Practical Guide (M. Wester ed.), John Wiley, 1999.
http://www.math.nus.edu.sg/aslaksen/helmerpub.shtml
.
4. Beeson, M. & Wiedijk, F., The Meaning of Infinity in Calculus and Computer Algebra Systems. Artificial Intelligence, Automated Reasoning, and Symbolic Computation (ed. J. Calmet et al.), Springer Lecture Notes in Artificial Intelligence 2385, Springer-Verlag, 2002, pp. 246–258.
5. Bradford, R. J. & Davenport, J. H., Towards Better Simplification of Elementary Functions. Proc. ISSAC 2002 (ed. T. Mora), ACM Press, New York, 2002, pp. 15–22.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献