Semantic wikis are a lightweight form of semantic technology that can enable more effective and active use of systems developed within the already popular wiki paradigm. But the goal of making the use and authoring of semantic wikis easy and attractive for a broad range of users raises several interaction design challenges: How can users unfamiliar with… (More)
In this note, we present the hyperbolic Menelaus theorem in the Poincaré disc of hyperbolic geometry.
Planning a visit to Expo Milano 2015 or simply touring in Milan are activities that require a certain amount of a priori knowledge of the city. In this paper, we present the process of building such a comprehensive knowledge base, the 3cixty KB, that contains descriptions of events, places, transportation facilities and social activities, collected from… (More)
In this study, we present a proof of the Menelaus theorem for quadrilaterals in hyperbolic geometry, and a proof for the transversal theorem for triangles. Hyperbolic geometry appeared in the first half of the 19 th century as an attempt to understand Euclid's axiomatic basis of geometry. It is also known as a type of non-euclidean geometry, being in many… (More)
The focus of this article is Ionescu-Weitzenböck' s inequality using the circumcircle mid-arc triangle. The original results include: (i) an improvement of the Finsler-Hadwiger's inequality; (ii) several refinements and some applications of this inequality; (iii) a new version of the Ionescu-Weitzenböck inequality, in an inner product space, with… (More)
In this study, we give a hyperbolic version of the Carnot theorem in the Poincaré upper half-plane model.
In this note, we present a short trigonometric proof to the Steiner-Lehmus Theorem in hyperbolic geometry.
In this note, we present a proof to the Smarandache's Minimum Theorem in the Einstein Relativistic Velocity Model of Hyperbolic Geometry.