Calcul Formel et CAO 3D

Bonsoir...
Excusez-moi si cette question a déja été posée :

Est-ce qu'il existe un logiciel gratuit de calcul formel pour linux du
même type que Maple ?

Et une question du même type :

Est-ce qu'il existe un logiciel de CAO (modeleur volumique) 3D gratuit
pour linux ?

Merci
Stéphane Brunet