We describe our ongoing work related to porting automatic proof and discovery abilities to standard 3D interactive environments (such as Calques3D).

The authors have studied the communication between (planar) dinamic geometry systems (DGS), such as Cabri, Cinderella and Geometer Sketchpad, and computer algebra systems (CAS), such as Mathematica and Cocoa, in order to add proving capabilities to the DGS. We have used Cohen's content dictionaries plangeo-x (see LAD and LADucation .)

Now we list our proposal of Content Dictionaries for 3D Euclidean geometry, 3Dgeo's , that extend (and reuse) Cohen's CD's. We also discuss the uses of the 3Dgeo's CD's for adding discovery abilities to Van Labeke's Calques3D and Cabri3D. The idea, like in the planar case, is to develop a web application to perform the communication between the 3D-DGS and the CAS, using OpenMath.