<--- Back to Details
First PageDocument Content
Laboratory equipment / Beam splitter / Michelson interferometer / Mirror / Interference / Laser pointer / Laser / Laser beam profiler / Watson Interferometer / Optics / Optical devices / Technology
Date: 2012-03-05 11:07:27
Laboratory equipment
Beam splitter
Michelson interferometer
Mirror
Interference
Laser pointer
Laser
Laser beam profiler
Watson Interferometer
Optics
Optical devices
Technology

Build Your Own Michelson Interferometer

Add to Reading List

Source URL: www.ligo-wa.caltech.edu

Download Document from Source Website

File Size: 294,53 KB

Share Document on Facebook

Similar Documents

Software / Proof assistants / Computing / Logic in computer science / JEdit / Isabelle / Standard ML / Plug-in / Selection / Logic for Computable Functions / HOL / Isabel

PDF Document

DocID: 1xVXo - View Document

Algebra / Abstract algebra / Mathematics / Semigroup theory / Algebraic structures / Monoid / Semigroup / Inverse element / Constructible universe / Ordinal number / Variety of finite semigroups / Special classes of semigroups

PDF Document

DocID: 1xVC6 - View Document

Mathematical logic / Logic / Mathematics / Automated theorem proving / Proof theory / Logic in computer science / Proof assistants / Type theory / Isabelle / Mathematical proof / Automated reasoning / Proof

PDF Document

DocID: 1xVrz - View Document

Type theory / Theoretical computer science / Proof assistants / Mathematical logic / Programming language theory / Formal methods / Lambda calculus / Logic in computer science / Isabelle / HOL / HindleyMilner type system / Automated theorem proving

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

DocID: 1xV5d - View Document

Mathematical logic / Logic / Proof theory / Mathematics / Proof assistants / Logic in computer science / Type theory / Substructural logic / Sequent / First-order logic / Isabelle / Higher-order logic

PDF Document

DocID: 1xV2k - View Document