Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

Alan Sexton, Volker Sorge, SM Watt, J Carette, L Dixon, CS Sacerdoti Coen, SM Watt

Research output: Contribution to conference (unpublished) › Paper

3 Citations (Scopus)

Access to Document

@conference{84920d9d13224fc294568400a7b3458f,

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

author = "Alan Sexton and Volker Sorge and SM Watt and J Carette and L Dixon and {Sacerdoti Coen}, CS and SM Watt",

year = "2009",

month = jul,

day = "6",

doi = "10.1007/978-3-642-02614-0_15",

language = "English",

pages = "138--153",

}