Carnegie Mellon University / The TPTP Problem Library / XML Balázs Vecsei BUTE Mathematical Institute / /
IndustryTerm
software system / mathematical software base / automated theorem proving systems / software packages / mathematical services / e-learning / batch processor / web-based interactive learning system / web-supported mathematics / method selection algorithm / /
OperatingSystem
GNU / /
Organization
World Health Organization / TEX / OpenMath Society / XML Balázs Vecsei BUTE Mathematical Institute / Carnegie Mellon University / /
Person
Brett McLaughlin / Dan LaLiberte / Neil Bradley / Alberto Gonzalez Palomo / David Carlisle / Paul Libbrecht / Andreas Franke / Stephen Buswell / Michael Kohlhase / Bil Lewis / Geoff Sutcliffe / Ron Ausbrooks / Richard Stallman / Robert J. Chassell / Christian Suttner / Jurgen Zimmer / /