Managing automatically formed mathematical theories

S Colton; P Torres; P Cairns; Volker Sorge; J Borwein; W Farmer

Managing automatically formed mathematical theories

S Colton, P Torres, P Cairns, Volker Sorge, J Borwein, W Farmer

Computer Science

Research output: Contribution to conference (unpublished) › Paper

1 Citation (Scopus)

Original language	English
Pages	237-250
Number of pages	14
Publication status	Published - 1 Jan 2006
Event	Mathematical Knowledge Management, Proceedings of the 5th International Conference, Wokingham, UK, 11-12 August 2006 - Duration: 1 Jan 2006 → …

Conference

Conference	Mathematical Knowledge Management, Proceedings of the 5th International Conference, Wokingham, UK, 11-12 August 2006
Period	1/01/06 → …

Cite this

@conference{0e628e15805f4422a90f2abfed08518c,

title = "Managing automatically formed mathematical theories",

author = "S Colton and P Torres and P Cairns and Volker Sorge and J Borwein and W Farmer",

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "237--250",

note = "Mathematical Knowledge Management, Proceedings of the 5th International Conference, Wokingham, UK, 11-12 August 2006 ; Conference date: 01-01-2006",

}