A rational reconstruction of a system for experimental mathematics

J Carette; WM Farmer; Volker Sorge

A rational reconstruction of a system for experimental mathematics

J Carette
, WM Farmer
, Volker Sorge

Computer Science

Research output: Contribution to conference (unpublished) › Abstract

Original language	English
Publication status	Published - 1 Jan 2007
Event	Proceedings of 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, S Colton (Editor) - Duration: 1 Jan 2007 → …

Conference

Conference	Proceedings of 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, S Colton (Editor)
Period	1/01/07 → …

Cite this

@conference{6f22df8d5adc432184d3d1ad17663822,

title = "A rational reconstruction of a system for experimental mathematics",

author = "J Carette and WM Farmer and Volker Sorge",

year = "2007",

month = jan,

day = "1",

language = "English",

note = "Proceedings of 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, S Colton (Editor) ; Conference date: 01-01-2007",

}