W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21455Pełny rekord metadanych
| Pole DC | Wartość | Język |
|---|---|---|
| dc.contributor.author | Nakamura, Yatsuka | - |
| dc.contributor.author | Trybulec, Andrzej | - |
| dc.date.accessioned | 2026-11-06T10:51:29Z | - |
| dc.date.available | 2026-11-06T10:51:29Z | - |
| dc.date.issued | 2005 | - |
| dc.identifier.citation | Formalized Mathematics, Volume 13, Issue 2, Pages 199-219 | pl |
| dc.identifier.issn | 1426-2630 | - |
| dc.identifier.uri | http://hdl.handle.net/11320/21455 | - |
| dc.description.abstract | Here, the so called Fashoda Meet Theorem is proven in the case of rectangles. All cases of proper location of arcs are listed up, and it is shown that the theorem is valid in each case. Such a list of cases will be useful when one wants to apply the theorem. | pl |
| dc.language.iso | en | pl |
| dc.publisher | University of Białystok | pl |
| dc.rights | CC BY-SA 4.0 | - |
| dc.rights.uri | https://creativecommons.org/licenses/by-sa/4.0/ | - |
| dc.title | The Fashoda Meet Theorem for Rectangles | pl |
| dc.type | Article | pl |
| dc.rights.holder | © 2005 University of Białystok | pl |
| dc.rights.holder | This work is licensed under the Creative Commons License. | pl |
| dc.description.Affiliation | Yatsuka Nakamura - Shinshu University, Nagano, Japan | pl |
| dc.description.Affiliation | Andrzej Trybulec - Institute of Computer Science, University of Białystok | pl |
| dc.description.references | Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990. | pl |
| dc.description.references | Czes law Byli´nski. Functions and their basic properties. Formalized Mathematics, 1(1):55–65, 1990. | pl |
| dc.description.references | Czes law Byli´nski. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990. | pl |
| dc.description.references | Czes law Byli´nski and Piotr Rudnicki. Bounding boxes for compact sets in E 2. Formalized Mathematics, 6(3):427–440, 1997. | pl |
| dc.description.references | Agata Darmochwa l. Families of subsets, subspaces and mappings in topological spaces. Formalized Mathematics, 1(2):257–261, 1990. | pl |
| dc.description.references | Agata Darmochwa l. The Euclidean space. Formalized Mathematics, 2(4):599–603, 1991. | pl |
| dc.description.references | Agata Darmochwa l and Yatsuka Nakamura. Metric spaces as topological spaces – fundamental concepts. Formalized Mathematics, 2(4):605–608, 1991. | pl |
| dc.description.references | Agata Darmochwa l and Yatsuka Nakamura. The topological space E2T. Arcs, line segments and special polygonal arcs. Formalized Mathematics, 2(5):617–621, 1991. | pl |
| dc.description.references | Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35–40, 1990. | pl |
| dc.description.references | Artur Korni lowicz. The ordering of points on a curve. Part III. Formalized Mathematics, 10(3):169–171, 2002. | pl |
| dc.description.references | Yatsuka Nakamura. On Outside Fashoda Meet Theorem. Formalized Mathematics, 9(4):697–704, 2001. | pl |
| dc.description.references | Yatsuka Nakamura. General Fashoda meet theorem for unit circle and square. Formalized Mathematics, 11(3):213–224, 2003. | pl |
| dc.description.references | Yatsuka Nakamura and Andrzej Trybulec. A decomposition of a simple closed curves and the order of their points. Formalized Mathematics, 6(4):563–572, 1997. | pl |
| dc.description.references | Beata Padlewska and Agata Darmochwa l. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223–230, 1990. | pl |
| dc.description.references | Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990. | pl |
| dc.description.references | Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990. | pl |
| dc.description.references | Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73–83, 1990. | pl |
| dc.description.volume | 13 | pl |
| dc.description.issue | 2 | pl |
| dc.description.firstpage | 199 | pl |
| dc.description.lastpage | 219 | pl |
| dc.identifier.citation2 | Formalized Mathematics | pl |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2005, Volume 13, Issue 2 | |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| The_Fashoda_Meet_Theorem_for_Rectangles.pdf | 199,96 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
