Login / Signup

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

Paúl MejíaLuiz César MartiniFelipe GrijalvaAna Maria Zambrano
Published in: IEEE Access (2021)
Keyphrases
  • computer algebra
  • theorem prover
  • computer algebra systems
  • automated theorem provers