Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleTheorema: Towards computer-aided mathematical theory exploration
Author(s) Bruno Buchberger, Adrian Crǎciun, Tudor Jebelean, Levente Kovacs, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
TypeArticle in Journal
KeywordsMathematical assistant, Automated reasoning, Theory exploration, “Lazy Thinking”
ISSN1570-8683
URL http://www.sciencedirect.com/science/article/pii/S1570868305000716
LanguageEnglish
JournalJournal of Applied Logic
Volume4
Number4
Pages470 - 504
Year2006
NoteTowards Computer Aided Mathematics
Edition0
Translation No
Refereed No
Webmaster