Talks at SYNASC 2021

I had an opportunity to give two talks on Eos.  One is an invited talk containing our research progress 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 slide is here.  The additional slide  is here.

The tutorial was 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.

Eos3.41 is out!

A new version of Eos3.41 is uploaded. For ease of installation, we uploaded the Desktop version. You may move the Eos3,41 directory to anywhere you like, once you checked that the Desktop version is running successfully. Please see the installation guide of the supplement if you are in trouble.  Section Connfiguration in the Supplement describes the details of the installation.

Examples are updated to run with Eos3.41.

Revised syntax of the quantified formula

The syntax published in March turned out to be problematic in order to be compatible with the old syntax.  The reason is the different treatment of Exists “function”.  The second parameter if Exists, if supplied three parameters, are evaluated differently than what I treated in Eos. 3.1.

I switched to the old syntax in order to be compatible with the old system and moreover to compatible with the commonly used syntax of the language of the first-order predicate logic.

Notation commands

Notation commands are not easy to write correctly, as Tutorial on Notation on Mathematica 12.2 document explains. In my (short) experience, the easiest is to put all the Notation commands that you will use at the beginning of your notebook. Alternatively, create a notebook file, say EosNotations.nb under the Eos3.3 directory, put all your rotation commands, and read them by:


So the header of your file will be
<< “EosHeader.m”

g3 Version 1.2.9
Eos3.32 (March 18,2021) running under Mathematica 12.2.0 for Mac OS X x86 (64-bit) (February 2, 2021)

<< “EosNotations.nb”;

Start wrinting Orikoto program