A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'constructive algebraic geometry'
Affiner la recherche Générer le flux rss de la recherche
Polynomial algorithms in computer algebra / Winkler, Franz
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11961 68C08 imprimé / autre CRDM 68/INFORMATIQUE Disponible Mechanical theorem proving in geometries / Wu, Wen-tsün
Titre : Mechanical theorem proving in geometries : basic principles Type de document : texte imprimé Auteurs : Wu, Wen-tsün ; Jin, Xiaofan ; Dongming Wang, Traducteur Editeur : Springer-Verlag Année de publication : 1994 Collection : texts and monographs in symbolic computation Importance : xii - 288 p. ISBN/ISSN/EAN : 978-3-211-82506-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations
68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)Mots-clés : symbolic computation irreducible decomposition algebraic varieties constructive algebraic geometry polynomial equality relations geometry theorem proving mechanization coordinate systems algebraization axiomatic geometry computational geometry Index. décimale : 68C Monographie Mechanical theorem proving in geometries : basic principles [texte imprimé] / Wu, Wen-tsün ; Jin, Xiaofan ; Dongming Wang, Traducteur . - [S.l.] : Springer-Verlag, 1994 . - xii - 288 p.. - (texts and monographs in symbolic computation) .
ISBN : 978-3-211-82506-8
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations
68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)Mots-clés : symbolic computation irreducible decomposition algebraic varieties constructive algebraic geometry polynomial equality relations geometry theorem proving mechanization coordinate systems algebraization axiomatic geometry computational geometry Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11825 68C01 imprimé / autre CRDM 68/INFORMATIQUE Disponible