Mathématiques et algorithmique : exemples d'interactions
La 4e de couv. indique : "Les conférences recueillies dans cet ouvrage portent essentiellement sur les algorithmes avancés du calcul formel (algorithme de Gosper, sommation des séries hypergéométriques, bases de Gröbner, algorithmique des groupes finis), l'informatique théorique (calculabi...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre papier |
| Langue: | Français |
| Publié: |
[Paris] :
Epistemon : Rue des écoles
DL 2017.
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
Table des matières:
- Sommation et intégration formelles
- Séries hypergéométriques : de Soeur Celine à Zeilberger et Petkovsek
- Calculabilité et complexité algébrique
- Introduction aux bases de Gröbner : théorie et pratique
- Plaisirs de groupe en Caml
- Types de données en Java, comparaison avec Caml
- Les technologies XML
- Classes Latexn de Latex à HTML
- Web dynamique avec PHP et MySQL