Constructive solid geometry

Henri Lombardi: A geometric theory for the constructive real number system and for o-minimal struct

Title: Henri Lombardi: A geometric theory for the constructive real number system and for o-minimal structures The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: We work in a pure constructive context, minimalist, à la Bish

From playlist Workshop: "Constructive Mathematics"

Five Stages of Accepting Constructive Mathematics - Andrej Bauer

Andrej Bauer University of Ljubljana, Slovenia; Member, School of Mathematics March 18, 2013 Discussions about constructive mathematics are usually derailed by philosophical opinions and meta-mathematics. But how does it actually feel to do constructive mathematics? A famous mathematician

From playlist Mathematics

Algebraic structure on the Euclidean projective line | Rational Geometry Math Foundations 137

In this video we look at some pleasant consequences of imposing a Euclidean structure on the projective line. We give a proof of the fundamental projective Triple quad formula, talk about the equal p-quadrances theorem, and see how the logistic map of chaos theory makes its appearance as t

From playlist Math Foundations

Giuseppe Rosolini: Categorical completions in constructive mathematics

The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: There seems to be a very close connection between category theory and constructive mathematics which still is hard to make manifest, but which may be extremely useful to impr

From playlist Workshop: "Constructive Mathematics"

Perpendicular Bisector (Definition + 1 Theorem)

Link: https://www.geogebra.org/m/pFyDfP2D

From playlist Geometry: Dynamic Interactives!

Geometry - Basic Terminology (23 of 36) Rectangular Solids

Visit http://ilectureonline.com for more math and science lectures! In this video I will define the diagonal of the solid and diagonal of the bottom of a rectangular solid. Next video in the Basic Terminology series can be seen at: http://youtu.be/x4uI-3AePY8

From playlist GEOMETRY 1 - BASIC TERMINOLOGY

Show Me Some Science! Constructive and Destructive Interference

Waves are one way in which energy can be send down a string. When two waves meet, they interact. This interaction is called interference. If two waves add up this is known as "constructive interference" and if they cancel out it's "destructive interference". After the waves interact, they

From playlist Show Me Some Science!

Introduction to Projective Geometry (Part 1)

The first video in a series on projective geometry. We discuss the motivation for studying projective planes, and list the axioms of affine planes.

From playlist Introduction to Projective Geometry

Inscribed Angle Theorem: Proof Without Words

Link: https://www.geogebra.org/m/PgjnhjJF

From playlist Geometry: Dynamic Interactives!

What's New in Geometry

From playlist Wolfram Technology Conference 2021

Constructive Solid Geometry

From playlist Wolfram Technology Conference 2021

S.A.Robertson, How to see objects in four dimensions, LMS 1993

Based on the 1993 London Mathematical Society Popular Lectures, this special 'television lecture' is entitled "How to see objects in four dimensions" by Professor S.A.Robertson. The London Mathematical Society is one of the oldest mathematical societies, founded in 1865. Despite it's name

From playlist Mathematics

Three dimensional geometry, Zome, and the elusive tetrahedron (Pure Maths Seminar, Aug 2012)

This is a Pure Maths Seminar given in Aug 2012 by Assoc Prof N J Wildberger of the School of Mathematics and Statistics UNSW. The seminar describes the trigonometry of a tetrahedron using rational trigonometry. Examples are taken from the Zome construction system.

From playlist Pure seminars

Bonding Like Period Element Atoms Using Parametric Geometry and Z#

In this talk, Alexander Garron discusses the quantum-level parametric geometry he uses to construct and bond like atoms together. ​ ​​ ​Constructing a bonding profile of nuclear energy curves structuring, two like atoms are built with two parametric geometry sections. One section will be a

From playlist Wolfram Technology Conference 2020

What Can Intelligent Materials Do? - with Skylar Tibbits

How can we design simple and elegant intelligent materials, that may one day animate and improve themselves? Buy Skylar's book: https://geni.us/3ORQAAE Watch the Q&A: https://youtu.be/C1liR2zeS4s Today’s researchers are designing materials that physically sense, adapt, and fall together i

From playlist Computing/Tech/Engineering

How to Construct an Icosahedron

How the greeks constructed the icosahedron. Source: Euclids Elements Book 13, Proposition 16. In geometry, a regular icosahedron is a convex polyhedron with 20 faces, 30 edges and 12 vertices. It is one of the five Platonic solids, and the one with the most faces. https://www.etsy.com/lis

From playlist Platonic Solids

How to Construct a Dodecahedron

How the greeks constructed the Dodecahedron. Euclids Elements Book 13, Proposition 17. In geometry, a dodecahedron is any polyhedron with twelve flat faces. The most familiar dodecahedron is the regular dodecahedron with regular pentagons as faces, which is a Platonic solid. A regular dode

From playlist Platonic Solids

What's New in Geometry

From playlist Wolfram Technology Conference 2022

If Corresponding Angles are Congruent, then...?

Link: https://www.geogebra.org/m/hb3xXZeF

From playlist Geometry: Dynamic Interactives!

Problem Solving in Geometry

To learn more about Wolfram Technology Conference, please visit: https://www.wolfram.com/events/technologyconference/ Speaker: Jaebum Jung Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices, and mo

From playlist Wolfram Technology Conference 2017