Author:
England Matthew,Bradford Russell,Davenport James H.,Wilson David
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Abramowitz, M., Stegun, I.A.: Handbook of mathematical functions. National Bureau of Standards (1964)
2. Beaumont, J., Bradford, R., Davenport, J.H., Phisanbut, N.: A poly-algorithmic approach to simplifying elementary functions. In: Proc. ISSAC 2004. ACM (2004)
3. Beaumont, J., Bradford, R., Davenport, J.H., Phisanbut, N.: Testing elementary function identities using CAD. Applicable Algebra in Engineering, Communication and Computing 18, 513–543 (2007)
4. Beaumont, J., Phisanbut, N., Bradford, R.: Practical simplification of elementary functions using CAD. In: Dolzmann, A., Seidl, A., Sturm, T. (eds.) Proc. Algorithmic Algebra and Logic, Passau (2005)
5. Bradford, R., Davenport, J.H.: Towards better simplification of elementary functions. In: Proc. ISSAC 2002, pp. 16–22. ACM (2002)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Inverse of the Complex Gamma Function;2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2023-09-11
2. One-sided differentiability: a challenge for computer algebra systems;Electronic Research Archive;2023
3. Using Machine Learning to Improve Cylindrical Algebraic Decomposition;Mathematics in Computer Science;2019-04-03
4. Truth table invariant cylindrical algebraic decomposition;Journal of Symbolic Computation;2016-09
5. Branch cuts in maple 17;ACM Communications in Computer Algebra;2014-07-10