Some incidence structures of maximal rank

Author(s):  
G. I. Lehrer
2020 ◽  
Vol 20 (1) ◽  
pp. 349-371
Author(s):  
İrfan Kadiköylü
Keyword(s):  

1997 ◽  
Vol 25 (10) ◽  
pp. 3361-3375 ◽  
Author(s):  
Enric Ventura
Keyword(s):  

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

2015 ◽  
pp. 115-149
Author(s):  
Jorge Vitório Pereira ◽  
Luc Pirio
Keyword(s):  

2019 ◽  
Vol 12 (2) ◽  
pp. 493-503
Author(s):  
Julius Ross ◽  
David Witt Nyström
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.


2019 ◽  
Vol 35 ◽  
pp. 285-296
Author(s):  
Elena Rubei

An interval matrix is a matrix whose entries are intervals in $\R$. This concept, which has been broadly studied, is generalized to other fields. Precisely, a rational interval matrix is defined to be a matrix whose entries are intervals in $\Q$. It is proved that a (real) interval $p \times q$ matrix with the endpoints of all its entries in $\Q$ contains a rank-one matrix if and only if it contains a rational rank-one matrix, and contains a matrix with rank smaller than $\min\{p,q\}$ if and only if it contains a rational matrix with rank smaller than $\min\{p,q\}$; from these results and from the analogous criterions for (real) inerval matrices, a criterion to see when a rational interval matrix contains a rank-one matrix and a criterion to see when it is full-rank, that is, all the matrices it contains are full-rank, are deduced immediately. Moreover, given a field $K$ and a matrix $\al$ whose entries are subsets of $K$, a criterion to find the maximal rank of a matrix contained in $\al$ is described.


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

Sign in / Sign up

Export Citation Format

Share Document