Clemens Ballarin, Manuel Kauers. Solving parametric linear systems: an experiment with constraint algebraic programming. ACM Comm. Computer Algebra, 38(2):33-46, 2004. [doi]
@article{BallarinK04, title = {Solving parametric linear systems: an experiment with constraint algebraic programming}, author = {Clemens Ballarin and Manuel Kauers}, year = {2004}, doi = {10.1145/1041791.1041793}, url = {http://doi.acm.org/10.1145/1041791.1041793}, researchr = {https://researchr.org/publication/BallarinK04}, cites = {0}, citedby = {0}, journal = {ACM Comm. Computer Algebra}, volume = {38}, number = {2}, pages = {33-46}, }