Automatic geometry theorem proving

T. Recio, H.J.M. Sterk, M. Pilar Vélez

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Samenvatting

No abstract.
Originele taal-2Engels
TitelSome tapas of computer algebra
RedacteurenA.M. Cohen, H. Cuypers, H. Sterk
Plaats van productieBerlin
UitgeverijSpringer
Pagina's276-296
ISBN van geprinte versie3-540-63480-0
StatusGepubliceerd - 1999

Publicatie series

NaamAlgorithms and Computation in Mathematics
Volume4
ISSN van geprinte versie1431-1550

Vingerafdruk Duik in de onderzoeksthema's van 'Automatic geometry theorem proving'. Samen vormen ze een unieke vingerafdruk.

Citeer dit