Computing with abstract matrix structures

DOI10.1145/1576702.1576747zbMath1237.68261OpenAlexW1982184845MaRDI QIDQ2883836

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

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

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

Related Items (3)

Abstracting symbolic matrices ⋮ Teaching linear algebra in a mechanized mathematical environment ⋮ Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

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