m

F Nous contacter

0

Documents  68Q40 | enregistrements trouvés : 60

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 557 p.
ISBN 978-3-540-09519-4

Lecture notes in computer science , 0072

Localisation : Collection 1er étage

65-06 ; 65Lxx ; 65Mxx ; 68Q40 ; 68Q70

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Localisation : Colloque 1er étage (SAIN)

ASHMIDAI # approximation de Padé # décroissance leptonique # fonction de III-comportement # implémentation de LISP # intégrale de Feymnan # manipulation symbolique # méthode de calcul symbolique # optimisation ou élimination non linéaire # physique théorique # preuve de théorème automatique # structure de calcul algébrique # théorie de jauge non abélienne # électrodynamique quantique d'état borné

68-06 ; 68Q40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-12-428660-3

Notes and reports in computer science and applied mathematics , 0007

Localisation : Colloque 1er étage (NEW)

FORTRAN # MATRIX PASCAL # PASCAL-SC # arithmétique informatique optimale # calcul scientifique # coéfficient de Taylor # espace de fonction # mathématique numérique # paquet de démonstration informatique # précision # résolution de problème algébrique # ultra-arithmétique # évaluation d'expression arithmétique

68Q40 ; 68Qxx ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 396 p.
ISBN 978-0-387-13350-8

Lecture notes in computer science , 0174

Localisation : Collection 1er étage

68Q40 ; 68Q70 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8186-0034-0

Localisation : Colloque 1er étage (AACH)

68Q40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-89838-173-3

Localisation : Colloque 1er étage (PHIL)

FORTRAN # LISP # MACSYMA # MAPLE # REDUCE # SMP # analyse de données # application d'algèbre informatique # bifurcation de Hopf # calcul symbolique # chimie # mathématique symbolique # modélisation de polymère # moteur de chaleur photochimique # muMATH # mécanique # onde de Stokes # robot # solution exacte pour super treillis # théorie des champs quantiques

62-07 ; 68-06 ; 68Pxx ; 68Q40 ; 92Exx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 383 p.
ISBN 978-0-8247-7746-3

Lecture notes in pure and applied mathematics , 0106

Localisation : Colloque 1er étage (COLL)

algèbre de l'informatique # logique mathématiques # logique symbolique

03-02 ; 68Pxx ; 68Q40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 523 p.
ISBN 978-3-540-15670-3

Lecture notes in computer science , 0197

Localisation : Collection 1er étage

algèbre de l'informatique # communication des systèmes # développement des systèmes # informatique théorique # partage des ressources # programmation # spécification des systèmes # système asynchone de hardware

68Q40 ; 68Q60 ; 68Q65

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 650 p.
ISBN 978-3-540-15984-1

Lecture notes in computer science , 0204

Localisation : Collection 1er étage

algèbre de l'informatique # algorithme # combinatoire # logique combinatoire # mathématiques discrètes

68Q20 ; 68Q40 ; 68Qxx ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 301 p.
ISBN 978-3-540-11607-3

Lecture notes in computer science , 0144

Localisation : Collection 1er étage

calcul symbolique algébrique # complexité de calcul

68Q25 ; 68Q40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 416 p.
ISBN 978-3-540-12727-7

Lecture notes in computer science , 0159

Localisation : Collection 1er étage

algèbre # algorithme # arbre # langage de programmation # programmation # programme # représentation de données # structure des données # techniques de programmation

68Nxx ; 68Q40 ; 68Q42 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 416 p.
ISBN 978-3-540-16776-1

Lecture notes in computer science , 0229

Localisation : Collection 1er étage

algèbre # algorithme algébrique # codes correcteurs # théorie de l'information

68Q40 ; 94Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 208 p.
ISBN 978-3-540-17184-3

Lecture notes in computer science , 0242

Localisation : Collection 1er étage

calcul lambda # informatique théorique # langage # langage de programmation # langage de programmation combinatoire # langage de programmation fonctionnel # logique # programmation # programmation automatique # sémantique # système # technique de programmation

