En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents A.K. Peters 18 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Symbolic computation and automated reasoning :
the CALCULEMUS-2000 symposium#8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6--7, 2000 Kerber, Manfred ; Kohlhase, Michael | A.K. Peters 2000

Congrès

- 270 p.
Call n° : 00023995
analyse numérique # calcul formel # informatique # algèbre # opérateur logique # résolution automatique de théorie # algèbre calculatoire # raisonnement automatis

68-06 ; 03B35 ; 68T15 ; 68W30

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Winning ways for your mathematical plays. Vol. 3 Berlekamp, Elwyn R. ; Conway, John H. ; Guy, Richard K. | A.K. Peters 2003

Ouvrage

- Pp. 461-801
Call n° : 00028598
récréation mathématique # loisir # jeu mathématique # jeu combinatoire

91A46 ; 00A08 ; 05-02 ; 91A24

Location : Ouvrage RdC (BERL)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Winning ways for your mathematical plays. Vol. 4 Berlekamp, Elwyn R. ; Conway, John H. ; Guy, Richard K. | A.K. Peters 2004

Ouvrage

- Pp. 801-1004
Call n° : 00028597
récréation mathématique # loisir # jeu mathématique # jeu combinatoire # jeu à 1 joueur # solitaire # puzzle

00A08 ; 91A24 ; 00A69

Location : Ouvrage RdC (BERL)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Trimathlon :
a workout beyond the school curriculum Sally, Judith ; Sally, Paul J. | A.K. Peters 2003

Ouvrage

- 250 p.
Call n° : 00028602
arithmétique # divertissement # géométrie # jeu # palindrome # pavage # problème # théorie des nombres

97A20 ; 00A08 ; 11Gxx ; 52C20

Location : Enseignement RdC (SALL)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Gödel's theorem :
an incomplete guide to its use and abuse Torkel, Franzèn | A.K. Peters 2005

Ouvrage

- 172 p.
Call n° : 00028759
logique # arithmétique de premier ordre # système formel # théorème de Gödel # décidabilité # théorème d'incompletude # numération de Gödel

03-01 ; 03F30 ; 03F40

Location : Ouvrage RdC (TORK)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computational aspects of polynomial identities Kanel-Belov, Alexei ; Rowen, Louis Halle | A.K. Peters 2005

Ouvrage

- 378 p.
Call n° : 00028770
polynôme # anneau associatif # identité polynômiale # variété d'anneau # analyse combinatoire # théorème de Shirskov # solution de Kemer de la conjecture de Specht # série de Poincaré-Hilbert # dimension de Gelfand-Kirilov # identité trace

16R10 ; 16R30 ; 16-02 ; 16P90 ; 16W55 ; 16N20 ; 15A75

Location : Ouvrage RdC (KANE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Semigroups for delay equations Batkai, Andras ; Piazzera, Susanna | A.K. Peters 2005

Ouvrage

- 259 p.
Call n° : 00028780
semi-groupe # équation différentielle retard # théorie spectrale # système différentiel avec délai

35B35 ; 35B40 ; 47D06 ; 35R10 ; 47D99

Location : Ouvrage RdC (BATK)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logical dilemmas :
the life and work of Kurt Gödel Dawson, John W. | A.K. Peters 1997

Ouvrage

- 361 p.
Call n° : 00028769
Kurt Gödel # histoire des mathématiques # biographie # logique # bibliographie

03-03 ; 01A70 ; 03-02 ; 01A60

Location : Biographie RdC (GODE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Regular sequences and resultants Scheja, Günter ; Storch, Uwe | A.K. Peters 2001

Ouvrage

- 142 p.
Call n° : 00024569
algèbre commutative # série régulière # séquence régulière # calcul # idéal # polynôme # espace projectif # théorie d'intersection # élimination # extention de Kronecker

13-02 ; 13A99 ; 13P10

Location : Ouvrage RdC (SCHE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

An introduction to scientific, symbolic, and graphical computation Fiume, Eugene | A.K. Peters 1995

Ouvrage

- 306 p.
Call n° : 00024585
informatique # analyse numérique # calcul graphique # calcul formel # représentation de fonction # représentation mathématique # interpolation # approximation par polynôme # intégration # zéro de fonction # résolution de problème

68-01 ; 65-01 ; 68U05 ; 68T20 ; 41A05 ; 41A10

Location : Ouvrage RdC (FIUM)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language