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

Rational homotopy type, a constructive study via the theory of the I*-measure / Wu, Wen-tsün

Public ISBD Titre : Rational homotopy type, a constructive study via the theory of the I*-measure Type de document : texte imprimé Auteurs : Wu, Wen-tsün Mention d'édition : 1 Editeur : Springer-Verlag Année de publication : 1987 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 1264 Importance : viii - 219 p. ISBN/ISSN/EAN : 978-0-387-13611-0 Langues : Anglais Mots-clés : homotopy theory Index. décimale : LNM Rational homotopy type, a constructive study via the theory of the I*-measure [texte imprimé] / Wu, Wen-tsün  . -  1 . - [S.l.] : Springer-Verlag, 1987 . - viii - 219 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 1264) . ISBN : 978-0-387-13611-0 Langues : Anglais Mots-clés : homotopy theory Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1600	LNM/1264	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Sur les espaces fibrés et les variétés feuilletées / Wu, Wen-tsün

Public ISBD Titre : Sur les espaces fibrés et les variétés feuilletées Type de document : texte imprimé Auteurs : Wu, Wen-tsün ; Reeb, George Editeur : Paris : Hermann Année de publication : 1952 Collection : Actualités Scientifiques et Industrielles num. 1183 Importance : 158 p. Langues : Français Mots-clés : espace fibre variete feuilletee Index. décimale : 55C Monographie Sur les espaces fibrés et les variétés feuilletées [texte imprimé] / Wu, Wen-tsün ; Reeb, George . - Paris : Hermann, 1952 . - 158 p.. - (Actualités Scientifiques et Industrielles; 1183) . Langues : Français Mots-clés : espace fibre variete feuilletee Index. décimale : 55C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1669	55C06	imprimé / autre	CRDM	55/TOPOLOGIE ALGEBRIQUE	Disponible

A theory of imbedding, immersion, and isotopy of polytopes in a Euclidean space / Wu, Wen-tsün

Public ISBD Titre : A theory of imbedding, immersion, and isotopy of polytopes in a Euclidean space Type de document : texte imprimé Auteurs : Wu, Wen-tsün, Auteur Editeur : Science Press Année de publication : 1974 Importance : xv - 291 p. Langues : Anglais Langues originales : Chinois Catégories : 52-XX Convex and discrete geometry:52-01 Instructional exposition (textbooks, tutorial papers, etc.) 57-XX Manifolds and cell complexes :57-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : topology  manifolds Index. décimale : 57C Monographie A theory of imbedding, immersion, and isotopy of polytopes in a Euclidean space [texte imprimé] / Wu, Wen-tsün, Auteur . - [S.l.] : Science Press, 1974 . - xv - 291 p. Langues : Anglais Langues originales : Chinois Catégories : 52-XX Convex and discrete geometry:52-01 Instructional exposition (textbooks, tutorial papers, etc.) 57-XX Manifolds and cell complexes :57-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : topology  manifolds Index. décimale : 57C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20344	57C199	imprimé / autre	CRDM	57/VARIETES ET COMPLEXES CELLULAIRES	Disponible

---

page 1/1