Login / Signup

Theorema 2.0: Computer-Assisted Natural-Style Mathematics.

Bruno BuchbergerTudor JebeleanTemur KutsiaAlexander MaletzkyWolfgang Windsteiger
Published in: J. Formaliz. Reason. (2016)
Keyphrases
  • computer assisted
  • computer aided
  • grade students
  • computer assisted instruction
  • intraoperative
  • foreign language
  • real world
  • data sets
  • computer science
  • project based learning
  • artificial systems