Who cares about Euclidean geometry? Miroslav Olk Euclidean - PowerPoint PPT Presentation

Apr 07, 2024 •145 likes •342 views

Who cares about Euclidean geometry? Miroslav Olk Euclidean geometry Points, lines and circles in the plane Nice but Without applications Algorithmically decidable AITP Automated theorem proving Machine learning Me

Who cares about Euclidean geometry? Miroslav Olšák
Euclidean geometry ● Points, lines and circles in the plane ● Nice but… – Without applications – Algorithmically decidable
AITP ● Automated theorem proving ● Machine learning
Me
! s w e n g n k i a e r B A computer program exceeded world best mathematicians
Mathematics ● Abstraction ● Reasoning ● Problem solving
Abstraction A conceptual process where general rules and concepts are derived from the usage and classification of specific examples, literal ("real" or "concrete") signifiers, first principles, or other methods. (Wikipedia)
Abstraction – Logician’s approach ● Replacing constants with variables ● Construction of lambda function (HOL) ● ...
Machine learning approach These are dogs c g i a m L M Now I have an idea what a "dog" means
Elementary school ● Arithmetic ● Word problems ● Euclidean geometry – One abstraction level – Teaches reasoning
Problem solving – benchmark
International Mathematical Olympiad (IMO) ● Prestigious competition for high school students ● 4 “domains” – Algebra – Number theory – Combinatorics – Euclidean geometry ● National rounds – Plenty of problems of various difficulty ● Thousands for geometry
One more point ● People at IMO are really clever
One more point ● People at IMO are really clever ● The plan 1) Solve geometry 2) Get AI generated problems to competitions 3) Get attention of talented people 4) Invite them into a project of solving entire IMO Let's solve the problem solving
Euclidean geometry ● Problems from elementary school to IMO ● Relatively simple → suitable for experiments ● Concrete → suitable for image processing ● We can attract IMO people ● Without applications? – Not the ultimate goal ● Algorithmically decidable? – Ignorable
Suggestions ● Data collection – Prasolov, Chan, 106, 107, AOPS, … – ... ● Reinforcement learning – Guide by image / structure – Problems to prove – Constructional problems – ... ● ...
What do you think?

Recommend

Sampling in Euclidean and Non-Euclidean Domains: A Unified Approach NIST ACMD Seminar Series

Sampling Theory in Euclidean Geometry Geometry of Surfaces Sampling in Non-Euclidean Geometry Application: Network Tomography Sampling in Euclidean and Non-Euclidean Domains: A Unified Approach NIST ACMD Seminar Series Stephen Casey American

1.57k views • 124 slides

Using non-Euclidean Geometry to teach Euclidean Geometry to K12 teachers David Damcke

Using non-Euclidean Geometry to teach Euclidean Geometry to K12 teachers David Damcke Department of Mathematics, University of Portland, Portland, OR 97203 ddamcke @ comcast.net Tevian Dray Department of Mathematics, Oregon State University,

96 views • 8 slides

Euclidean Distance Geometry Leo Liberti IBM Research, USA CNRS LIX Ecole Polytechnique, France

Euclidean Distance Geometry Leo Liberti IBM Research, USA CNRS LIX Ecole Polytechnique, France MFD 2014, Campinas [L., Lavor: Introduction to Euclidean Distance Geometry , in preparation] Table of contents 1. Applications 2. Definition 3.

1.6k views • 129 slides

Shapes of euclidean polyhedra and hyperbolic geometry Ivan Izmestiev joint work with Franois

Shapes of euclidean polyhedra and hyperbolic geometry Ivan Izmestiev joint work with Franois Fillastre (University of Cergy-Pontoise), http://arxiv.org/abs/1310.1560 Second ERC Workshop Delaunay Geometry: Polytopes, Triangulations, and

548 views • 26 slides

GCLC A Tool for Constructive Euclidean Geometry and More than That Predrag Jani ci c

GCLC A Tool for Constructive Euclidean Geometry and More than That Predrag Jani ci c Faculty of Mathematics University of Belgrade International Congress of Mathematical Software Castro Urdiales, Spain, September 13, 2006.

610 views • 37 slides

The Geometry of Vector Spaces x E N : vector x belongs to an N -dimensional Euclidean space.

The Geometry of Vector Spaces The Geometry of Vector Spaces x E N : vector x belongs to an N -dimensional Euclidean space. The Inner product of vectors x and y E N : x , y x y . (1) October 24, 2020 1 / 28 The Geometry

1.09k views • 97 slides

What makes geometry Euclidean or Non-Euclidean? I-1. Each two distinct points determine a line

What makes geometry Euclidean or Non-Euclidean? I-1. Each two distinct points determine a line I-2. Three noncollinear points determine a plane The 5 Axioms of I-3. If two points lie in a plane, then any line containing those two points lies

352 views • 24 slides

Euclidean Geometry Introduction Undefined Terms A point is like a dot, only smaller. It has a

Euclidean Geometry Introduction Undefined Terms A point is like a dot, only smaller. It has a location but no size. A line is like a drawn line, only thinner, straighter and longer. It extends through all space along a specific direction but

785 views • 49 slides

Distance constraints in Euclidean geometry Leo Liberti IBM Research, Yorktown Heights LIX,

Distance constraints in Euclidean geometry Leo Liberti IBM Research, Yorktown Heights LIX, Ecole Polytechnique, France Joint work with : C. Lavor (IMECC-UNICAMP), N. Maculan (COPPE-UFRJ), A. Mucherino (Univ. Rennes) J. Lee (Univ. Michigan), B.

