Comprehensive LU Factors of Polynomial Matrices-Reference-Cited by-同舟云学术

Comprehensive LU Factors of Polynomial Matrices

Published:2020 Issue: Volume: Page:80-88
ISSN:0302-9743
Container-title:Mathematical Aspects of Computer and Information Sciences
language:
Short-container-title:

Author:

Camargos Couto Ana C.^ORCID,Moreno Maza Marc,Linder David,Jeffrey David J.^ORCID,Corless Robert M.^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-43120-4_8

Reference14 articles.

1. Corless, R.M., Jeffrey, D.J.: Well... it isn’t quite that simple. SIGSAM Bull. 26(3), 2–6 (1992)

2. Kalkbrener, M.: Three Contributions to Elimination Theory. Johannes Kepler University, Linz (1991)

3. Aubry, P., Lazard, D., Moreno Maza, M.: On the theories of triangular sets. J. Symb. Comp. 28(1–2), 105–124 (1999)

4. Yang, L., Zhang, J.: Searching dependency between algebraic equations: an algorithm applied to automated reasoning. International Atomic Energy Agency, IC/89/263, Miramare, Trieste, Italy (1991)

5. Corless, R.M., Jeffrey, D.J.: The Turing factorization of a rectangular matrix. SIGSAM Bull. 31(3), 20–30 (1997)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Teaching Linear Algebra in a Mechanized Mathematical Environment;Lecture Notes in Computer Science;2023

2. Teaching Programming for Mathematical Scientists;Mathematics Education in the Age of Artificial Intelligence;2022

3. Parametric Linear Algebra in Maple: Reduced Row Echelon Form;2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2021-12

4. On Parametric Linear System Solving;Computer Algebra in Scientific Computing;2020