Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

Research output: Contribution to conference (unpublished)Paper

Authors

  • SM Watt
  • J Carette
  • L Dixon
  • CS Sacerdoti Coen
  • SM Watt

Colleges, School and Institutes

Details

Original languageEnglish
Pages138-153
Number of pages16
Publication statusPublished - 6 Jul 2009