Automating Algebra's Tedious Tasks: Computerized Classification

R McCasland, Volker Sorge, S Colton, J Gow, T Walsh, Volker Sorge

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	37-40
Number of pages	4
Publication status	Published - 1 Jan 2003
Event	CADE-19 Workshop on Challenges and Novel Applications for Automated Reasoning - Duration: 1 Jan 2003 → …

Conference	CADE-19 Workshop on Challenges and Novel Applications for Automated Reasoning
Period	1/01/03 → …

Cite this

@conference{8355e6a1be5e4b0d95615abfd9fad346,

title = "Automating Algebra's Tedious Tasks: Computerized Classification",

author = "R McCasland and Volker Sorge and S Colton and J Gow and T Walsh and Volker Sorge",

year = "2003",

month = jan,

day = "1",

language = "English",

pages = "37--40",

note = "CADE-19 Workshop on Challenges and Novel Applications for Automated Reasoning ; Conference date: 01-01-2003",

}