Abstracts of the eighth Spanish meeting on computer algebra and applications: EACA-2002.

Philippe Gimenez

Published in: SIGSAM Bull. (2003)

Keyphrases

computer algebra
theorem prover
question answering
information extraction
language identification
artificial intelligence
computer algebra systems
real world
genetic algorithm
information systems
website
poster session
speaker diarization
evidence based medicine
automated theorem provers