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.

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.

- 592 p.
ISBN 978-3-540-61550-7

Lecture notes in computer science , 1113

Localisation : Collection 1er étage

aspect calculatoire # informatique théorique # ingineering logiciel # langage formel # logique # mathématique discrète # mode de calcul # système d

68Mxx ; 68N25 ; 68Nxx ; 68Q05 ; 68Q10 ; 68Q40 ; 68Q45 ; 68Q60 ; 68Qxx ; 68Rxx

... 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.

- 565 p.
ISBN 978-3-540-18088-3

Lecture notes in computer science , 0267

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68N17 ; 68Q40 ; 68Q68 ; 68Q70 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx

... Lire [+]

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.


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.

- 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.

- 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.

- 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.


ISBN 978-3-540-66047-7

Localisation : Disparu

algèbre commutatif # algèbre de calcul # analyse numérique # calcul symbolique # corps # informatique théorique # intelligence artificielle # méthode de différence finie # polynomes # représentation de groupes # stabilité de Lyaponov # système expert # théorie de stabilité # équations différentielles avancées

12Y05 ; 13P10 ; 20C40 ; 34A25 ; 34D20 ; 65M06 ; 68Q40 ; 68T35

... 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-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.


ISBN 978-0-521-58057-1

Publications of the Newton institute

Localisation : Colloque 1er étage (CAMB)

informatique # langage # logique classique # metalangage # programmation # sémantique

68N17 ; 68Q40 ; 68Q55

... 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.


ISBN 978-0-8218-0750-7

Proceedings of symposia in applied mathematics , 0053

Localisation : Collection 1er étage

anneaux arithmétiques # biomécanique # calcul algébrique # calcul symbolique # code correcteur # géométrie algébrique # méthodologie # système assisté # traitement informatique

05E99 ; 13F99 ; 14Q99 ; 68Q40 ; 68U07 ; 90C10 ; 94B27

... 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.

- 403 p.
ISBN 978-3-540-61581-1

Lecture notes in computer science , 1122

Localisation : Collection 1er étage

algorithme non numérique # algorithmique # algèbre # algèbre de l'informatique # analyse d'algorithme # arithmétique # corps des nombres finis # cryptage des données # cryptographie # encryptage de données # grammaire # informatique théorique # mathématique de l'informatique # mathématique discrète # polynôme # problème de complexité # théorie algorithmique des nombres # théorie des nombres # traitement des données informatiques

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

... 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.

- 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 [+]

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 [+]

Z