Computing with abstract matrix structures

DOI10.1145/1576702.1576747MaRDI QIDQ2883836zbMATH OpenOpenAlexWikidataFDO

Authors Alan P. Sexton, Volker Sorge, Stephen M. Watt

Publication date 13 May 2012

Published in Proceedings of the 2009 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1576702.1576747

Mathematics Subject Classification ID

Special matrices (15B99) Symbolic computation and algebraic computation (68W30)

Recommendations

• Abstract matrices in symbolic computation
• Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
• Abstracting symbolic matrices
• scientific article; zbMATH DE number 3911686
• Inferring functional properties of matrix manipulating programs by abstract interpretation

Cited in

(9)

• Using abstract stobjs in ACL2 to compute matrix normal forms
• The matrix as in-situ data structure
• Abstracting symbolic matrices
• Abstract matrices in symbolic computation
• Knowledge-based automatic generation of partitioned matrix expressions
• Computing matrix representations
• Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
• scientific article; zbMATH DE number 3911686 (Why is no real title available?)
• Teaching linear algebra in a mechanized mathematical environment

This page was built for publication: Computing with abstract matrix structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883836)