LEADER 02048oam 2200529 450 001 9910715903103321 005 20210427105217.0 035 $a(CKB)5470000002517069 035 $a(OCoLC)680367703$z(OCoLC)622197097$z(OCoLC)667855390$z(OCoLC)974647579 035 $a(OCoLC)995470000002517069 035 $a(EXLCZ)995470000002517069 100 $a20101110d1993 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDocumentation of a computer program (Streamlink) to represent direct-flow connections in a coupled ground-water and surface-water model /$fby Eric D. Swain ; prepared in cooperation with the South Florida Water Management District 210 1$aTallahassee, Florida :$cU.S. Geological Survey,$d1993. 215 $a1 online resource (iv, 62 pages) $cillustrations, map 225 1 $aWater-resources investigations report ;$v93-4011 320 $aIncludes bibliographical references (page 39). 517 $aDocumentation of a computer program 606 $aGroundwater flow$xComputer programs 606 $aStreamflow$xComputer programs 606 $aGroundwater flow$xMathematical models$2fast 606 $aStreamflow$xMathematical models$2fast 615 0$aGroundwater flow$xComputer programs. 615 0$aStreamflow$xComputer programs. 615 7$aGroundwater flow$xMathematical models. 615 7$aStreamflow$xMathematical models. 700 $aSwain$b Eric D.$01390109 712 02$aGeological Survey (U.S.), 712 02$aSouth Florida Water Management District (Fla.) 801 0$bOCLCE 801 1$bOCLCE 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCQ 801 2$bOCLCO 801 2$bOCLCQ 801 2$bCOP 801 2$bGPO 906 $aBOOK 912 $a9910715903103321 996 $aDocumentation of a computer program (Streamlink) to represent direct-flow connections in a coupled ground-water and surface-water model$93442480 997 $aUNINA LEADER 04050nam 22007575 450 001 9910484794003321 005 20251226200152.0 010 $a3-642-40672-6 024 7 $a10.1007/978-3-642-40672-0 035 $a(CKB)3710000000019148 035 $a(SSID)ssj0001010854 035 $a(PQKBManifestationID)11638717 035 $a(PQKBTitleCode)TC0001010854 035 $a(PQKBWorkID)11004492 035 $a(PQKB)11581852 035 $a(DE-He213)978-3-642-40672-0 035 $a(MiAaPQ)EBC3093549 035 $a(PPN)17242982X 035 $a(EXLCZ)993710000000019148 100 $a20130902d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Deduction in Geometry $e9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /$fedited by Tetsuo Ida, Jacques Fleuriot 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 193 p. 55 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v7993 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-40671-8 327 $aProof and Computation in Geometry -- Automation of Geometry: Theorem Proving, Diagram -- Generation, and Knowledge Management -- Improving Angular Speed Uniformity by C1 Piecewise Reparameterization -- Extending the Descartes Circle Theorem for Steiner n-Cycles -- Equation Systems with Free-Coordinates Determinants -- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls -- Realizations of Volume Frameworks -- Rigidity of Origami Universal Molecules -- Algebraic Analysis of Huzita?s Origami Operations and Their Extensions -- On the Formal Analysis of Geometrical Optics in HOL -- Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v7993 606 $aArtificial intelligence 606 $aComputer graphics 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aSoftware engineering 606 $aArtificial Intelligence 606 $aComputer Graphics 606 $aFormal Languages and Automata Theory 606 $aSymbolic and Algebraic Manipulation 606 $aDiscrete Mathematics in Computer Science 606 $aSoftware Engineering 615 0$aArtificial intelligence. 615 0$aComputer graphics. 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aSoftware engineering. 615 14$aArtificial Intelligence. 615 24$aComputer Graphics. 615 24$aFormal Languages and Automata Theory. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 676 $a006.3 702 $aIda$b Tetsuo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFleuriot$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910484794003321 996 $aAutomated Deduction in Geometry$9772173 997 $aUNINA