68N05 ; 68N15 ; 68Q40 ; 68R15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 219 p.
ISBN 978-3-540-55553-7

Lecture notes in computer science , 0601

Localisation : Collection 1er étage

analyse d'algorithme # analyse numérique # calcul # calcul par dispositif abstrait # codage # complexité # in génierie de logiciel # informatique théorique # langage de programmation # langage formel # logique # logique mathématique # manipulation algébrique # mathématique discrète # réseau d'ordinateur # signification des programmes # structure de mémoire # système # théorie de l'information

68-06 ; 68Q40 ; 68Q45 ; 68Qxx ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 457 p.
ISBN 978-3-540-55873-6

Lecture notes in computer science , 0632

Localisation : Collection 1er étage

arbre de définition # calcul orienté objet # démonstration de théorème # lambda calcul # langage de programmation # langage formel # logique des programmes # logique mathématique # programmation algébrique # programmation logique # programmation logique contrainte # programmation logique fonctionnelle # programme logique concurrent # réécriture de terme # si gnification des programmes # sémantique oracle pour Prolog

68-06 ; 68N15 ; 68N17 ; 68Q40 ; 68Q42

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 376 p.
ISBN 978-3-540-56320-4

Lecture notes in computer science , 0653

Localisation : Collection 1er étage

automate # automatisation # contrôle # image # informatique # ingineering # intelligence artificielle # logiciel # logique symbolique # programmation # reconnaissance # robotique # science cognitive # sciences de l'ingénieur # signal # software # système cognitif # théorie du signal # vision

68D99 ; 68Q40 ; 68Q68 ; 68Txx ; 94A12

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 322 p.
ISBN 978-3-540-58691-3

Lecture notes in computer science , 0877

Localisation : Collection 1er étage

CM-champ # algorithme # complexité # courbe elliptique rationnelle # courbe hyperelliptique # criblage de treillis # cycle d'isogénie # difficulté à trouver des témoins fiables # division d'essais # informatique # méthode symbolique en mathématique algorithmique # ordinateur quantique # réduction # théorie des nombres # théorie des nombres algorithmique # variété CM abelienne

11T71 ; 11Yxx ; 68P25 ; 68Q25 ; 68Q40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-521-44218-3

Symposia mathematica , 0034

Localisation : Collection 1er étage

algébre commutative # base de Gröbner # espace affine ou projectif # géométrie algébrique informatique # géométrie algébrique numérique # théorie de l'élimination

13-XX ; 14Qxx ; 65-XX ; 68-XX ; 68Q40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 399 p.
ISBN 978-3-7643-5274-5

Progress in mathematics , 0143

Localisation : Collection 1er étage

T-courbe et méthode de Viro # algorithme # algèbre de Lie filiforme nilpotente caractéristiquement # arithmétique de courbe hyper-elliptique # base de Gröbner # bezoutien multivarié # calcul des corps de dislocation ou des groupes de Galois de # graphe # géométrie algébrique # géométrie conforme informatique # géométrie robotique et vision # système involutif de dimension O # énumération

14-06 ; 14Qxx ; 68Q40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 275 p.
ISBN 978-3-540-60156-2

Lecture notes in computer science , 0958

Localisation : Collection 1er étage

2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de preuve # fibrage logique # k-algèbre # logique linéaire # modèle sous défini # modélisation de scénario d'agent coopérant # méthode d'apprentissage inductif empirique # méthode de planification déductive # planification de preuve du théorème de la valeur intermédiai # programmation algébrique # programme d'optimisation automatique # propagation de contrainte mathématique # raisonnement basé sur la règle # résolution de problème # résolveur uniCalc # spécification algébrique # structure d'idéal # théorie = signature + proposition utilisée comme type # théorie des matroïdes # traitement sous symbolique # transformation symbolique # utilisation de plan de preuve 2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de ...

38T20 ; 65-06 ; 68P05 ; 68Q40 ; 68T15

... Lire [+]

Z