Stream: math-comp analysis

Topic: infotheo, xhl

view this post on Zulip Bas Spitters (Nov 11 2020 at 09:48):

Are there plans to integrate
https://github.com/affeldt-aist/infotheo
and parts of
https://github.com/strub/xhl
into mc analysis?

view this post on Zulip Bas Spitters (Nov 12 2020 at 09:28):

@Marie Kerjean @Reynald Affeldt @Pierre-Yves Strub @Cyril Cohen ?
Following a discussion with Marie and the MILC project.

view this post on Zulip Reynald Affeldt (Nov 12 2020 at 09:38):

The plan for infotheo is to generalize its theories by making them derive from mca.

view this post on Zulip Bas Spitters (Nov 12 2020 at 11:45):

Thanks. That's what I remembered, but then I couldn't find a trace of this online.

Last updated: Apr 18 2024 at 23:01 UTC