We are testing Eos3.3 on Mathematica 12.2.0.0, which is introduced on February 3, 2021. Even most basic command like HO[“A”,”B”] fails with an error message of Join. We are investigating the reason for the failure. For the moment please run Eos on Mathematica 12.1 or 11.
Version Eos3.3.1
Sorry, but you do not have permission to view this content.
New proof kernel
Sorry, but you do not have permission to view this content.
UnList, DuplicatePoint,ProjectPoint
Sorry, but you do not have permission to view this content.
Define MinusCross
Sorry, but you do not have permission to view this content.
Visualization of MacOSX and Win 10
Sorry, but you do not have permission to view this content.
Mathematica 12 and Eos3.0
Sorry, but you do not have permission to view this content.
Mathematica 12
Sorry, but you do not have permission to view this content.
Mathemtica 11.3 on Ubuntu 19.04
Mathemtica 11.3 on Ubuntu 19.04 does not work. It simply failed to display the welcome page, and aborted the computation. I looked at stackoverflow, and I can find similar phenomena in the Mathematica client side code. I later learned that Mathematica 12 seemed to jve solved the problem.