Mathématiques
Moteur CAS sécurisé
Moteur d’algèbre symbolique à périmètre borné, avec AST sécurisé, arithmétique exacte et messages explicites pour les cas non pris en charge.
Chargement de l’outil…
Retour à la catégorieMoteur d’algèbre symbolique à périmètre borné, avec AST sécurisé, arithmétique exacte et messages explicites pour les cas non pris en charge.
Signalez une erreur, un problème de traduction ou une idée. Le formulaire ne modifie ni les saisies ni le résultat.
Un moteur partagé d’algèbre symbolique à périmètre borné. Il simplifie, substitue, développe et factorise les polynômes, et résout les équations jusqu’au degré 4 sans exécuter de code.
Le moteur utilise une grammaire contrôlée et un AST sécurisé, et n’exécute jamais de code. Son domaine symbolique couvre les polynômes de degré 0 à 4 avec une arithmétique rationnelle exacte ; la factorisation couvre les facteurs linéaires rationnels. Les équations cubiques et quartiques donnent des résultats exacts lorsqu’une réduction par racine rationnelle suivie d’une équation quadratique permet d’achever la résolution ; les autres résultats sont des approximations complexes explicites. Les fonctions élémentaires sont uniquement évaluées numériquement. Les équations transcendantes et les dépendances paramétriques non prises en charge renvoient un message localisé. Aucune exécution de code arbitraire ni aucune hypothèse modifiant le domaine n’est utilisée.
Algorithmes polynomiaux internes bornés · AST du parseur mathjs