Login / Signup
CASVI: Computer Algebra System Aimed at Visually Impaired People. Experiments.
Paúl Mejía
Luiz César Martini
Felipe Grijalva
Ana Maria Zambrano
Published in:
IEEE Access (2021)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
automated theorem provers