FFMG - (Dynamic) Finite Field Metric Geometry software

Abstract:

This talk will focus on some web based software being developed to generate examples, check conjectures and allow experimentation and visualisation of Geometry over Finite Fields (and other Fields)

 The idea is to generate a kind of cut-down version of GeoGebra or Geometer's SketchPad, running in a browser, where all the arithmetic is exact - no floating point operations whatsoever. One picks a ground Field in which to work (Finite Field, Rationals, Extension Fields etc), a geometry flavour (Affine or Projective), and a Symmetric Bilinear Form to specify the geometry (Euclidean, Hyperbolic, etc)

 The software will be described, a prototype demonstrated, and comments and suggestions sought.