Abstract matrices in symbolic computation

DOI10.1145/1145768.1145820MaRDI QIDQ2959006zbMATH OpenOpenAlexWikidataFDO

Authors Alan P. Sexton, Volker Sorge

Publication date 3 February 2017

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

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

zbMATH Keywords

constraintssemantic analysisunderspecified matrices

Mathematics Subject Classification ID

Data structures (68P05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Computing with abstract matrix structures
• Abstracting symbolic matrices
• Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
• scientific article; zbMATH DE number 3911686
• Mathematical Knowledge Management

Cited in

(8)

• Using abstract stobjs in ACL2 to compute matrix normal forms
• Flexary connectives in Mizar
• Abstracting symbolic matrices
• Computing with abstract matrix structures
• Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
• scientific article; zbMATH DE number 3911686 (Why is no real title available?)
• Mathematical Knowledge Management
• Teaching linear algebra in a mechanized mathematical environment

This page was built for publication: Abstract matrices in symbolic computation

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