Tools for Using Automated Provers in Mathematical Theory Exploration

Florina Piroi

Research output: Working paper and reports › Preprint

Name	RISC Report Series
No.	04-12

Fields of science

@techreport{61dd4ef1236d46f1a1b190478b3d1f3a,

title = "Tools for Using Automated Provers in Mathematical Theory Exploration",

author = "Florina Piroi",

year = "2004",

month = aug,

language = "English",

series = "RISC Report Series",

publisher = "RISC",

number = "04-12",

type = "WorkingPaper",

institution = "RISC",

}