About: Computation with Pentagons     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • The paper deals with properties of pentagons in a plane which are related to the area of a pentagon. First the formulas of Gauss and Monge holding for any pentagon in a plane are studied. Both formulas are derived by the theory of automated theorem proving. In the next part the area of cyclic pentagons is investigated. On the base of the Nagy-Rédey theorem and other results, the formula for the area of a cyclic pentagon which is given by its side lengths is rediscovered. This is the analogue of well-known Heron and Brahmagupta formulas for triangles and cyclic quadrilaterals. The method presented here could serve as a tool for solving this problem for cyclic n-gons for a higher n.
  • The paper deals with properties of pentagons in a plane which are related to the area of a pentagon. First the formulas of Gauss and Monge holding for any pentagon in a plane are studied. Both formulas are derived by the theory of automated theorem proving. In the next part the area of cyclic pentagons is investigated. On the base of the Nagy-Rédey theorem and other results, the formula for the area of a cyclic pentagon which is given by its side lengths is rediscovered. This is the analogue of well-known Heron and Brahmagupta formulas for triangles and cyclic quadrilaterals. The method presented here could serve as a tool for solving this problem for cyclic n-gons for a higher n. (en)
Title
  • Computation with Pentagons
  • Computation with Pentagons (en)
skos:prefLabel
  • Computation with Pentagons
  • Computation with Pentagons (en)
skos:notation
  • RIV/60076658:12410/08:00010626!RIV10-MSM-12410___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • V
http://linked.open...iv/cisloPeriodika
  • x
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 360852
http://linked.open...ai/riv/idVysledku
  • RIV/60076658:12410/08:00010626
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Area of a cyclic pentagon; Monge formula; Gauss formula; Groebner bases of ideals (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV
  • [027EDA9B27AE]
http://linked.open...i/riv/nazevZdroje
  • Journal for Geometry and Graphics
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...v/svazekPeriodika
  • 12
http://linked.open...iv/tvurceVysledku
  • Pech, Pavel
issn
  • 1433-8157
number of pages
http://localhost/t...ganizacniJednotka
  • 12410
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software