Efficient Richardson iteration of null-space expansion for multi-user massive MIMO in time-varying channel (EURASIP Journal on Wireless Communications and Networking, 2026)