Stream: math-comp users

Topic: Hierachy Builder talk

Emilio Jesús Gallego Arias (Nov 19 2021 at 12:36):

Hi folks, Nicolas Behr as asked me to adversite here a seminar about Hiearchy Builder that could be of interest for some, for more details see https://www.irif.fr/~greta/event/2021-nov-26/

Emilio Jesús Gallego Arias (Nov 19 2021 at 12:37):

Feel free to repost / distribute

Last updated: Jan 29 2023 at 19:02 UTC