Theorema: Towards computer-aided mathematical theory exploration.
Bruno BuchbergerAdrian CraciunTudor JebeleanLaura KovácsTemur KutsiaKoji NakagawaFlorina PiroiNikolaj PopovJudit RobuMarkus RosenkranzWolfgang WindsteigerPublished in: J. Appl. Log. (2006)
Keyphrases