scientific article; zbMATH DE number 5241986

MaRDI QIDQ5445175zbMATH OpenFDO

Authors Marian Srebrny, Lidia Stępień

Publication date 3 March 2008

Mathematics Subject Classification ID

Vector spaces, linear dependence, rank, lineability (15A03) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Symbolic computation and algebraic computation (68W30)

Recommendations

• Towards a linear algebra of programming
• Problem-oriented verification system and its application to linear algebra programs
• scientific article; zbMATH DE number 3869059
• SAT as a programming environment for linear algebra
• Proof synthesis and reflection for linear arithmetic
• scientific article; zbMATH DE number 1104361
• Algebraic languages for mathematical programming
• A Uniform Proof-theoretic Investigation of Linear Logic Programming
• scientific article; zbMATH DE number 6712184

Cited in

(1)

• SAT as a programming environment for linear algebra

This page was built for publication:

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