A Gale-Ryser Theorem for Incidence-Structures

1987 ◽  
pp. 43-48
Author(s):  
Olaf Krafft ◽  
Martin Schaefer
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):  

1989 ◽  
Vol 117 ◽  
pp. 25-34 ◽  
Author(s):  
Alan Camina ◽  
Johannes Siemons

1977 ◽  
Vol 6 (2) ◽  
Author(s):  
BruceN. Cooperstein
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):  

1995 ◽  
Vol 54 (1-2) ◽  
pp. 67-73
Author(s):  
Emanuel Kolb

Sign in / Sign up

Export Citation Format

Share Document