Xcas est un logiciel libre pour Windows, Mac OSX et Linux/Unix qui permet de faire du calcul formel, de la géométrie dynamique en dimension 2 ou 3, du tableur et de la programmation. Xcas est l’une des interfaces de Giac, une bibliothèque C++ de calcul formel libre (licence GPL). Giac dispose d’un mode de compatibilité avec les logiciels Maple et MuPAD et les calculatrices TI89/TI92/Voyage 200. On peut donc utiliser Giac/Xcas aussi bien comme un logiciel gratuit compatible avec Maple, pour développer des algorithmes de calcul formel, ou de l’utiliser dans un autre logiciel…

Les fonctionnalités de ce logiciel sont :
* calcul formel : calcul en précision arbitraire (entiers et flottants), arithmétique des entiers et des polynômes (PGCD, Bézout, factorisation, …), simplification (fractions rationnelles, fonctions trigonométriques,…), résolution d’équations, dérivation, intégration (fraction rationnelle, méthodes heuristiques, algorithme de Risch pour les fonctions transcendantes), décomposition en éléments simples de fractions rationnelles, limites, développement de Taylor et asymptotiques, algèbre linéaire (vecteurs, matrices, réduction de Gauss, vecteurs et valeurs propres exactes et approchées)…
* géométrie 2-d et 3-d : points, segments, droites, plans, triangles, quadrilatères, polygones, cercles, sphères, coniques, courbes paramétrées et polaires, intersections, tangentes, paramètres, angles, affixes, … Géométrie interactive. Toutes les instructions de tracé sont programmables. Les calculs peuvent être faits de manière exacte en utilisant le système de calcul formel, ce qui permet de faire des preuves (de géométrie analytique).
* tableur : références absolues et relatives, calcul exact ou approché (les cellules peuvent être des entiers en précision arbitraire, des noms de variables, des expressions, …), accès complet aux fonctions de programmation, interface pour les statistiques 1-d et 2-d (moyenne, écart type, histogramme, covariance, corrélation, …)
* programmation : fonctions, variables locales, tests, boucles. Syntaxe au choix (style C, Maple, MuPAD ou TI89). Possibilité dans des cas favorables de lire et d’exécuter des programmes Maple, MuPAD ou TI89. Editeur intégré pour de petits programmes. Débogueur interactif.
* aide en ligne : documentation entièrement en français, index des fonctions, syntaxe, exemples, recherche par mot clef, complétion.
* éditeur d’équation : affichage 2-d des expressions, possibilité de travailler sur des sous-expressions.
* unités physiques : opérations usuelles et conversion.