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: Aug 19 2022 at 19:03 UTC