7 citations · 20 across the 11 of their papers we have counts for
11 papers
Teaching Linear Algebra in a Mechanized Mathematical Environment
Robert M. Corless, David J. Jeffrey, Azar Shakoori
This paper outlines our ideas on how to teach linear algebra in a mechanized mathematical environment, and discusses some of our reasons for thinking that this is a better way to t…
Branch cuts and Riemann surfaces
David J. Jeffrey
The plotting of Riemann surfaces by computational software is discussed. The link between the branches of a multi-valued function , defined on the range of , and a Riem…
A Fractal Eigenvector
Neil J. Calkin, Eunice Y. S. Chan, Robert M. Corless +2
The recursively-constructed family of Mandelbrot matrices for , , have nonnegative entries (indeed just and , so each can be called a binary mat…
Integrals of functions containing parameters
Robert M. Corless, David J. Jeffrey, David R. Stoutemyer
This paper offers what seems at first to be a minor technical correction to the current practice of computing indefinite integrals, and introduces the idea of a "Kahanian constant…
Common Factors in Fraction-Free Matrix Decompositions
Johannes Middeke, David J. Jeffrey, Christoph Koutschan
We consider LU and QR matrix decompositions using exact computations. We show that fraction-free Gauss--Bareiss reduction leads to triangular matrices having a non-trivial number o…
Matrix factoring by fraction-free reduction
Johannes Middeke, David J. Jeffrey
We consider exact matrix decomposition by Gauss-Bareiss reduction. We investigate two aspects of the process: common row and column factors and the influence of pivoting strategies…