Výsledky vyhledávání - "Todd, Philip"

Report

Theorem Discovery Amongst Cyclic Polygons

Autor: Todd, Philip

Publikováno v: EPTCS 398, 2024, pp. 153-164

We examine a class of geometric theorems on cyclic 2n-gons. We prove that if we take n disjoint pairs of sides, each pair separated by an even number of polygon sides, then there is a linear combination of the angles between those sides which is cons

Externí odkaz: http://arxiv.org/abs/2401.13002

Zobrazit plný text záznamu

Report

Using GXWeb for Theorem Proving and Mathematical Modelling

Autor: Todd, Philip, Aley, Danny

Publikováno v: EPTCS 398, 2024, pp. 38-42

GXWeb is the free browser based version of the symbolic geometry software Geometry Expressions. We demonstrate its use in an educational setting with examples from theorem proving, mathematical modelling and loci and envelopes.
Comment: In Proce

Externí odkaz: http://arxiv.org/abs/2401.13701

Zobrazit plný text záznamu

Report

A Method for the Automated Discovery of Angle Theorems

Autor: Todd, Philip

Publikováno v: EPTCS 352, 2021, pp. 148-155

The Naive Angle Method, used by Geometry Expressions for solving problems which involve only angle constraints, represents a geometrical configuration as a sparse linear system. Linear systems with the same underlying matrix structure underpin a numb

Externí odkaz: http://arxiv.org/abs/2201.00543

Zobrazit plný text záznamu

Akademický článek

Morphing Clock

Autor: Todd, Philip, Kemper, Hannah

Publikováno v: Mathematics in School, 2018 May 01. 47(3), 16-17.

Externí odkaz: https://www.jstor.org/stable/26534634

Zobrazit plný text záznamu

Kniha

Intrinsic Geometry of Biological Surface Growth. [elektronicky zdroj]

Autor: Todd, Philip H.

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)

Akademický článek

Abacus Clock

Autor: Todd, Philip, Kemper, Hannah

Publikováno v: Mathematics in School, 2017 Nov 01. 46(5), 36-36.

Externí odkaz: https://www.jstor.org/stable/44810220

Zobrazit plný text záznamu

Akademický článek

What Is It Good For? Towards A Millian Utility Model for Ethical Terrorism Coverage

Autor: Stauffer Todd, Philip A.

Publikováno v: Media Watch, 11, 1, 50-66

Journalism, the "first draft of history" (i.e. Barth, 1943, p. 667), often drafts a history of tragedy and violence - "the oldest kinds of stories" (Coté & Simpson, 2000, p. 3). Throughout history, war and storytelling are intractably linked: "Becau

Externí odkaz: https://www.ssoar.info/ssoar/handle/document/74346

Zobrazit plný text záznamu