Proof assistants | Free theorem provers

HOL Light

HOL Light is a member of the HOL theorem prover family. Like the other members, it is a proof assistant for classical higher order logic. Compared with other HOL systems, HOL Light is intended to have relatively simple foundations. HOL Light is authored and maintained by the mathematician and computer scientist . HOL Light is released under the simplified BSD license. (Wikipedia).

Video thumbnail

AWESOME Hologram VIDEO 3D! WOW!!!!

In this video is used for Hologram technology, just make the hologram device at home with a very simple way. Enjoy this amazing video!

From playlist OPTICS

Video thumbnail

Hologram Project!!!

This video is used for Hologram technology, just make the hologram device at home with a very simple way, I'll put a video of how to make the Hologram device. Enjoy!

From playlist OPTICS

Video thumbnail

What is light?

Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu

From playlist Science Unplugged: Physics

Video thumbnail

Making Real Holograms!

Get your hologram film today at: https://litiholo.com/hologram-film.html?te And to learn more about the hologram printer go to: https://www.litiholo.com/3d-hologram-printer.html?te ______________________________________________________________________ Holograms are truly an amazing trick o

From playlist Highlights

Video thumbnail

Spectrum of Hg Lamp / amazing science experiment

Identify the spectral lines of Hg lamp Enjoy the amazing colors! Music: https://www.bensound.com/

From playlist Optics

Video thumbnail

The Holometer: A Fermilab Experiment

Do we live in a two-dimensional hologram? A group of Fermilab scientists has designed an experiment to find out. It’s called the Holometer, and this video gives you a behind-the-scenes look at the device that could change the way we see the universe. Find out more at http://holometer.fnal.

From playlist Detectors and Accelerators

Video thumbnail

The Holy, Wholly, Holey NO!: Midday Mindfulness: Arizona State University (ASU)

Are you looking for community and connection? ASU’s Center for Mindfulness, Compassion and Resilience is hosting online mindfulness and meditation sessions from noon to 1 p.m. (AZ time) each weekday. Today we focus on being whole. We hope these midday sessions offer you a chance to reflect

From playlist Midday Mindfulness

Video thumbnail

World's Most Powerful Visible Diode Laser

"The NUBM44 Laser Diode" The World's Most Powerful

From playlist Lasers

Video thumbnail

Homemade 3D Hologram Projector - Turn your Smartphone into a 3D Hologram, Amazing!

Smartphone 3D Hologram Projector - Turn your Smartphone into a 3D Hologram How To Turn Your Smartphone Into a 3D Hologram Projector. This time I made iPad Hologram.

From playlist Home Science Videos - Cool Science Experiments

Video thumbnail

Identify the spectral lines of Mercury light by a coarse diffraction grating

Enjoy! Music: https://www.bensound.com/royalty-free-music

From playlist Optics

Video thumbnail

The Discovery of Quasars - Maarten Schmidt

Fifty Years of Quasars: A Symposium in Honor of Maarten Schmidt Caltech, Pasadena, CA, USA - Sept. 9-10, 2013 More info: http://www.astro.caltech.edu/q50 Links to talks with video of speaker: http://www.astro.caltech.edu/q50/Program.html Fifty years ago, the discovery of quasars transform

From playlist Fifty Years of Quasars - September, 9-10, 2013

Video thumbnail

Fabian Immler : Verified numerics for ODEs in Isabelle/HOL

Abstract : This talk is about verified numerical algorithms in Isabelle/HOL, with a focus on guaranteed enclosures for solutions of ODEs. The enclosures are represented by zonotopes, arising from the use of affine arithmetic. Enclosures for solutions of ODEs are computed by set-based varia

From playlist Mathematical Aspects of Computer Science

Video thumbnail

Can you solve the jail break riddle? - Dan Finkel

You’re a bank robber trying to escape from jail. Can you solve the riddle to get past the fence to freedom? -- Your timing made you and your partner infamous bank robbers. Now, you need to use that timing to break out of jail. Your partner is about to flash you a signal, and exactly 45 s

From playlist New TED-Ed Originals

Video thumbnail

Ergün Yalcin: Representation rings for fusion systems and dimension functions

The lecture was held within the framework of the (Junior) Hausdorff Trimester Program Topology: Workshop "Fusion systems and equivariant algebraic topology"

From playlist HIM Lectures: Junior Trimester Program "Topology"

Video thumbnail

Einstein's twin paradox explained - Amber Stuver

Follow two astronauts into outer space to explore time dilation and Einstein’s theory of relativity through the Twin Paradox thought experiment. -- On their 20th birthday, identical twin astronauts volunteer for an experiment. Terra will remain on Earth, while Stella will board a spaces

From playlist New TED-Ed Originals

Video thumbnail

Magnets and Black Holes - Objectivity 35

How do you transition from magnets to black holes? You're about to find out! Films by James Hennessy and Brady Haran Royal Society website: http://bit.ly/Royal_Society The Royal Society's own YouTube channel: https://www.youtube.com/user/RoyalSociety Facebook: https://www.facebook.com/

From playlist Space-related Objects on Objectivity

Video thumbnail

Ch06n2: Cholesky Factorization

Cholesky Factorization. Numerical Computation, chapter 6, additional video no 2. To be viewed after the regular videos of chapter 6 and the additional video no 1. Wen Shen, Penn State University, 2018.

From playlist CMPSC/MATH 451 Videos. Wen Shen, Penn State University

Video thumbnail

How Do Holograms Work? (Part 1 of 3)

Science-fiction is littered with holograms, and they’ve become a staple of anything set in the future. But, they’ve been around longer than you think. Part 2 of 3 - https://youtu.be/c8pL6vW9R0I Part 3 of 3 - Coming Soon! Read More: The History of Holography https://www.ihma.org/hist

From playlist Seeker Plus

Video thumbnail

How to see more and care less: The art of Georgia O'Keeffe - Iseult Gillespie

Get to know the life and works of painter and sculptor Georgia O’Keeffe, whose art became a cornerstone of American Modernism. -- Feeling disconnected from creating art within classical conventions, artist Georgia O’Keeffe began experimenting with abstract drawings that defied easy clas

From playlist Well-behaved women seldom make history

Video thumbnail

Ghost Lights from Earth Orbit

A "Ghost Light" is an unexplained luminescent phenomena. That's how aliens might see Earth if they arrived with no awareness of its civilizations, atmosphere and climate, and magnetic field. Astronauts aboard the International Space Station are all too familiar with the city lights, the th

From playlist Earth And Its Moon

Related pages

Primitive notion | Type theory | Proof assistant