In mathematics, Riemannian geometry has at least two meanings, one of which is described in this article and another also called elliptic geometry.
In differential geometry, Riemannian geometry is the study of smooth manifolds with Riemannian metrics; i.e. a choice of positivedefinite quadratic form on a manifold's tangent spaces which varies smoothly from point to point. This gives in particular local ideas of angle, length of curves, and volume. From those some other global quantities can be derived, by integrating local contributions.
It was first put forward in generality by Bernhard Riemann in the nineteenth century. As particular special cases there occur the two standard types (spherical geometry and hyperbolic geometry) of NonEuclidean geometry, as well as Euclidean geometry itself. These are all treated on the same basis, as are a broad range of geometries whose metric properties vary from point to point.
Any smooth manifold admits a Riemannian metric and this additional structure often helps to solve problems of differential topology. It also serves as an entry level for the more complicated structure of pseudoRiemannian manifolds, which (in dimension four) are the main objects of general relativity theory.
There is no easy introduction to Riemannian geometry. One should work quite a while to build some geometric intuition here; it is usually done by doing enormous amounts of calculations. The following articles might serve as a rough introduction:

Metric tensor

Riemannian manifold

LeviCivita connection

Curvature

Curvature tensor.
The following articles might be also useful:

List of differential geometry topics

Glossary of Riemannian and metric geometry
Classical theorems in Riemannian geometry
What follows is an incomplete list of the most classical theorems in Riemannian geometry. The choice is made depending on its importance, beauty, and simplicity of formulation.
The formulations given are far from being very exact or the most general. This list is oriented to those who already know the basic definitions and want to know what these definitions are about.
General theorems

GaussBonnet Theorem The integral of the Gauss curvature on a compact 2dimensional Riemannian manifold is equal to 2πχ(M) where χ(M) denotes the Euler characteristic of M.

Nash embedding theorems also called Fundamental Theorems of Riemannian geometry. They state that every Riemannian manifold can be isometrically embedded in a Euclidean space R^{n}.
Local to Global Theorems
In all of the following theorems we assume some local behavior of the space (usually formulated using curvature assumption) to derive some information about the global structure of the space, including either some information on the topological type of the manifold or on the behavior of points at "sufficiently large" distances.
 1/4pinched Sphere Theorem. If M is a complete ndimensional Riemannian manifold with sectional curvature strictly pinched between 1 and 4 then M is homeomorphic to nsphere.
 Cheeger's Finiteness theorem. Given constants C and D there are only finitely many (up to diffeomorphism) compact ndimensional Riemannian manifolds with sectional curvature and diameter .

Gromov's almost flat manifolds. There is an ε_{n} > 0 such that if an ndimensional Riemannian manifold has a metric with sectional curvature and diameter then its finite cover is diffeomorphic to a nil manifold.
Positive curvature

Soul theorem. if M is a noncompact complete positively curved ndimensional Riemannian manifold then it is diffeomorphic to R^{n}.

Gromov's Betti number theorem. There is a constant C=C(n) such that if M is a compact connected ndimensional Riemannian manifold with positive sectional curvature then the sum of its Betti numbers is at most C.

Myers theorem. If a compact Riemannian manifold has positive Ricci curvature then its fundamental group is finite.
 Splitting theorem. If a complete ndimensional Riemannian manifold has nonnegative Ricci curvature and a straight line (i.e. a geodesic which minimizes distance on each interval) then it is isometric to a direct product of the real line and a complete (n1)dimensional Riemannian manifold which has nonnegative Ricci curvature
 Bishop's inequality. the volume of a metric ball of radius r in a complete ndimensional Riemannian manifold with positive Ricci curvature has volume at most that of the volume of a ball of the same radius r in Euclidean space.

Gromov's compactness theorem. The set of all Riemannian manifolds with positive Ricci curvature and diameter at most D is precompact in the GromovHausdorff metric.
 The ndimensional torus does not admit a metric with positive scalar curvature.
 If the injectivity radius of a compact ndimensional Riemannian manifold is then the average scalar curvature is at most n(n1).
Negative curvature
 Any two points of a complete simply connected Riemannian manifold with nonpositive sectional curvature are joined by a unique geodesic.
 If M is a complete Riemannian manifold with negative sectional curvature then any abelian subgroup of the fundamental group of M is isomorphic to Z.
 Any compact Riemannian manifold with negative Ricci curvature has a discrete isometry group.
 Any smooth manifold admits a Riemannian metric with negative Ricci curvature.
External links
References
 Marcel Berger, Riemannian Geometry During the Second Half of the Twentieth Century, (2000) University Lecture Series vol. 17, American Mathematical Society, Rhode Island, ISBN 0821820524. (Provides a historical review and survey, including hundreds of references.)
 Jurgen Jost, Riemannian Geometry and Geometric Analysis, (2002) SpringerVerlag, Berlin ISBN 354042672 (Provides a formal introduction, written at the gradstudent level.)
 Peter Peterson, Riemannian Geometry, (1998) SpringerVerlag, Berlin ISBN 0387982124. (Provides an introduction, presented at an undergrad level.)