Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy

Bibliographic Details
Title:	Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy
Authors:	Buchberger, Bruno^Aff20
Contributors:	Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Carbonell, Jaime G., editor^Aff16, Siekmann, Jörg, editor^Aff17, Buchberger, Bruno, editor^Aff18, Campbell, John, editor^Aff19
Source:	Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. 3249:236-250
Database:	Springer Nature eBooks

Description
ISBN:	9783540232124 9783540302100
DOI:	10.1007/978-3-540-30210-0_20