Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages138-153
Number of pages16
Publication statusPublished - 1 Jan 2009
Event16th 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

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