Abstracts of Japanese Computer Algebra Meeting in Kyoto.

Matu-Tarow Noda

Published in: SIGSAM Bull. (1997)

Keyphrases

computer algebra
theorem prover
computer algebra systems
meeting room
japanese language
databases
information extraction
automated theorem provers
neural network
speaker diarization