CASVI: A Computer Algebra System Aimed at Visually Impaired People.

Paúl Mejía Luiz César Martini Julio César Larco Felipe Grijalva

Published in: ICCHP (1) (2018)

Keyphrases

computer algebra
theorem prover
computer algebra systems
artificial intelligence
machine learning
natural language
probability distribution
training set