English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We present a symbolic tool that provides robust algebraic methods to handleautomatic deduction tasks for a dynamic geometry construction. The mainprototype has been developed as two different worksheets for the open sourcecomputer algebra system Sage, corresponding to two different ways of coding ageometric construction. In one worksheet, diagrams constructed with the opensource dynamic geometry system GeoGebra are accepted. In this worksheet,Groebner bases are used to either compute the equation of a geometric locus inthe case of a locus construction or to determine the truth of a generalgeometric statement included in the GeoGebra construction as a booleanvariable. In the second worksheet, locus constructions coded using the commonfile format for dynamic geometry developed by the Intergeo project are acceptedfor computation. The prototype and several examples are provided for testing.Moreover, a third Sage worksheet is presented in which a novel algorithm toeliminate extraneous parts in symbolically computed loci has been implemented.The algorithm, based on a recent work on the Groebner cover of parametricsystems, identifies degenerate components and extraneous adherence points inloci, both natural byproducts of general polynomial algebraic methods. Detailedexamples are discussed.

Automatic Deduction in Dynamic Geometry using Sage