This is the slide of the invited talk that I gave on December 7, 2021at at the SYNASC 2021 conference.
The screen environment is “working.”
Note that to execute the program, you need Eos3.50, which will be uploaded soon. Furthermore, you need ClassicalFold package that comes with Eos3.50.
I had an opportunity to give two talks on Eos. One is an invited talk containing our research progresses and a few new results at the SYNASC 2021, December 7, 2021.
The slide is here.
The other is a Tutorial on Orikoto programming. The tutorial material is here.
The tutorial is on December 9, 2021. I used a new version of Eos (Eos3.30). Eos3.5 is not released yet but will be in a few days.