Ressource en auto-formation : À propos du calcul formel

Dériver une fonction, obtenir sa primitive, résoudre un système d’équations sans connaître la valeur de ses paramètres... ce sont des exemples de calculs formels dont nous parle Bruno Salvy. ...
cours / présentation, démonstration - Création : 12-03-2009
Par : Bruno Salvy, Joanna Jongwane
Partagez !

Présentation de: À propos du calcul formel

Informations pratiques sur cette ressource

Langue du document : Français
Type : cours / présentation, démonstration
Niveau : enseignement supérieur
Langues : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu : 18+
Droits d'auteur : pas libre de droits, gratuit
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

Description de la ressource en auto-formation

Résumé

Dériver une fonction, obtenir sa primitive, résoudre un système d’équations sans connaître la valeur de ses paramètres... ce sont des exemples de calculs formels dont nous parle Bruno Salvy.

  • Granularité : grain
  • Structure : atomique

"Domaine(s)" et indice(s) Dewey

  • (518.4)

Domaine(s)

Informations pédagogiques

    Informations techniques sur cette ressource en auto-formation

      Intervenants, édition et diffusion

      Intervenants

      Créateur(s) de la métadonnée : Marie-Hélène Comte

      Édition

      • Institut National de Recherche en Informatique et en Automatique / Interstices

      Diffusion

      Partagez !

      AUTEUR(S)

      • Bruno Salvy
        INRIA
      • Joanna Jongwane
        INRIA

      DIFFUSION

      Cette ressource en auto-formation vous est proposée par :
      UNIT - accédez au site internet
      Sur les réseaux sociaux :

      ÉDITION

      Institut National de Recherche en Informatique et en Automatique / Interstices

      EN SAVOIR PLUS

      • Identifiant de la fiche
        http://ori.unit-c.fr/uid/unit-ori-wf-1-4727
      • Identifiant OAI-PMH
        oai:www.unit.eu:unit-ori-wf-1-4727
      • Statut de la fiche
        final
      • Schéma de la métadonnée
      • Entrepôt d'origine
        UNIT
      • Publication
        21-01-2010

      Ressources en auto-formation sur les mêmes thèmes

      Présentation de la ressource en auto-formation Fiches TD Biologie et Modélisation (série : Enseignements de Statistique en Biologie) exercice
      06/05/2008
      Fiches TD Biologie et Modélisation (série : Enseignements de Statistique en Biologie)
      Auteur(s) : Dufour Anne-Béatrice, Lobry Jean R., Chessel Daniel, Penel Simon, Necsulea Anamaria, Vautrin E., Mousset Sylvain, Charles Sandrine
      Description : Fiches d'initiation à la modélisation en biologie à destination des étudiants de licence
      Présentation de la ressource en auto-formation Du rêve à la réalité des preuves cours / présentation, démonstration
      08/06/2012
      Du rêve à la réalité des preuves
      Auteur(s) : Delahaye Jean-Paul
      Description : Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.