2 papers
cs.LO2026
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +5
The work described in this paper builds on the polyhedral semantics of the Spatial Logic for Closure Spaces (SLCS) and the geometric spatial model checker PolyLogicA. Polyhedral mo…
math.RT2025
A classification of four-tuples of spinors of a ten dimensional space
Willem de Graaf, Alexander Elashvili, Mamuka Jibladze
We use the theory of theta-groups developed by Vinberg, along with computations in the computer algebra system GAP4, to classify the orbits of Spin(10,C)x SL(4,C) acting on the ten…