LEADER 01404nam a2200397 i 4500 001 991000711159707536 005 20020507172606.0 008 941004s1984 us ||| | eng 020 $a0273085980 035 $ab10746547-39ule_inst 035 $aLE01301083$9ExL 040 $aDip.to Matematica$beng 082 0 $a515.73 084 $aAMS 30C40 084 $aAMS 32A35 084 $aAMS 32H10 084 $aAMS 35E20 084 $aAMS 46E15 084 $aAMS 46E40 084 $aLC QA322.2.B87 100 1 $aBurbea, Jacob$056705 245 10$aBanach and Hilbert spaces of vector-valued functions :$btheir general theory and applications to holomorphy /$cJacob Burbea, P. Masani 260 $aBoston :$bPitman Publishing,$c1984 300 $a111 p. ;$c24 cm 490 0 $aPitman research notes in mathematics series, ISSN 02693674 ;$v90 500 $aIncludes bibliographical references and indexes 650 0$aBanach spaces 650 0$aHilbert spaces 650 0$aVector valued functions 700 1 $aMasani, Pesi Rustom 907 $a.b10746547$b30-01-18$c28-06-02 912 $a991000711159707536 945 $aLE013 46E BUR11 (1984)$g1$i2013000142340$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10838855$z28-06-02 996 $aBanach and Hilbert spaces of vector-valued functions$9911711 997 $aUNISALENTO 998 $ale013$b01-01-94$cm$da $e-$feng$gus $h0$i1 LEADER 04346oam 2200613 450 001 9910768475903321 005 20210716004007.0 010 $a3-540-47997-X 024 7 $a10.1007/3-540-47997-X 035 $a(CKB)1000000000211190 035 $a(SSID)ssj0000321532 035 $a(PQKBManifestationID)11227088 035 $a(PQKBTitleCode)TC0000321532 035 $a(PQKBWorkID)10263279 035 $a(PQKB)11327928 035 $a(DE-He213)978-3-540-47997-0 035 $a(MiAaPQ)EBC3072609 035 $a(MiAaPQ)EBC6486066 035 $a(PPN)155229753 035 $a(EXLCZ)991000000000211190 100 $a20210716d1999 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aAutomated deduction in geometry $eSecond International Workshop, ADG '98, Beijing, China, August 1998 : proceedings /$fXiao-Shan Gao, Dongming Wang, Lu Yang, editors 205 $a1st ed. 1999. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[1999] 210 4$d©1999 215 $a1 online resource (VIII, 292 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1669 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-66672-9 320 $aIncludes bibliographical references and index. 327 $aAutomatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving -- Solving Geometric Problems with Real Quantifier Elimination -- Automated Discovering and Proving for Geometric Inequalities -- Proving Newton?s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle -- Readable Machine Solving in Geometry and ICAI Software MSG -- Plane Euclidean Reasoning -- A Clifford Algebraic Method for Geometric Reasoning -- Clifford Term Rewriting for Geometric Reasoning in 3D -- Some Applications of Clifford Algebra to Geometries -- Decomposing Algebraic Varieties -- An Application of Automatic Theorem Proving in Computer Vision -- Automated Geometry Diagram Construction and Engineering Geometry -- A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction -- Variant Geometry Analysis and Synthesis in Mechanical CAD. 330 $aThe Second International Workshop on Automated Deduction in Geometry (ADG ?98) was held in Beijing, China, August 1?3, 1998. An increase of interest in ADG ?98 over the previous workshop ADG ?96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¨ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG ?98 was hosted by the Mathematics Mechanization Research Center (MMRC) with ?nancial support from the Chinese Academy of Sciences and the French National Center for Scienti?c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG ?98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi?cant research results and developments and re?ect the current state-of-the-art of ADG. 410 0$aLecture notes in computer science ;$v1668. 606 $aGeometry$xData processing$vCongresses 606 $aAutomatic theorem proving$vCongresses 615 0$aGeometry$xData processing 615 0$aAutomatic theorem proving 676 $a516.00285 702 $aLu$b Mingjie 702 $aWang$b Dongming 702 $aGao$b Xiao-lu 712 12$aInternational Workshop on Automated Deduction in Geometry 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a9910768475903321 996 $aAutomated Deduction in Geometry$9772173 997 $aUNINA LEADER 03144nam 2200445 450 001 9910796285703321 005 20230807214819.0 010 $a2-335-05439-2 035 $a(CKB)3790000000022972 035 $a(EBL)2085458 035 $a(MiAaPQ)EBC2085458 035 $a(Au-PeEL)EBL2085458 035 $a(OCoLC)914152232 035 $a(EXLCZ)993790000000022972 100 $a20200120d2015 uy 0 101 0 $afre 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHistorique et description des procedes du daguerreotype et du diorama /$fLouis Jacques Mande Daguerre 210 1$a[Place of publication not identified] :$cLigaran,$d2015. 215 $a1 online resource (127 p.) 300 $aDescription based upon print version of record. 327 $aCouverture; Page de Copyright; Page de titre; Chambre des de?pute?s; Expose? des motifs et projet de loi; Projet de loi; Chambre des de?pute?s; Rapport; Chambre des pairs; Rapport; Avertissement; Notice sur l'he?liographie, par J. N. Niepce; Principe fondamental de cette de?couverte; Matie?re premie?re. - Pre?paration; Du dissolvant. - Manie?re de le pre?parer; Du lavage. - Manie?re d'y proce?der; Applications des proce?de?s he?liographiques; Observations; Additions; Modifications apporte?es au proce?de? de M. Niepce; Re?sume?; Note historique sur le proce?de? du Daguerre?otype; Notes relatives au Daguerre?otype 327 $aDescription pratique du proce?de? nomme? le Daguerre?otypeDaguerre?otype; Premie?re ope?ration; Deuxie?me ope?ration; Observations; Troisie?me ope?ration; Quatrie?me ope?ration; Quatrie?me ope?ration; Explication des planches du Daguerre?otype; Planche Ire; Planche IIe; Planche IIIe; Planche IVe; Planche Ve; Planche VIe; Description des proce?de?s de peinture et d'e?clairage invente?s par Daguerre, et applique?s par lui aux tableaux du Diorama; Proce?de? de peinture; Premier effet; Deuxie?me effet; E?clairage 330 $a Extrait : ""La substance que l'on doit employer de pre?fe?rence est le re?sidu qu'on obtient par l'e?vaporation de l'huile essentielle de lavande, applique? en couche tre?s mince, par le moyen de sa dissolution dans l'alcool. Bien que toutes les substances re?sineuses ou bitumineuses, sans en excepter une seule ; soient doue?es de la me?me proprie?te?, c'est-a?-dire celle d'e?tre sensibles a? la lumie?re, on doit donner la pre?fe?rence a? celles qui sont les plus onctueuses...""A? PROPOS DES E?DITIONS LIGARANLes e?ditions LIGARAN proposent des versions nume?riques de qualite? de grands livres de la litte?rature clas 606 $aDaguerreotype 606 $aDiorama 615 0$aDaguerreotype. 615 0$aDiorama. 676 $a772.12 700 $aDaguerre$b Louis Jacques Mande?$f1787-1851,$01551175 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910796285703321 996 $aHistorique et description des procedes du daguerreotype et du diorama$93810526 997 $aUNINA