Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

Alan Sexton; Volker Sorge; SM Watt

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

Computer Science

Research output: Contribution to conference (unpublished) › Paper

3 Citations (Scopus)

Original language	English
Pages	138-153
Number of pages	16
Publication status	Published - 1 Jan 2009
Event	16th Symposium on Integration of Symbolic Computation and Mechanized Researching/8th International Conference on Mathematical Knowledge Management, Jul 06-12, 2009. Granda Bend, Canada - Duration: 1 Jan 2009 → …

Conference

Conference	16th Symposium on Integration of Symbolic Computation and Mechanized Researching/8th International Conference on Mathematical Knowledge Management, Jul 06-12, 2009. Granda Bend, Canada
Period	1/01/09 → …

Cite this

@conference{9948a47323364379bcb95b0071e94153,

title = "Reasoning with Generic Cases in the Arithmetic of Abstract Matrices",

author = "Alan Sexton and Volker Sorge and SM Watt",

year = "2009",

month = jan,

day = "1",

language = "English",

pages = "138--153",

note = "16th Symposium on Integration of Symbolic Computation and Mechanized Researching/8th International Conference on Mathematical Knowledge Management, Jul 06-12, 2009. Granda Bend, Canada ; Conference date: 01-01-2009",

}

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. / Sexton, Alan ; Sorge, Volker; Watt, SM.
2009. 138-153 Paper presented at 16th Symposium on Integration of Symbolic Computation and Mechanized Researching/8th International Conference on Mathematical Knowledge Management, Jul 06-12, 2009. Granda Bend, Canada.

Research output: Contribution to conference (unpublished) › Paper

TY - CONF

T1 - Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

AU - Sexton, Alan

AU - Sorge, Volker

AU - Watt, SM

PY - 2009/1/1

Y1 - 2009/1/1

M3 - Paper

SP - 138

EP - 153

T2 - 16th Symposium on Integration of Symbolic Computation and Mechanized Researching/8th International Conference on Mathematical Knowledge Management, Jul 06-12, 2009. Granda Bend, Canada

Y2 - 1 January 2009

ER -