6 résultats : calcul formel

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
6 résultats
page 1 sur 1
résultats 1 à 6
UNISCIEL (unisciel)
Description : Ce TP propose de chercher une représentation paramétrique d'un roulement sans glissement.
Mots clés : maple, calcul formel, logiciel
Date : 01-06-2014
Droits : Licence creative commons -Paternité- Pas d'utilisation commerciale 2.0 France: http://creativecommons.org/licenses/by-nc/2.0/fr/
UNIT
Description : Le cours s'articule en deux grandes parties : les méthodes de résolution et leur application. Il commence par l'étude d'une méthode de résolution réelle de polynômes en une indéterminée et à coefficients rationnels (avec une section dédiée à l'arithmétique par intervalles). Il se poursuit par l'étude ...
Mots clés : calcul formel, équation polynomiale, résolution d'équations, bases de Gröbner, fuscia
Date : 25-01-2009
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
Description : Le cours s'articule en deux grandes parties : les méthodes de résolution et leur application. Il commence par l'étude d'une méthode de résolution réelle de polynômes en une indéterminée et à coefficients rationnels (avec une section dédiée à l'arithmétique par intervalles). Il se poursuit par l'étude ...
Mots clés : calcul formel, équation polynomiale, résolution d'équations, bases de Gröbner, fuscia
Date : 25-01-2009
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
Description : Dans ce cours, nous examinons un algorithme qui va nous permettre de construire un cycle limite lorsqu'il existe. En fait cet algorithme ne nécessite pas la connaissance de l'existence ou non d'un cycle limite, il en décidera au cours de son application s'il y a aussi ou s'il y a pas cycle limite. ...
Mots clés : aéroélasticité, vibrations des structures, forces aérodynamiques, modèle non linéaire, cycle limite, algorithme, terme résonant, calcul formel
Date : 02-06-2017
Droits : Ces ressources sont la copropriété du CNAM et d' UNIT. Leur utilisation est libre dans les limites fixées par la licence CeCILL : http://www.cecill.info/licences/Licence_CeCILL_V2-fr.html
UNIT
Description : Nous présentons dans ce cours quelques outils mathématiques qui interviennent de manière systématique dans de nombreux problèmes de modélisation en neurosciences. Sans trahir la rigueur mathématique, le cours s'efforcera de mettre en valeur l'applicabilité aux neurosciences des concepts présentés. ...
Mots clés : neuroscience, calcul formel, électrophysiologie des neurones, système dynamique, bifurcation, excitabilité neuronale, bruit blanc, mouvement brownien, intégrale stochastique, équations différentielles stochastiques, fuscia
Date : 12-11-2008
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
Description : L’ordinateur joue un rôle essentiel dans le travail du mathématicien, en lui permettant de gérer la complexité de certaines preuves.
Mots clés : mathématiques pour l'informatique, calcul formel, théorème des quatre couleurs, mathématiques discrètes, coloration graphe, preuve par ordinateur, fuscia
Date : 01-09-2011
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode