Solving parametric linear systems: an experiment with constraint algebraic programming

DOI10.1145/1041791.1041793MaRDI QIDQ5739498zbMATH OpenOpenAlexFDO

Authors Clemens Ballarin, M. Kauers

Publication date 18 July 2016

Published in ACM SIGSAM Bulletin (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Linear equations (linear algebraic aspects) (15A06) Symbolic computation and algebraic computation (68W30)

Recommendations

• An algorithm for solving parametric linear systems
• scientific article; zbMATH DE number 1263377
• scientific article; zbMATH DE number 1273648
• Computer Algebra in Scientific Computing
• Solving parametric polynomial systems

Cited in

(2)

• A logic based approach to finding real singularities of implicit ordinary differential equations
• Partial evaluation of Maple

Describes a project that uses

Uses Software

• Maple

This page was built for publication: Solving parametric linear systems: an experiment with constraint algebraic programming

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