We consider an algebraic completion of the conventional interval arithmetic, called here extended (directed) interval arithmetic, as suitable for embedding in computer algebra systems. An experimental Mathematica package for extended interval arithmetic giving some extra functionality is presented. An advanced methodology for doing exact symbolic algebraic transformations on interval expressions and some applications for the efficient solution of interval algebraic problems are outlined along with some open problems and implementation considerations.