A quaternion algebra is a central simple algebra of dimension 4 over a field F; they are noncommutative analogues of quadratic field extensions, and hence arise naturally in many different areas of mathematics. In this talk, we introduce quaternion algebras and survey some basic algorithmic questions: giving a standard representation and determining if a quaternion algebra is isomorphic to a matrix ring.