En la geometría analítica, un paraboloide es una cuádrica, un tipo de superficie tridimensional que se describe mediante ecuaciones cuya forma canónica es del tipo:
Los paraboloides pueden ser elípticos o hiperbólicos, según sea que sus términos cuadráticos (los que contienen variables elevadas al cuadrado, aquí indicadas como x e y) tengan igual o distinto signo, respectivamente.[1]