A Flexible Framework for Experimental Mathematics

Osama Al-Hassani, Volker Sorge, A Bolotov

Research output: Contribution to conference (unpublished) › Abstract

Original language	English
Pages	40-41
Number of pages	2
Publication status	Published - 1 Mar 2010
Event	Proceedings of the Automated Reasoning Workshop 2010: Bridging the Gap between Theory and Practice (ARW 2010) - Duration: 1 Mar 2010 → …

Conference	Proceedings of the Automated Reasoning Workshop 2010: Bridging the Gap between Theory and Practice (ARW 2010)
Period	1/03/10 → …

Cite this

@conference{8f1d73fdfc9e4e3baa69419cc2ee6747,

title = "A Flexible Framework for Experimental Mathematics",

author = "Osama Al-Hassani and Volker Sorge and A Bolotov",

year = "2010",

month = mar,

day = "1",

language = "English",

pages = "40--41",

note = "Proceedings of the Automated Reasoning Workshop 2010: Bridging the Gap between Theory and Practice (ARW 2010) ; Conference date: 01-03-2010",

}