W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21006Pełny rekord metadanych
| Pole DC | Wartość | Język |
|---|---|---|
| dc.contributor.author | Riccardi, Marco | - |
| dc.date.accessioned | 2026-09-14T10:55:38Z | - |
| dc.date.available | 2026-09-14T10:55:38Z | - |
| dc.date.issued | 2008 | - |
| dc.identifier.citation | Formalized Mathematics, Volume 16, Issue 2, 2008, Pages 97-101 | pl |
| dc.identifier.issn | 1426-2630 | - |
| dc.identifier.uri | http://hdl.handle.net/11320/21006 | - |
| dc.description.abstract | The goal of this article is to formalize some theorems that are in the [17] on the web. These are elementary theorems included in every handbook of Euclidean geometry and trigonometry: the law of cosines, the Heron’s formula, the isosceles triangle theorem, the intersecting chords theorem and the Ptolemy’s theorem. | pl |
| dc.language.iso | en | pl |
| dc.publisher | University of Białystok | pl |
| dc.rights.uri | https://creativecommons.org/licenses/by-sa/4.0/ | - |
| dc.title | Heron’s Formula and Ptolemy’s Theorem | pl |
| dc.type | Article | pl |
| dc.rights.holder | © 2009 Marco Riccardi, published by University of Białystok | pl |
| dc.rights.holder | This work is licensed under the Creative Commons License | pl |
| dc.identifier.doi | 10.2478/v10037-008-0014-2 | - |
| dc.description.references | Kanchun and Yatsuka Nakamura. The inner product of finite sequences and of points of n-dimensional topological space. Formalized Mathematics, 11(2):179–183, 2003. | pl |
| dc.description.references | Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990. | pl |
| dc.description.references | Leszek Borys. Paracompact and metrizable spaces. Formalized Mathematics, 2(4):481-485, 1991. | pl |
| dc.description.references | Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507–513, 1990. | pl |
| dc.description.references | Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990. | pl |
| dc.description.references | Wenpai Chang, Yatsuka Nakamura, and Piotr Rudnicki. Inner products and angles of complex numbers. Formalized Mathematics, 11(3):275–280, 2003. | pl |
| dc.description.references | Agata Darmochwał and Yatsuka Nakamura. Metric spaces as topological spaces– fundamental concepts. Formalized Mathematics, 2(4):605–608, 1991. | pl |
| dc.description.references | Agata Darmochwał 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 | Stanisława Kanas, Adam Lecko, and Mariusz Startek. Metric spaces. Formalized Mathematics, 1(3):607–610, 1990. | pl |
| dc.description.references | Akihiro Kubo and Yatsuka Nakamura. Angle and triangle in Euclidian topological space. Formalized Mathematics, 11(3):281–287, 2003. | 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 | Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223–230, 1990. | pl |
| dc.description.references | Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445–449, 1990. | pl |
| dc.description.references | Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501–505, 1990. | pl |
| dc.description.references | Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990. | pl |
| dc.description.references | Freek Wiedijk. Formalizing 100 theorems. http://www.cs.ru.nl/ freek/100/. | pl |
| dc.description.references | Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255–263, 1998. | pl |
| dc.identifier.eissn | 1898-9934 | - |
| dc.description.firstpage | 97 | pl |
| dc.description.lastpage | 101 | pl |
| dc.identifier.citation2 | Formalized Mathematics | pl |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2008, Volume 16, Issue 2 | |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Heron's_Formula_and_Ptolemy's_Theorem.pdf | 250,15 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