1.26k views • 81 slides

Riemannian Geometry and Machine Learning for Non Euclidean Data Frank C. Park and C.J. Jang

Riemannian Geometry and Machine Learning for Non Euclidean Data Frank C. Park and C.J. Jang Seoul National University Carl Friedrich Gauss (1777 1855) 15 th Century Mapmaking ...were shortest paths on the sphere (but in most cases theyre

781 views • 61 slides

Hyperbolic Geometry Victor Gonzalez Mentor: Ryan Kirk May 4, 2016 Hyperbolic Geometry We are

Hyperbolic Geometry Victor Gonzalez Mentor: Ryan Kirk May 4, 2016 Hyperbolic Geometry We are all familiar with Euclidean Geometry. Its the type of geometry that represents the world we live in today. But there are other types of geometry,

533 views • 15 slides

I : Constructions " & Compass stature of has basic Motivation Geometry Euclidean

Applications " Ruler Geometric I : Constructions " & Compass stature of has basic Motivation Geometry Euclidean : , axioms , and prepositions definitions can draw segment Fa and Q , Axioms P given two points :

481 views • 23 slides

A new Euclidean model discovered while teaching an IBL course Brian Loft Sam Houston State

A new Euclidean model discovered while teaching an IBL course Brian Loft Sam Houston State University loft@shsu.edu June 2, 2011 The goals of a course in Euclidean geometry Help students improve their proof-writing techniques.

424 views • 18 slides

th Century The 19 th The 19 Century Critical examination of Euclidean Critical examination

The Saga of Mathematics A Brief History th Century The 19 th The 19 Century Critical examination of Euclidean Critical examination of Euclidean geometry. geometry. A Century of Surprises A Century of Surprises Especially the

254 views • 12 slides

Computational Geometry Exercise session #7: Voronoi diagrams Fields of applications of

Computational Geometry Exercise session #7: Voronoi diagrams Fields of applications of Voronoi Diagrams Applications: 1. The largest empty circle problem 2. Euclidean minimum spanning trees 3. Euclidean traveling salesman problem 4.

367 views • 10 slides

Complex Systems with Boundary and Non-Euclidean Geometry Lecture 2, CSSS10 Greg Leibon Memento,

Complex Systems with Boundary and Non-Euclidean Geometry Lecture 2, CSSS10 Greg Leibon Memento, Inc Dartmouth College Systems with boundary math wiki Wiki world wide web ... usually the boundary at infinity Let us go to the Riemann Sphere

598 views • 23 slides

Darcie Handt, Executive Director, ND Cares ND Cares Evolution ND Cares Coalition Strategic

Darcie Handt, Executive Director, ND Cares ND Cares Evolution ND Cares Coalition Strategic Planning Session 10/13/2015 10/06/2015 Medora becomes 1st ND Cares Community ND Cares Executive Director authorized under Office of the Adjutant General

536 views • 14 slides

THE CARES ACT of 2020 The CARES Act provides $400 million to the U.S. Election Assistance

THE CARES ACT of 2020 The CARES Act provides $400 million to the U.S. Election Assistance Commission (EAC) to make grants to states under Section 101 of HAVA to address coronavirus issues related to 2020 federal elections. The CARES Act

486 views • 21 slides

Euclidean Domains and Euclidean Functions Rod Downey (Joint Work with Asher Kach) Chicago May

Euclidean Domains and Euclidean Functions Rod Downey (Joint Work with Asher Kach) Chicago May 2010 Rod Downey (VUW) Computable Euclidean Domains and Euclidean Functions May 2010 1 / 44 References Th. Motzkin, The Euclidean algorithm. Bull.

628 views • 58 slides

Computational geometry Inge Li Grtz CLRS Chapter 33.0, 33.1, 33.3. Convex Hull Convex

Computational Geometry Geometric problems (this course Euclidean plane). Does a set of line segments intersect, dividing plane into regions, find closest point, motion planning (robotics), overlaying of maps, lightening of

438 views • 5 slides

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg Undefined Terms: Point, Line, Incident, Between, Congruent. Incidence Axioms: IA1: For every two distinct points there

444 views • 6 slides

CARES Act: Recent Developments and Litigation Risks May 13, 2020 2 OVERVIEW: CARES ACT AND

CARES Act: Recent Developments and Litigation Risks May 13, 2020 2 OVERVIEW: CARES ACT AND REGULATORY GUIDANCE Title I Paycheck Protection Program CARES Act, Borrower Application, Interim Final Rules, FAQs Economic Injury

400 views • 11 slides

NAVIGATING CARES ACT LOAN PROGRAMS The information provided is based on the CARES Act and SBA

NAVIGATING CARES ACT LOAN PROGRAMS The information provided is based on the CARES Act and SBA Guidance released as of April 4, 2020. Additional changes may occur as the program evolves CARES ACT 349 billion allocated to help small businesses

331 views • 14 slides

Rigidity in the Euclidean plane Xiaofeng Gu (University of West Georgia) 31st Cumberland

Rigidity in the Euclidean plane Xiaofeng Gu (University of West Georgia) 31st Cumberland Conference on Combinatorics, Graph Theory and Computing UCF May 19, 2019 Introduction Some Results Background Rigidity, arising in discrete geometry,

642 views • 40 slides