Analytica — A theorem prover in mathematica
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Sums Related to the Harmonic Series or the Inverse Tangent FunctionPublished by Springer Nature ,1985