Stream: math-comp users

Topic: tensors / multilinear maps


view this post on Zulip Jason Gross (Aug 18 2023 at 19:15):

Does mathcomp have a formalization of tensors / multilinear maps? (Is there a library anywhere that does this?)

view this post on Zulip Karl Palmskog (Aug 18 2023 at 19:22):

https://github.com/coq-quantum/CoqQ/blob/main/src/tensor.v

view this post on Zulip Karl Palmskog (Aug 18 2023 at 19:22):

paper: https://arxiv.org/pdf/2207.11350.pdf

view this post on Zulip Jason Gross (Aug 18 2023 at 20:26):

Ah, neat, thanks! I will take a look at that


Last updated: Jul 23 2024 at 20:01 UTC