Calcul formel : :: SCD d'Orléans

Calcul formel : systèmes et algorithmes de manipulations algébriques

Calcul formel : systèmes et algorithmes de manipulations algébriques

Salvato in:

Dettagli Bibliografici
Autori principali:	Davenport, James Harold, Tournier, Évelyne, 1945- (Autore), Siret, Yvon (Autore)
Altri autori:	Lazard, Daniel, 1941- (Autore dell'introduzione etc.)
Natura:	Livre papier
Lingua:	Français
Pubblicazione:	Paris [etc.] : Masson 1987.
Serie:	Études et recherches en informatique 8
Soggetti:	Algorithmes Calcul formel
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

Cours de calcul formel : algorithmes fondamentaux
di: Saux Picart, Philippe, 19..-
Pubblicazione: (1999)

Mathématiques pour le calcul formel
di: Mignotte, Maurice, 19..-...., mathématicien
Pubblicazione: (1989)

Algorithms for computer algebra
di: Geddes, Keith O., 1947-...., mathématicien, et al.
Pubblicazione: (1992)

Calcul formel avec MUPAD
di: Maltey, François
Pubblicazione: (2001)

Algèbre et calcul formel : agrégation de mathématiques : option C
di: Fleury, Odile, 19, et al.
Pubblicazione: (2023)

Algèbre et calcul formel : agrégation de mathématiques Option C
di: Foissy, Loïc, 1975-...., mathématicien, et al.
Pubblicazione: (2017)

Algèbre et calcul formel : agrégation de mathématiques : option C
di: Fleury, Odile, 19..-...., Enseignante-chercheuse en mathématiques, et al.
Pubblicazione: (2023)

Cours de calcul formel : corps finis, systèmes polynomiaux : applications
di: Saux Picart, Philippe, 19..-, et al.
Pubblicazione: (2002)

Notions sur les grammaires formelles
di: Gross, Maurice, 1934-2001, linguiste, et al.
Pubblicazione: (1970)

Algebra for symbolic computation
di: Machì, Antonio, 19..-, mathématicien

Algebraic algorithms and error-correcting codes : 3rd International conference, AAECC-3, Grenoble, France, July 15-19, 1985 : proceedings

Langages formels : calculabilité et complexité : cours et exercices corrigés
di: Carton, Olivier
Pubblicazione: (2014)

Notions sur les grammaires formelles
di: Gross, Maurice, 1934-2001, linguiste, et al.
Pubblicazione: (1967)

Langages formels, calculabilité et complexité
di: Carton, Olivier, 19..-...., mathématicien
Pubblicazione: (2008)

A course in computational algebraic number theory
di: Cohen, Henri, 1947-
Pubblicazione: (1993)

Journal of symbolic computation.

Comprendre les méthodes formelles : panorama et outils logiques
di: Monin, Jean-François
Pubblicazione: (1996)

Mathématique discrète : outil pour l'informaticien
di: Marchand, Michel, 1947-
Pubblicazione: (1989)

Commutative Algebra, Singularities and Computer Algebra : Proceedings of the NATO Advanced Research Workshop on Commutative Algebra, Singularities and Computer Algebra Sinaia, Romania 17-22 September 2002

Mathématiques concrètes : fondations pour l'informatique
di: Graham, Ronald Lewis, 1935-2020, et al.
Pubblicazione: (2003)

Computer Algebra Handbook : Foundations · Applications · Systems
di: Grabmeier, Johannes

Complexité algorithmique : et problèmes de communications
di: Barthélemy, Jean-Pierre, 1945-, et al.
Pubblicazione: (1992)

Algèbre et informatique : applications aux codes linéaires correcteurs d'erreurs
di: Meunier, Pierre, 1944-
Pubblicazione: (2013)

Some tapas of computer algebra
di: Cohen, Arjeh M., 1949-

Calcul mathématique avec Sage
di: Zimmermann, Paul, 1964-...., informaticien, et al.
Pubblicazione: (2013)

Applied algebra, algebraic algorithms, and error-correcting code : 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987s : proceedings

Logique(s), langages formels et complexité pour l'informatique
di: Jussien, Narendra, 1973-
Pubblicazione: (2006)

Linear algebra : ideas and applications
di: Penney, Richard C.
Pubblicazione: (2016)

Noncommutative Gröbner Bases and Filtered-Graded Transfer
di: Li, Huishi, 1955-

Applied algebra, algebraic algorithms and error-correcting codes : 15th international symposium, AAECC-15, Toulouse, France, May 12-16, 2003 : proceedings

Applied algebra, algebraic algorithms, and error-correcting codes : 12th international symposium, AAECC-12, Toulouse, France, June 23-27, 1997 : proceedings

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986

Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4 8, 1988 : proceedings

Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981

Le Turbo Pascal en classes préparatoires, Calcul formel
di: Levine, Albert, 19..-
Pubblicazione: (1989)

Initiation mathématique aux grammaires formelles
di: Hughes, Michel
Pubblicazione: (1972)

Mathematica : calcul formel et programmation symbolique pour l'informatique scientifique
di: Barrère, Rémi
Pubblicazione: (2002)

Le Calcul intensif
di: Stockmeyer, Larry, 1948-, et al.
Pubblicazione: (1989)

Applied algebra, algebraic algorithms, and error-correcting codes : 8th International conference, AAECC-8 Tokyo, Japan, August 20-24, 1990 : proceedings

Maple : cours et applications : 1re et 2e années toutes filières
di: Porcheron, Lionel, 1978-
Pubblicazione: (2004)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales