What Might “Understand a Function” Mean?

DOI10.1007/978-3-540-73086-6_5MaRDI QIDQ5428259zbMATH OpenOpenAlexFDO

Authors James H. Davenport

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73086-6_5

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Effective analytic functions
• Elementary functions
• The Dynamic Dictionary of Mathematical Functions
• scientific article; zbMATH DE number 3862316
• scientific article; zbMATH DE number 1070470

Cited in

(1)

• The challenges of multivalued ``functions

Describes a project that uses

Uses Software

• ESF

This page was built for publication: What Might “Understand a Function” Mean?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428259)