Transformation of incidence structures and sharply multiply transitive permutation sets

1993 ◽  
Vol 48 (1-2) ◽  
pp. 167-173 ◽  
Author(s):  
Gloria Rinaldi
1997 ◽  
Vol 32 (1-2) ◽  
pp. 95-99
Author(s):  
Gloria Rinaldi ◽  
Simonetta Spaggiari

1980 ◽  
Vol 52 (1-2) ◽  
pp. 141-156 ◽  
Author(s):  
George Markowsky ◽  
Andrew Wohlgemuth
Keyword(s):  

1985 ◽  
Vol 44 (6) ◽  
pp. 485-487 ◽  
Author(s):  
Kazumasa Nomura
Keyword(s):  

10.29007/d3ls ◽  
2018 ◽  
Author(s):  
Jesse Alama

This note reports on some experiments, using a handful of standard automated reasoning tools, for exploring Steinitz-Rademacher polyhedra, which are models of a certain first-order theory of incidence structures. This theory and its models, even simple ones, presents significant, geometrically fascinating challenges for automated reasoning tools are.


2014 ◽  
Vol 106 (1) ◽  
pp. 35-45 ◽  
Author(s):  
Stefano Pasotti ◽  
Elena Zizioli

1982 ◽  
Vol 24 (1) ◽  
pp. 175-178 ◽  
Author(s):  
Giorgio Faina
Keyword(s):  

1992 ◽  
Vol 106-107 ◽  
pp. 383-389 ◽  
Author(s):  
Fred Piper ◽  
Peter Wild
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document