QCC 2021 Universel épisode 0 : Présentation

[redgl0w]

Ok j'avais pas bien compris son message en effet

[parisse]

L'algorithme mrv de Gruntz permet de calculer un tres grand nombre de limites: http://cybertester.com/data/gruntz.pdf
C'est beaucoup plus complique a implementer que d'implementer un calcul de derivee symbolique. Il faut un peu plus de connaissances mathematiques et beaucoup plus de temps (en particulier parce qu'il faut disposer de pas mal de fonctions auxiliaires). Historiquement, avant cet algorithme, des heuristiques ont ete developpees (dont la regle de l'Hopital, voir l'intro de la these de Gruntz qui parle aussi de problemes des methodes numeriques) et je pense que c'est ce que ferait probablement Numworks si ils ont dans leurs plans une Numworks CAS pour le lycee francais.