scholarly journals Incidence structures near configurations of type (n_3)

2020 ◽  
Vol 19 (1) ◽  
pp. 17-23
Author(s):  
Peter J. Dukes ◽  
Kaoruko Iwasaki
Keyword(s):  
1980 ◽  
Vol 52 (1-2) ◽  
pp. 141-156 ◽  
Author(s):  
George Markowsky ◽  
Andrew Wohlgemuth
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.


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

1987 ◽  
pp. 43-48
Author(s):  
Olaf Krafft ◽  
Martin Schaefer
Keyword(s):  

2018 ◽  
Vol 64 (5) ◽  
pp. 3461-3480 ◽  
Author(s):  
Ardhendu Tripathy ◽  
Aditya Ramamoorthy

1983 ◽  
Vol 43 (2-3) ◽  
pp. 263-271
Author(s):  
Dieter Schäfer ◽  
Karl Erich Wolff
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document