Original language | English |
---|---|

Title of host publication | Towards Mechanized Mathematical Assistants |

Editors | M Kauers, M Kerber, R Miner, W Windsteiger |

Publisher | Springer |

Pages | 55-65 |

Number of pages | 11 |

Volume | 4573 |

Publication status | Published - 2007 |

## Cite this

Davenport, J. (2007). What might "Understand a Function" mean? In M. Kauers, M. Kerber, R. Miner, & W. Windsteiger (Eds.),

*Towards Mechanized Mathematical Assistants*(Vol. 4573, pp. 55-65). Springer.