Login / Signup

IrisMath: A Blind-Friendly Web-Based Computer Algebra System.

Ana Maria ZambranoDanilo I. PilacuánMateo N. SalvadorFelipe GrijalvaNathaly Veronica Orozco GarzonHenry Ramiro Carvajal Mora
Published in: IEEE Access (2023)
Keyphrases
  • computer algebra
  • theorem prover
  • computer algebra systems
  • automated theorem provers
  • learning platform
  • database
  • databases
  • real world
  • data mining
  • multimedia
  • multiscale