What Might "Understand a Function" Mean?

@inproceedings{Davenport2007WhatM,
  title={What Might "Understand a Function" Mean?},
  author={James H. Davenport},
  booktitle={Calculemus/MKM},
  year={2007}
}
Many functions in classical mathematics are largely defined in terms of their derivatives, so Bessel’s function is “the” solution of Bessel’s equation, etc. For definiteness, we need to add other properties, such as initial values, branch cuts, etc. What actually makes up “the definition” of a function in computer algebra? The answer turns out to be a combination of arithmetic and analytic properties. 
2 Citations
27 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 27 references

Algebraic properties of the Lambert W function from a result of Rosenstein and Liouville

  • M. Bronstein, R. Corless, J. H. Davenport, D. J. Jeffrey
  • To appear in J. Integral Transforms and Special…
  • 2007
Highly Influential
9 Excerpts

Symbolic Integration I, 2nd edn

  • M. Bronstein
  • Springer-Verlag, Heidelberg
  • 2005
2 Excerpts

Should computer algebra programs use ln x or ln |x| as their antiderivation of 1/x

  • D. R. Stoutemyer
  • DERIVE Newsletter 26, pp. 3–6
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…