Abstracting symbolic matrices

DOI10.1007/S10472-012-9299-5zbMath1280.68300OpenAlexW89792533MaRDI QIDQ1926589

Volker Sorge, Alan P. Sexton, Randa Almomen

Publication date: 28 December 2012

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-012-9299-5

zbMATH Keywords

abstract matricesellipsis termssymbolic matrices

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Pattern recognition, speech recognition (68T10) Basic linear algebra (15A99)

Uses Software

• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• Computing with abstract matrix structures
• Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
• Mathematical Knowledge Management

This page was built for publication: Abstracting symbolic matrices