Elimination practice / Dongming Wang

Public ISBD Titre : Elimination practice : software tools and applications Type de document : texte imprimé Auteurs : Dongming Wang Editeur : London : Imperial College Press Année de publication : 2004 Importance : viii - 222 p. ISBN/ISSN/EAN : 978-1-86094-438-3 Langues : Anglais Catégories : 68-XX Computer science :68UXX Computing methodologies and applications:68U05 Computer graphics; computational geometry 68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computation Mots-clés : algebraic computation  symbolic computation  computational geometry Index. décimale : 68C Monographie Elimination practice : software tools and applications [texte imprimé] / Dongming Wang . - London : Imperial College Press, 2004 . - viii - 222 p. ISBN : 978-1-86094-438-3 Langues : Anglais Catégories : 68-XX Computer science :68UXX Computing methodologies and applications:68U05 Computer graphics; computational geometry 68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computation Mots-clés : algebraic computation  symbolic computation  computational geometry Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16354	68C286	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Mechanical theorem proving in geometries / Wu, Wen-tsün

Public ISBD 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

---

page 1/1