Zobrazeno 1 - 10 of 145 pro vyhledávání: '"sum of angles"'
1
On a family of triangle groups in complex hyperbolic geometry
Autor: Minghua Han, Baohua Xie, Dong Xie
Publikováno v: Topology and its Applications. 230:1-15
In this paper, we study the deformation of triangle groups of type ( 3 , n , ∞ ) determined by three R -circles R 0 , R 1 , R 2 with only rotational symmetry, which generalizes the problem studied by Falbel and Parker in [4] .
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2001c243752b6dbd14a554f5bb82263e
https://doi.org/10.1016/j.topol.2017.08.001
Zobrazit plný text záznamu
2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
5
Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
Autor: Charly Gries, Pascal Schreck, Pierre Boutry, Julien Narboux
Publikováno v: Journal of Automated Reasoning
Journal of Automated Reasoning, Springer Verlag, 2019, 62 (1), pp.68. ⟨10.1007/s10817-017-9422-8⟩
Journal of Automated Reasoning, 2019, 62 (1), pp.68. ⟨10.1007/s10817-017-9422-8⟩
online first; International audience; In this paper we focus on the formalization of the proofs of equivalence between different versions of Euclid's 5 th postulate. Our study is performed in the context of Tarski's neutral geometry, or equivalently
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5295cfedebbea0e5f43a1d51340f29ca
https://hal.inria.fr/hal-01178236v2/document
Zobrazit plný text záznamu
6
Three-colorings of the Euclidean plane and associated triangles of a prescribed type
Autor: Alexander Kharazishvili
Publikováno v: Georgian Mathematical Journal. 22:393-396
For any three-coloring of the plane, it is shown that there are continuum many triangles of a prescribed type (acute-angled, right-angled, obtuse-angled, isosceles) such that the vertices of each of them carry all three colors.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8a6a0269d023e0188e699fcf9dd53ad8
https://doi.org/10.1515/gmj-2015-0034
Zobrazit plný text záznamu
7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
8
The existence and stability of steady configurations in the problem of the motion of a wire triangle and a point mass under the mutual attraction*
Autor: Vasily I. Nikonov
Publikováno v: Journal of Applied Mathematics and Mechanics. 79:229-236
The plane problem of the motion of a triangle, the mass of which is distributed along its sides and a point mass under the mutual attraction is investigated. The steady rotating configurations of such a system are found and the conditions for their s
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5add258ba7e2092b98135584e8b57f70
https://doi.org/10.1016/j.jappmathmech.2015.09.003
Zobrazit plný text záznamu
10
Some Facts about Trigonometry and Euclidean Geometry
Autor: Roland Coghetto
Publikováno v: Formalized Mathematics, Vol 22, Iss 4, Pp 313-319 (2014)
Summary We calculate the values of the trigonometric functions for angles: [XXX] , by [16]. After defining some trigonometric identities, we demonstrate conventional trigonometric formulas in the triangle, and the geometric property, by [14], of the
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4c22a92b10c1774d635c3e73bac00dd5
https://doaj.org/article/2ec5aa35e4fb4a2ba57b9027fe2d0cd9
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje