Volterra and one-dimensional power-law operators, from formulas to convergent finite solves.
Proriol assembly, physical operators and convergent second-kind solves.
Power-law formulas, weighted boundedness, coefficient operators and solves.
Symbols, compact defects and stability of finite sections.
Preconditioning, uniqueness and convergence for polynomial and continuous kernels.
Joint kernel/operator approximation and the exponential-kernel example.
Targets that are not yet fully formalised.