Zobrazeno 1 - 10
of 476
pro vyhledávání: '"Ordered geometry"'
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Rolf Struve, Victor Pambuccian
Publikováno v:
Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry. 62:109-120
This is a survey of axiom systems for fragments of naturally encountered geometries which are just barely strong enough to imply that there are infinitely many objects in the universe of any of its models.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57216933fd5bc241df2764c6f4f9df4b
https://doi.org/10.1007/s13366-020-00532-5
https://doi.org/10.1007/s13366-020-00532-5
Autor:
Xiaoyun Liu, Zi-Ying Li, Shijun Xu, Shaodong Zhang, Zhongwei Sun, Yoshiaki Nomura, Pan Li, Zi-Mu Li
Publikováno v:
Journal of the American Chemical Society. 142:10833-10840
Constructing hierarchical superstructures to achieve comparable complexity and functions to proteins with four-level hierarchy is challenging, which relies on the elaboration of novel building blocks with complex structures. We present a series of ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82ad5b33699d66c90339ccb30af3d362
https://doi.org/10.1021/jacs.0c03330
https://doi.org/10.1021/jacs.0c03330
Autor:
Alasdair Urquhart
Publikováno v:
The Australasian Journal of Logic. 16:342-354
This paper shows that model structures for R+, the system of positive relevant implication, can be constructed from ordered geometries. This extends earlier results building such model structures from projective spaces. A final section shows how such
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::85b353bd508a4f15989e6ca9c75d4e2c
https://doi.org/10.26686/ajl.v16i8.5732
https://doi.org/10.26686/ajl.v16i8.5732
Publikováno v:
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Vol XLII-5-W1, Pp 623-630 (2017)
Throughout history the link between geometry and architecture has been strong and while architects have used mathematics to construct their buildings, geometry has always been the essential tool allowing them to choose spatial shapes which are aesthe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e689cb65c208ba36c7d6abfe53359279
https://doi.org/10.5194/isprs-archives-xlii-5-w1-623-2017
https://doi.org/10.5194/isprs-archives-xlii-5-w1-623-2017
Autor:
Joel Langer
Publikováno v:
Journal of Geometry. 108:837-849
We describe computations for plots of the polyhedral geometry of a quadratic differential and interpret the latter in the spirit of Riemannian geometry. In this expository paper, the graphics themselves are the end results.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eeb32532520dd85794f394cf81f2593c
https://doi.org/10.1007/s00022-017-0378-y
https://doi.org/10.1007/s00022-017-0378-y
Autor:
Victor Pambuccian
Publikováno v:
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences. 377(2140)
By looking at concrete examples from elementary geometry, we analyse the manner in which the simplicity of proofs could be defined. We first find that, when presented with two proofs coming from mutually incompatible sets of assumptions, the decision
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da4895236d1c6aa9c3b53e7f77f482f6
https://pubmed.ncbi.nlm.nih.gov/30966971
https://pubmed.ncbi.nlm.nih.gov/30966971
Publikováno v:
Journal of Symbolic Computation
Journal of Symbolic Computation, Elsevier, 2019, Special Issue on Symbolic Computation in Software Science, 90, pp.149-168. ⟨10.1016/j.jsc.2018.04.007⟩
James H. Davenport and Temur Kutsia
Journal of Symbolic Computation, 2019, Special Issue on Symbolic Computation in Software Science, 90, pp.149-168. ⟨10.1016/j.jsc.2018.04.007⟩
Journal of Symbolic Computation, Elsevier, 2019, Special Issue on Symbolic Computation in Software Science, 90, pp.149-168. ⟨10.1016/j.jsc.2018.04.007⟩
James H. Davenport and Temur Kutsia
Journal of Symbolic Computation, 2019, Special Issue on Symbolic Computation in Software Science, 90, pp.149-168. ⟨10.1016/j.jsc.2018.04.007⟩
International audience; This paper describes the formalization of the arithmetization of Euclidean plane geometry in the Coq proof assistant. As a basis for this work, Tarski's system of geometry was chosen for its well-known metamath-ematical proper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d19606004baeac5b5c1824c21361cd57
https://hal.inria.fr/hal-01483457/file/extended-arithmetization.pdf
https://hal.inria.fr/hal-01483457/file/extended-arithmetization.pdf
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Rolf Struve, Horst Struve
Publikováno v:
Aequationes mathematicae. 90:1201-1218
We analyze an elementary theorem of Euclidean geometry, the Droz-Farny Line Theorem, from the point of view of the foundations of geometry. We start with an elementary synthetic proof which is based on simple properties of the group of motions. The p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a70cfd4fffae477b89bce230ec0bea71
https://doi.org/10.1007/s00010-016-0430-2
https://doi.org/10.1007/s00010-016-0430-2