| 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
| |
| dbo:wikiPageLength
|
- 13648 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| 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
| |
| 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
| |
| 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
| |
| 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
| |
| 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)
- Computació algebraica (ca)
- Computer algebra (en)
- Cálculo simbólico (es)
- Matemática simbólica (pt)
- Obliczenia symboliczne (pl)
- Symbolische Mathematik (de)
- Đại số máy tính (vi)
- Символьные вычисления (ru)
- Символьні обчислення (uk)
- حساب رمزي (ar)
|
| 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 oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
