Relating procedural and conceptual mathematical knowledge is a very important educational goal that is difficult to attain. However, research has evidenced that some progress towards achieving this goal can be made. This contribution briefly reviews some of the main outcomes of research in this area, focusing on relating these knowledge types with technology, particularly that based upon a computer algebra system.