Stream: math-comp users

Topic: induced matrix norms

view this post on Zulip Mohit Tekriwal (Feb 03 2022 at 18:16):

Hello, I am looking for formalization of induced matrix norms. Could someone please guide me to the formalization in either mathcomp or some other source ?

Last updated: Jul 15 2024 at 20:02 UTC