Property Value
dbo:abstract
  • Le calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes.Ainsi, un nombre entier est représenté de manière finie et exacte par la suite des chiffres de son écriture en base 2. Étant donné les représentations de deux nombres entiers, le calcul formel se pose par exemple la question de calculer celle de leur produit. Le calcul formel est en général considéré comme un domaine distinct du calcul scientifique, cette dernière appellation faisant référence au calcul numérique approché à l'aide de nombres en virgule flottante, là où le calcul formel met l'accent sur les calculs exacts sur des expressions pouvant contenir des variables ou des nombres en arithmétique multiprécision.Comme exemples d'opérations de calcul formel, on peut citer le calcul de dérivées ou de primitives, la simplification d'expressions, la décomposition en facteurs irréductibles de polynômes, la mise sous formes normales de matrices, ou encore la résolution des systèmes polynomiaux. Sur le plan théorique, on s’attache en calcul formel à donner des algorithmes avec la démonstration qu’ils terminent en temps fini et la démonstration que le résultat est bien la représentation d’un objet mathématique défini préalablement. Autant que possible, on essaie de plus d’estimer la complexité des algorithmes que l'on décrit, c'est-à-dire le nombre total d’opérations élémentaires qu'ils effectuent. Cela permet d’avoir une idée a priori du temps d’exécution d’un algorithme, de comparer l’efficacité théorique de différents algorithmes ou encore d’éclairer la nature même du problème. (fr)
  • Le calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes.Ainsi, un nombre entier est représenté de manière finie et exacte par la suite des chiffres de son écriture en base 2. Étant donné les représentations de deux nombres entiers, le calcul formel se pose par exemple la question de calculer celle de leur produit. Le calcul formel est en général considéré comme un domaine distinct du calcul scientifique, cette dernière appellation faisant référence au calcul numérique approché à l'aide de nombres en virgule flottante, là où le calcul formel met l'accent sur les calculs exacts sur des expressions pouvant contenir des variables ou des nombres en arithmétique multiprécision.Comme exemples d'opérations de calcul formel, on peut citer le calcul de dérivées ou de primitives, la simplification d'expressions, la décomposition en facteurs irréductibles de polynômes, la mise sous formes normales de matrices, ou encore la résolution des systèmes polynomiaux. Sur le plan théorique, on s’attache en calcul formel à donner des algorithmes avec la démonstration qu’ils terminent en temps fini et la démonstration que le résultat est bien la représentation d’un objet mathématique défini préalablement. Autant que possible, on essaie de plus d’estimer la complexité des algorithmes que l'on décrit, c'est-à-dire le nombre total d’opérations élémentaires qu'ils effectuent. Cela permet d’avoir une idée a priori du temps d’exécution d’un algorithme, de comparer l’efficacité théorique de différents algorithmes ou encore d’éclairer la nature même du problème. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 262729 (xsd:integer)
dbo:wikiPageLength
  • 13648 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 187381270 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1987 (xsd:integer)
  • 1992 (xsd:integer)
  • 2003 (xsd:integer)
prop-fr:isbn
  • 0 (xsd:integer)
  • 2 (xsd:integer)
prop-fr:langue
  • en (fr)
  • fr (fr)
  • en (fr)
  • fr (fr)
prop-fr:lieu
  • New York (fr)
  • Boston/Dordrecht/London (fr)
  • Paris/New York/Barcelone (fr)
  • New York (fr)
  • Boston/Dordrecht/London (fr)
  • Paris/New York/Barcelone (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • Gerhard (fr)
  • Davenport (fr)
  • Tournier (fr)
  • Czapor (fr)
  • Geddes (fr)
  • Labahn (fr)
  • Salvy (fr)
  • Lebreton (fr)
  • Bostan (fr)
  • Chyzak (fr)
  • Giusti (fr)
  • Schost (fr)
  • Siret (fr)
  • von zur Gathen (fr)
  • Gerhard (fr)
  • Davenport (fr)
  • Tournier (fr)
  • Czapor (fr)
  • Geddes (fr)
  • Labahn (fr)
  • Salvy (fr)
  • Lebreton (fr)
  • Bostan (fr)
  • Chyzak (fr)
  • Giusti (fr)
  • Schost (fr)
  • Siret (fr)
  • von zur Gathen (fr)
prop-fr:numéroD'édition
  • 2 (xsd:integer)
prop-fr:pagesTotales
  • 263 (xsd:integer)
  • 585 (xsd:integer)
  • 785 (xsd:integer)
prop-fr:prénom
  • Marc (fr)
  • Jürgen (fr)
  • Frédéric (fr)
  • George (fr)
  • James (fr)
  • Joachim (fr)
  • Bruno (fr)
  • Romain (fr)
  • Yvon (fr)
  • Éric (fr)
  • Évelyne (fr)
  • Alin (fr)
  • Stephen R. (fr)
  • Keith O. (fr)
  • Marc (fr)
  • Jürgen (fr)
  • Frédéric (fr)
  • George (fr)
  • James (fr)
  • Joachim (fr)
  • Bruno (fr)
  • Romain (fr)
  • Yvon (fr)
  • Éric (fr)
  • Évelyne (fr)
  • Alin (fr)
  • Stephen R. (fr)
  • Keith O. (fr)
prop-fr:sousTitre
  • Systèmes et algorithmes de manipulation algébrique (fr)
  • Systèmes et algorithmes de manipulation algébrique (fr)
prop-fr:texte
  • Reduce (fr)
  • Reduce (fr)
prop-fr:titre
  • Calcul formel (fr)
  • Algorithms for Computer Algebra (fr)
  • Algorithmes efficaces en calcul formel (fr)
  • Modern computer algebra (fr)
  • Calcul formel (fr)
  • Algorithms for Computer Algebra (fr)
  • Algorithmes efficaces en calcul formel (fr)
  • Modern computer algebra (fr)
prop-fr:trad
  • Reduce (fr)
  • Reduce (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Cambridge University Press (fr)
  • Masson (fr)
  • Kluwer Academic Publishers (fr)
  • Cambridge University Press (fr)
  • Masson (fr)
  • Kluwer Academic Publishers (fr)
dct:subject
rdf:type
rdfs:comment
  • Le calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes.Ainsi, un nombre entier est représenté de manière finie et exacte par la suite des chiffres de son écriture en base 2. Étant donné les représentations de deux nombres entiers, le calcul formel se pose par exemple la question de calculer celle de leur produit. (fr)
  • Le calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes.Ainsi, un nombre entier est représenté de manière finie et exacte par la suite des chiffres de son écriture en base 2. Étant donné les représentations de deux nombres entiers, le calcul formel se pose par exemple la question de calculer celle de leur produit. (fr)
rdfs:label
  • Calcul formel (fr)
  • Calcul formel (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:discipline of
is dbo:type of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:type of
is foaf:primaryTopic of