1841:
14:481-540. The paper contains presentation of point-free system of geometry originating from
Whitehead's ideas and based on Lesniewski's mereology. It also briefly discusses the relation between point-free and point-based systems of geometry. Basic properties of mereological structures are given as
1044:↔ ∀z. Unlike the case with inclusion spaces, connection theory enables defining "non-tangential" inclusion, a total order that enables the construction of abstractive classes. Gerla and Miranda (2008) argue that only thus can mereotopology unambiguously define a
228:
347:
419:
1945:
756:
574:
1247:
938:
1474:
1161:
660:
1374:
1310:
802:
Intuitively, an abstractive class defines a geometrical entity whose dimensionality is less than that of the inclusion space. For example, if the inclusion space is the
492:
279:
1099:
829:
with this defect repaired. Simons did not repair this defect, instead proposing in a footnote that the reader do so as an exercise. The primitive relation of
1788:
1777:
1759:
1952:
1541:, and models of such algebras cannot distinguish connection from overlap. It is doubtful whether either fact is faithful to Whitehead's intent.
1806:
1490:
Following the verbal description of each axiom is the identifier of the corresponding axiom in Casati and Varzi (1999). Their system
174:
1866:. Routledge. Chpt. 10, on "prototopology," discusses Whitehead's systems and is strongly influenced by the unpublished writings of
293:
365:
2044:
1609:
are, but for numbering, those of Def. 2.1 in Gerla and
Miranda (2008) (see also Gerla (1995)). The identifiers of the form
817:
Inclusion-based point-free geometry (henceforth "point-free geometry") is essentially an axiomatization of Simons's system
980:
notion of "contact" between two regions, resulting in a primitive "connection relation" between events. Connection theory
976:
A different approach was proposed in
Whitehead (1929), one inspired by De Laguna (1922). Whitehead took as primitive the
92:
Whitehead did not set out his theories in a manner that would satisfy present-day canons of formality. The two formal
1986:
696:
164:." Assuming that equality, denoted by the infix operator "=", is part of the background logic, the binary relation
1592:
See
Kneebone (1963), chpt. 13.5, for a gentle introduction to Whitehead's theory. Also see Lucas (2000), chpt. 10.
520:
2103:
2098:
1938:
2069:
1187:
1022:
2108:
1826:
985:
885:
112:. No axiom requires more than three quantified variables; hence a translation of first-order theories into
93:
1616:, included in the verbal description of each axiom, refer to the corresponding axiom in Simons (1987: 83).
902:
1867:
1538:
1393:
1125:
606:
96:
described in this entry were devised by others in order to clarify and refine
Whitehead's theories. The
2076:
2062:
1915:
1914:. Cambridge Univ. Press. 2004 paperback, Prometheus Books. Being the 1919 Tarner Lectures delivered at
2037:
1859:
795:
by inclusion. Moreover, there does not exist a region included in all of the regions included in
1326:
1274:
444:
1961:
1015:
878:
422:
117:
105:
101:
77:
65:
255:
1977:
581:
1072:
825:
formalizes a theory of
Whitehead whose axioms are not made explicit. Point-free geometry is
1910:
834:
37:
8:
1996:
1923:
1503:
1258:
589:
503:
350:
242:
97:
2113:
2030:
1560:
1056:
282:
1834:
2123:
2118:
858:
109:
1045:
807:
113:
46:
42:
2016:
1887:
811:
803:
129:
1894:: 423-454. Translated as Hurley, P.J., 1979, "The relational theory of space,"
1171:
137:
2092:
1729:
Grzegorczyk (1960) proposed a similar theory, whose motivation was primarily
1555:
1005:
238:
81:
54:
1817:
1821:
1690:
below are, but for numbering, those of Def. 3.1 in Gerla and
Miranda (2008)
1534:
762:
1708:
Presumably this is Casati and Varzi's (1999) "Internal Part" predicate, IP
1930:
1502:, and is essentially due to Clarke (1981). Any mereotopology can be made
996:
is a proper fragment of the theories proposed by Clarke, who noted their
977:
965:
940:
Hence inclusion-based point-free geometry would be a proper extension of
866:
792:
499:
430:
Given any two regions, there exists a region that includes both of them.
20:
988:
that distills the first 12 of
Whitehead's 31 assumptions into 6 axioms,
837:. The theory of Whitehead (1919) has a single primitive binary relation
1845:
Grzegorczyk, A., 1960, "Axiomatizability of geometry without points,"
1550:
1109:
997:
585:
145:
73:
50:
1830:, Frankfurt / Lancaster, ontos verlag, Process Thought X1 & X2.
1798:
De Laguna, T., 1922, "Point, line and surface as sets of solids,"
1730:
1316:
Given any two regions, there is a region connected to both of them.
69:
32:
28:
123:
1004:, feature both inclusion and topological primitives, are called
1019:
1742:
For an advanced and detailed discussion of systems related to
223:{\displaystyle x<y\leftrightarrow (x\leq y\land x\not =y).}
1818:
Inclusion and
Connection in Whitehead's Point-free Geometry
1771:
Parts and places: the structures of spatial representation
342:{\displaystyle (x\leq z\land z\leq y)\rightarrow x\leq y.}
1903:
An
Enquiry Concerning the Principles of Natural Knowledge
1811:
Handbook of incidence geometry: buildings and foundations
168:, denoted by the infix operator "<", is defined as:
414:{\displaystyle (x\leq y\land y\leq x)\rightarrow x=y.}
1396:
1329:
1277:
1190:
1128:
1075:
905:
699:
609:
523:
447:
368:
296:
258:
177:
1854:
Mathematical Logic and the Foundation of Mathematics
971:
80:" between events. Whitehead's purposes were as much
877:establishes that inclusion, unlike Proper Part, is
666:Proper Parts Principle. If all the proper parts of
104:variables in this entry should be taken as tacitly
1468:
1368:
1304:
1241:
1155:
1093:
932:
750:
654:
568:
486:
413:
341:
273:
222:
1720:. This definition combines their (4.8) and (3.1).
1380:All regions have at least two unconnected parts.
806:, then the corresponding abstractive classes are
2090:
1890:, 1916, "La Theorie Relationiste de l'Espace,"
1835:Full development of Tarski's geometry of solids
1778:A calculus of individuals based on 'connection'
1510:, without risking paradox or triviality. Hence
124:Inclusion-based point-free geometry (mereology)
1946:
1833:Gruszczynski R., and Pietruszczak A., 2008, "
751:{\displaystyle \forall z\rightarrow x\leq y.}
116:is possible. Each set of axioms has but four
100:for both theories consists of "regions." All
884:Point-free geometry is closely related to a
569:{\displaystyle x<y\rightarrow \exists z.}
64:Point-free geometry was first formulated by
1873:Roeper, P., 1997, "Region-Based Topology,"
1533:Biacino and Gerla (1991) showed that every
1960:
1953:
1939:
1242:{\displaystyle \forall z\rightarrow x=y.}
1827:Handbook of Whiteheadian Process Thought
592:has neither an upper nor a lower bound.
1905:. Cambridge Univ. Press. 2nd ed., 1925.
1253:All regions have proper parts, so that
144:relation that is a standard feature in
76:, but of "events" and of an "extension
2091:
1809:" in Buekenhout, F., Kantor, W. eds.,
1526:, suggested by chapter 2 of part 4 of
1018:, binary "connection," denoted by the
108:; hence all axioms should be taken as
1934:
1892:Revue de Metaphysique et de Morale 23
1793:Notre Dame Journal of Formal Logic 26
1782:Notre Dame Journal of Formal Logic 22
140:"≤", which corresponds to the binary
1769:Casati, R., and Varzi, A. C., 1999.
933:{\displaystyle x\leq y\lor y\leq x.}
1469:{\displaystyle \exists y\exists z.}
1156:{\displaystyle Cxy\rightarrow Cyx.}
779:. Given some inclusion space S, an
655:{\displaystyle \exists y\exists z.}
148:theories. The intuitive meaning of
49:are set out below, one grounded in
13:
1764:Notre Dame Journal of Formal Logic
1625:Gerla and Miranda 2008: Def. 4.1).
1448:
1403:
1397:
1330:
1278:
1191:
700:
616:
610:
536:
448:
14:
2135:
1875:Journal of Philosophical Logic 26
1816:--------, and Miranda A., 2008, "
1758:Biacino L., and Gerla G., 1991, "
972:Connection theory (mereotopology)
87:
16:Geometric theory based on regions
1514:extends the atomless variant of
84:as scientific and mathematical.
1864:Conceptual Roots of Mathematics
1752:
1736:
1723:
1702:
1693:
1680:
1000:character. Theories that, like
2070:Contemporary Whitehead Studies
1896:Philosophy Research Archives 5
1668:
1665:. Dover reprint, 1979. P. 423.
1655:
1646:
1637:
1628:
1619:
1595:
1586:
1577:
1460:
1442:
1430:
1424:
1412:
1409:
1360:
1336:
1296:
1284:
1224:
1221:
1209:
1197:
1138:
733:
730:
718:
706:
646:
622:
560:
542:
533:
478:
454:
396:
393:
369:
324:
321:
297:
214:
190:
187:
1:
1571:
1800:The Journal of Philosophy 19
865:asserts that Proper Part is
7:
1544:
10:
2140:
2077:Whitehead Research Project
2063:Center for Process Studies
1882:Parts: A Study in Ontology
1839:Bulletin of Symbolic Logic
1824:and Will Desmond, (eds.),
1674:In chapter 2 of part 4 of
1369:{\displaystyle \exists z.}
1305:{\displaystyle \exists y.}
487:{\displaystyle \exists z.}
128:The fundamental primitive
2054:
2008:
1968:
1813:. North-Holland: 1015-31.
960:}), were it not that the
899:, and the totality axiom
861:of Proper Part. Simons's
2038:Tensor product of graphs
1652:Kneebone (1963), p. 346.
1566:
1537:of Clarke's theory is a
588:do not exist. Hence the
274:{\displaystyle x\leq x.}
1921:--------, 1979 (1929).
1776:Clarke, Bowman, 1981, "
1518:by means of the axioms
118:existential quantifiers
2104:History of mathematics
2099:Alfred North Whitehead
1962:Alfred North Whitehead
1856:. Dover reprint, 2001.
1789:Individuals and Points
1583:Whitehead (1919, 1920)
1470:
1370:
1306:
1243:
1157:
1095:
1094:{\displaystyle \ Cxx.}
1036:can now be defined as
934:
869:and so corresponds to
752:
656:
570:
488:
415:
343:
275:
224:
106:universally quantified
66:Alfred North Whitehead
2045:Theory of gravitation
1978:Principia Mathematica
1911:The Concept of Nature
1884:. Oxford Univ. Press.
1760:Connection Structures
1471:
1371:
1307:
1244:
1158:
1096:
935:
787:of regions such that
753:
657:
571:
489:
416:
344:
276:
225:
68:, not as a theory of
1852:Kneebone, G., 1963.
1807:Pointless Geometries
1746:, see Roeper (1997).
1663:Set Theory and Logic
1661:Stoll, R. R., 1963.
1496:strong mereotopology
1394:
1327:
1275:
1188:
1126:
1073:
903:
835:strict partial order
697:
670:are proper parts of
607:
521:
445:
366:
294:
256:
175:
94:first-order theories
2109:Mathematical axioms
2024:Point-free geometry
1997:Process and Reality
1924:Process and Reality
1676:Process and Reality
1528:Process and Reality
891:, whose axioms are
98:domain of discourse
25:point-free geometry
2031:Process philosophy
1880:Simons, P., 1987.
1805:Gerla, G., 1995, "
1634:Simons (1987: 83)
1561:Pointless topology
1466:
1366:
1302:
1239:
1153:
1091:
1014:has one primitive
986:first-order theory
964:relation "≤" is a
930:
886:dense linear order
849: <
833:is Proper Part, a
748:
652:
566:
484:
411:
339:
271:
220:
110:universal closures
2086:
2085:
1078:
781:abstractive class
136:, denoted by the
59:connection theory
47:axiomatic systems
2131:
2079:
2072:
2065:
2047:
2040:
2033:
2026:
2019:
2001:
1989:
1982:
1955:
1948:
1941:
1932:
1931:
1908:--------, 1920.
1901:--------, 1919.
1747:
1740:
1734:
1727:
1721:
1712:↔ (x≤y)∧(C
1706:
1700:
1697:
1691:
1684:
1678:
1672:
1666:
1659:
1653:
1650:
1644:
1643:Whitehead (1919)
1641:
1635:
1632:
1626:
1623:
1617:
1599:
1593:
1590:
1584:
1581:
1485:connection space
1475:
1473:
1472:
1467:
1375:
1373:
1372:
1367:
1311:
1309:
1308:
1303:
1248:
1246:
1245:
1240:
1162:
1160:
1159:
1154:
1100:
1098:
1097:
1092:
1076:
1023:predicate letter
939:
937:
936:
931:
757:
755:
754:
749:
661:
659:
658:
653:
586:universal region
575:
573:
572:
567:
493:
491:
490:
485:
420:
418:
417:
412:
348:
346:
345:
340:
280:
278:
277:
272:
239:partially orders
233:The axioms are:
229:
227:
226:
221:
114:relation algebra
31:whose primitive
2139:
2138:
2134:
2133:
2132:
2130:
2129:
2128:
2089:
2088:
2087:
2082:
2075:
2068:
2061:
2050:
2043:
2036:
2029:
2022:
2017:Inert knowledge
2015:
2004:
1994:
1985:
1975:
1964:
1959:
1916:Trinity College
1888:Whitehead, A.N.
1787:------, 1985, "
1755:
1750:
1741:
1737:
1728:
1724:
1707:
1703:
1698:
1694:
1685:
1681:
1673:
1669:
1660:
1656:
1651:
1647:
1642:
1638:
1633:
1629:
1624:
1620:
1600:
1596:
1591:
1587:
1582:
1578:
1574:
1569:
1547:
1539:Boolean algebra
1395:
1392:
1391:
1328:
1325:
1324:
1276:
1273:
1272:
1189:
1186:
1185:
1127:
1124:
1123:
1074:
1071:
1070:
1032:is included in
1006:mereotopologies
974:
904:
901:
900:
804:Euclidean plane
793:totally ordered
771:inclusion space
698:
695:
694:
678:is included in
608:
605:
604:
522:
519:
518:
446:
443:
442:
367:
364:
363:
295:
292:
291:
257:
254:
253:
176:
173:
172:
130:binary relation
126:
90:
53:, the other in
17:
12:
11:
5:
2137:
2127:
2126:
2121:
2116:
2111:
2106:
2101:
2084:
2083:
2081:
2080:
2073:
2066:
2058:
2056:
2052:
2051:
2049:
2048:
2041:
2034:
2027:
2020:
2012:
2010:
2006:
2005:
2003:
2002:
1992:
1991:
1990:
1972:
1970:
1966:
1965:
1958:
1957:
1950:
1943:
1935:
1929:
1928:
1919:
1906:
1899:
1885:
1878:
1871:
1857:
1850:
1843:
1831:
1814:
1803:
1796:
1785:
1774:
1767:
1754:
1751:
1749:
1748:
1735:
1722:
1701:
1692:
1679:
1667:
1654:
1645:
1636:
1627:
1618:
1594:
1585:
1575:
1573:
1570:
1568:
1565:
1564:
1563:
1558:
1553:
1546:
1543:
1498:) consists of
1477:
1476:
1465:
1462:
1459:
1456:
1453:
1450:
1447:
1444:
1441:
1438:
1435:
1432:
1429:
1426:
1423:
1420:
1417:
1414:
1411:
1408:
1405:
1402:
1399:
1385:
1384:
1377:
1376:
1365:
1362:
1359:
1356:
1353:
1350:
1347:
1344:
1341:
1338:
1335:
1332:
1318:
1317:
1313:
1312:
1301:
1298:
1295:
1292:
1289:
1286:
1283:
1280:
1266:
1265:
1250:
1249:
1238:
1235:
1232:
1229:
1226:
1223:
1220:
1217:
1214:
1211:
1208:
1205:
1202:
1199:
1196:
1193:
1179:
1178:
1164:
1163:
1152:
1149:
1146:
1143:
1140:
1137:
1134:
1131:
1117:
1116:
1102:
1101:
1090:
1087:
1084:
1081:
1064:
1063:
973:
970:
929:
926:
923:
920:
917:
914:
911:
908:
759:
758:
747:
744:
741:
738:
735:
732:
729:
726:
723:
720:
717:
714:
711:
708:
705:
702:
688:
687:
663:
662:
651:
648:
645:
642:
639:
636:
633:
630:
627:
624:
621:
618:
615:
612:
598:
597:
582:atomic regions
577:
576:
565:
562:
559:
556:
553:
550:
547:
544:
541:
538:
535:
532:
529:
526:
512:
511:
500:densely orders
495:
494:
483:
480:
477:
474:
471:
468:
465:
462:
459:
456:
453:
450:
436:
435:
427:
426:
410:
407:
404:
401:
398:
395:
392:
389:
386:
383:
380:
377:
374:
371:
358:
338:
335:
332:
329:
326:
323:
320:
317:
314:
311:
308:
305:
302:
299:
286:
270:
267:
264:
261:
247:
246:
231:
230:
219:
216:
213:
210:
207:
204:
201:
198:
195:
192:
189:
186:
183:
180:
138:infix operator
125:
122:
89:
88:Formalizations
86:
15:
9:
6:
4:
3:
2:
2136:
2125:
2122:
2120:
2117:
2115:
2112:
2110:
2107:
2105:
2102:
2100:
2097:
2096:
2094:
2078:
2074:
2071:
2067:
2064:
2060:
2059:
2057:
2053:
2046:
2042:
2039:
2035:
2032:
2028:
2025:
2021:
2018:
2014:
2013:
2011:
2007:
1999:
1998:
1993:
1988:
1984:
1983:
1980:
1979:
1974:
1973:
1971:
1967:
1963:
1956:
1951:
1949:
1944:
1942:
1937:
1936:
1933:
1927:. Free Press.
1926:
1925:
1920:
1917:
1913:
1912:
1907:
1904:
1900:
1897:
1893:
1889:
1886:
1883:
1879:
1876:
1872:
1869:
1868:David Bostock
1865:
1861:
1858:
1855:
1851:
1848:
1844:
1840:
1836:
1832:
1829:
1828:
1823:
1819:
1815:
1812:
1808:
1804:
1801:
1797:
1794:
1790:
1786:
1783:
1779:
1775:
1772:
1768:
1765:
1761:
1757:
1756:
1745:
1739:
1732:
1726:
1719:
1715:
1711:
1705:
1699:Clarke (1981)
1696:
1689:
1683:
1677:
1671:
1664:
1658:
1649:
1640:
1631:
1622:
1615:
1614:
1608:
1604:
1598:
1589:
1580:
1576:
1562:
1559:
1557:
1556:Mereotopology
1554:
1552:
1549:
1548:
1542:
1540:
1536:
1531:
1529:
1525:
1521:
1517:
1513:
1509:
1505:
1501:
1497:
1493:
1488:
1486:
1482:
1463:
1457:
1454:
1451:
1445:
1439:
1436:
1433:
1427:
1421:
1418:
1415:
1406:
1400:
1390:
1387:
1386:
1383:
1379:
1378:
1363:
1357:
1354:
1351:
1348:
1345:
1342:
1339:
1333:
1323:
1320:
1319:
1315:
1314:
1299:
1293:
1290:
1287:
1281:
1271:
1268:
1267:
1264:
1260:
1256:
1252:
1251:
1236:
1233:
1230:
1227:
1218:
1215:
1212:
1206:
1203:
1200:
1194:
1184:
1181:
1180:
1177:
1173:
1169:
1166:
1165:
1150:
1147:
1144:
1141:
1135:
1132:
1129:
1122:
1119:
1118:
1115:
1111:
1107:
1104:
1103:
1088:
1085:
1082:
1079:
1069:
1066:
1065:
1062:
1058:
1054:
1051:
1050:
1049:
1047:
1043:
1039:
1035:
1031:
1027:
1024:
1021:
1017:
1013:
1009:
1007:
1003:
999:
995:
991:
987:
983:
979:
969:
967:
963:
959:
955:
951:
947:
943:
927:
924:
921:
918:
915:
912:
909:
906:
898:
894:
890:
887:
882:
880:
879:antisymmetric
876:
872:
868:
864:
860:
856:
852:
848:
844:
840:
836:
832:
828:
824:
820:
815:
813:
809:
805:
800:
798:
794:
790:
786:
782:
778:
774:
772:
768:
764:
745:
742:
739:
736:
727:
724:
721:
715:
712:
709:
703:
693:
690:
689:
685:
681:
677:
673:
669:
665:
664:
649:
643:
640:
637:
634:
631:
628:
625:
619:
613:
603:
600:
599:
595:
591:
587:
583:
579:
578:
563:
557:
554:
551:
548:
545:
539:
530:
527:
524:
517:
514:
513:
509:
505:
501:
497:
496:
481:
475:
472:
469:
466:
463:
460:
457:
451:
441:
438:
437:
433:
429:
428:
424:
423:antisymmetric
408:
405:
402:
399:
390:
387:
384:
381:
378:
375:
372:
362:
359:
356:
352:
336:
333:
330:
327:
318:
315:
312:
309:
306:
303:
300:
290:
287:
284:
268:
265:
262:
259:
252:
249:
248:
244:
240:
236:
235:
234:
217:
211:
208:
205:
202:
199:
196:
193:
184:
181:
178:
171:
170:
169:
167:
163:
159:
155:
151:
147:
143:
139:
135:
131:
121:
119:
115:
111:
107:
103:
99:
95:
85:
83:
82:philosophical
79:
75:
71:
67:
62:
60:
57:and known as
56:
55:mereotopology
52:
48:
44:
40:
39:
34:
30:
26:
22:
2023:
1995:
1976:
1922:
1909:
1902:
1895:
1891:
1881:
1874:
1863:
1860:Lucas, J. R.
1853:
1846:
1838:
1825:
1822:Michel Weber
1810:
1799:
1792:
1781:
1773:. MIT Press.
1770:
1763:
1753:Bibliography
1743:
1738:
1725:
1717:
1713:
1709:
1704:
1695:
1687:
1682:
1675:
1670:
1662:
1657:
1648:
1639:
1630:
1621:
1612:
1610:
1606:
1602:
1597:
1588:
1579:
1532:
1527:
1523:
1519:
1515:
1511:
1507:
1506:by invoking
1499:
1495:
1491:
1489:
1484:
1480:
1478:
1388:
1381:
1321:
1269:
1262:
1254:
1182:
1175:
1167:
1120:
1113:
1105:
1067:
1060:
1052:
1041:
1037:
1033:
1029:
1025:
1011:
1010:
1001:
998:mereological
993:
989:
981:
975:
961:
957:
953:
949:
945:
941:
896:
892:
888:
883:
874:
870:
862:
854:
850:
846:
842:
838:
830:
826:
822:
818:
816:
801:
796:
788:
784:
780:
776:
775:
770:
766:
760:
691:
683:
679:
675:
671:
667:
601:
593:
515:
507:
498:Proper Part
439:
431:
360:
354:
288:
250:
232:
165:
161:
157:
153:
149:
146:mereological
141:
133:
127:
102:unquantified
91:
63:
58:
41:rather than
36:
24:
18:
1981:(1910–1913)
1847:Synthese 12
1766:32: 242-47.
1731:topological
1686:The axioms
1601:The axioms
1479:A model of
1172:extensional
978:topological
966:total order
867:irreflexive
841:defined as
783:is a class
166:Proper Part
160:is part of
33:ontological
21:mathematics
2093:Categories
1898:: 712-741.
1877:: 251-309.
1849:: 228-235.
1572:References
777:Definition
351:transitive
237:Inclusion
35:notion is
2114:Mereology
1802:: 449-61.
1784:: 204-18.
1551:Mereology
1449:¬
1446:∧
1437:≤
1428:∧
1419:≤
1404:∃
1398:∃
1349:∧
1331:∃
1279:∃
1225:→
1210:↔
1192:∀
1139:→
1110:symmetric
1057:reflexive
948:∪ {
922:≤
916:∨
910:≤
821:In turn,
740:≤
734:→
719:→
701:∀
635:∧
617:∃
611:∃
537:∃
534:→
473:≤
467:∧
461:≤
449:∃
397:→
388:≤
382:∧
376:≤
331:≤
325:→
316:≤
310:∧
304:≤
283:reflexive
263:≤
203:∧
197:≤
188:↔
134:inclusion
74:spacetime
51:mereology
2124:Topology
2119:Ontology
2009:Concepts
1987:glossary
1862:, 2000.
1795:: 61-75.
1716:→∃
1545:See also
1504:atomless
1261:theory.
1259:atomless
1020:prefixed
1016:relation
944:(namely
859:converse
853:. Hence
209:≠
142:Parthood
78:relation
70:geometry
29:geometry
1028:. That
857:is the
674:, then
2000:(1929)
1820:," in
1257:is an
1077:
808:points
769:is an
590:domain
584:and a
504:domain
243:domain
72:or of
45:. Two
38:region
2055:Study
1969:Books
1842:well.
1688:C1-C6
1567:Notes
1535:model
1500:C1-C3
1483:is a
1382:C.14.
1176:C.11.
1046:point
990:C1-C6
984:is a
812:lines
767:G1–G7
763:model
580:Both
43:point
27:is a
1522:and
1291:<
1263:P.9.
1114:C.2.
1068:C1.
1061:C.1.
893:G1-3
810:and
725:<
713:<
641:<
629:<
555:<
549:<
528:<
502:the
241:the
182:<
156:is "
61:.
1837:,"
1791:,"
1780:,"
1762:,"
1605:to
1516:SMT
1492:SMT
1389:C6.
1322:C5.
1270:C4.
1183:C3.
1170:is
1121:C2.
1108:is
1055:is
863:WP1
843:xKy
791:is
789:S\G
765:of
692:G7.
684:WP3
602:G6.
594:WP2
516:G5.
508:WP5
440:G4.
432:WP6
361:G3.
355:WP4
289:G2.
251:G1.
132:is
19:In
2095::
1714:zx
1710:xy
1611:WP
1607:G7
1603:G1
1530:.
1524:C6
1520:C5
1508:C4
1487:.
1174:.
1112:.
1059:.
1048:.
1040:≤
1008:.
992:.
968:.
958:G7
956:,
954:G6
952:,
950:G4
897:G5
895:,
881:.
875:G3
873:.
871:G1
845:↔
819:W.
814:.
799:.
773:.
761:A
682:.
506:.
353:)
152:≤
120:.
23:,
1954:e
1947:t
1940:v
1918:.
1870:.
1744:C
1733:.
1718:v
1613:n
1512:C
1494:(
1481:C
1464:.
1461:]
1458:z
1455:y
1452:C
1443:)
1440:x
1434:z
1431:(
1425:)
1422:x
1416:y
1413:(
1410:[
1407:z
1401:y
1364:.
1361:]
1358:y
1355:z
1352:C
1346:x
1343:z
1340:C
1337:[
1334:z
1300:.
1297:]
1294:x
1288:y
1285:[
1282:y
1255:C
1237:.
1234:y
1231:=
1228:x
1222:]
1219:y
1216:z
1213:C
1207:x
1204:z
1201:C
1198:[
1195:z
1168:C
1151:.
1148:x
1145:y
1142:C
1136:y
1133:x
1130:C
1106:C
1089:.
1086:x
1083:x
1080:C
1053:C
1042:y
1038:x
1034:y
1030:x
1026:C
1012:C
1002:C
994:C
982:C
962:D
946:D
942:D
928:.
925:x
919:y
913:y
907:x
889:D
855:K
851:x
847:y
839:K
831:W
827:W
823:W
797:G
785:G
746:.
743:y
737:x
731:]
728:y
722:z
716:x
710:z
707:[
704:z
686:.
680:y
676:x
672:y
668:x
650:.
647:]
644:z
638:x
632:x
626:y
623:[
620:z
614:y
596:.
564:.
561:]
558:y
552:z
546:x
543:[
540:z
531:y
525:x
510:.
482:.
479:]
476:z
470:y
464:z
458:x
455:[
452:z
434:.
425:)
421:(
409:.
406:y
403:=
400:x
394:)
391:x
385:y
379:y
373:x
370:(
357:.
349:(
337:.
334:y
328:x
322:)
319:y
313:z
307:z
301:x
298:(
285:)
281:(
269:.
266:x
260:x
245:.
218:.
215:)
212:y
206:x
200:y
194:x
191:(
185:y
179:x
162:y
158:x
154:y
150:x
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.