### Abstract

No abstract.

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

Title of host publication | Some tapas of computer algebra |

Editors | A.M. Cohen, H. Cuypers, H. Sterk |

Place of Publication | Berlin |

Publisher | Springer |

Pages | 276-296 |

ISBN (Print) | 3-540-63480-0 |

Publication status | Published - 1999 |

### Publication series

Name | Algorithms and Computation in Mathematics |
---|---|

Volume | 4 |

ISSN (Print) | 1431-1550 |

## Fingerprint Dive into the research topics of 'Automatic geometry theorem proving'. Together they form a unique fingerprint.

## Cite this

Recio, T., Sterk, H. J. M., & Pilar Vélez, M. (1999). Automatic geometry theorem proving. In A. M. Cohen, H. Cuypers, & H. Sterk (Eds.),

*Some tapas of computer algebra*(pp. 276-296). (Algorithms and Computation in Mathematics; Vol. 4). Springer.