 |
Inscrivez-vous gratuitement (Formulaire d'inscription)
- pour consulter au format pdf tous les fichiers du site (cours, exercices, devoirs)
- pour consulter les corrections des exercices proposées sur la page d'accueil (elles seront toutes proposées au cours de l'année) et les corrections des deux premiers exercices de chaque chapitre.
Pour plus de fonctionnalités, cliquez sur ce lien
Les rubriques Python, Seconde (Plus de 400 exercices corrigés et plus de 30 devoirs corrigés), Méthodes et Logiciels sont totalement libres d'accès sans aucune condition d'inscription.
|
- Logiciels pour faire des mathématiques - Logiciels de calcul formel - |
|
|
 Définitions : CAS et calcul formel
CAS
est l'acronyme de « Computer Algebra System ». On peut le
traduire par « système de calcul formel ».
Le calcul
formel est un procédé de transformation d'expressions
mathématiques.
Les
objets de ce calcul ne sont plus les variables de l'expression
mathématique mais les opérations elle-mêmes. On y oppose
habituellement l'évaluation.
Exemples
de calculs formels :
- résoudre
un problème en fonction de un ou plusieurs paramètre(s)
inconnu(s),
- dériver une fonction, déterminer sa primitive, simplifier
son expression.
A
consulter : Calcul formel et calcul numérique
|
|
|
|
Permet
de faire du calcul formel mais également de la
géométrie dynamique (dans le plan ou dans
l'espace), du tableur et de la programmation.
Très puissant mais difficile à utiliser avec
des élèves du collège car peu intuitif.
Giac est une bibliothèque C++ de fonctions de
calcul formel . Xcas est une interface de Giac
 Tutoriels Xcas |
|
|
|
|
|
| Ses
possibilités graphiques sont plus limitées que
celles de Mathematica et de Maple, mais ses
capacités dans le domaine du calcul symbolique
sont les plus étendues du monde du logiciel
libre, et n'ont pas à rougir face aux
logiciels commerciaux. |
|
|
|
|
|
CmathOOoCAS
est une extension développée en C++ qui
s'appuie sur la librairie de calcul formel
Giac pour étendre les capacités du tableur
OOo-Calc afin de le rendre plus ouvert aux
objets mathématiques que nous voulons
manipuler.
Un exemple d'utilisation de
CmathOooCAS avec Calc |
|
|
|
|
|
Intègre
des centaines de fonctions mathématiques, un
langage de programmation de haut niveau, des
graphiques 2D et 3D, des structures de données
avancées et des types de données définis par
l'utilisateur.
La prise en main est compliquée.
|
|
|
|
|
|
|
On
trouve plusieurs sites qui proposent des
outils de calcul formel en ligne :
http://labomath.free.fr/wims/index.html
En fait, ce site utilise le serveur WIMS
de l'Université de Nice qui contient un
grand nombre d'outils de calculs, de
cours, d'exercices en ligne.
Xcas en ligne
|
|
|
|
 Autres
logiciels exclus :
Gap
(en anglais) , Mathématica (payant), Maple
( payant) , Meditor
(en anglais), Magma
(en anglais), Sage
(en anglais) , PARI/GP (en anglais), Octave
(en anglais)
A noter :
Le document joint ci-après, élaboré par l’académie de
Nantes, réalise une synthèse des échanges qui ont eu lieu
autour d’activités toutes expérimentées en classe. Il tente
de présenter une typologie des activités pouvant faire
intervenir le calcul formel de façon pertinente tout en
restant exigeant sur une bonne pratique du calcul
algébrique. On y trouve des exemples permettant d’illustrer
chacun des aspects abordés et de montrer qu’en toutes
circonstances c’est l’élève qui doit rester aux commandes de
sa stratégie de calcul. A la fin de ce document, on trouve
une synthèse des principaux points forts identifiés ainsi
qu’un tableau récapitulatif.
Plus d'informations : Ce que dit Wikipedia
|
|
