LEADER 01391nam 2200385Ia 450 001 996386905003316 005 20221108104704.0 035 $a(CKB)1000000000621016 035 $a(EEBO)2240877987 035 $a(OCoLC)13292905 035 $a(EXLCZ)991000000000621016 100 $a19860313d1675 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aNathanael Brook, stationer at the Angel in Cornhil, to the reader$b[electronic resource] 210 $a[London $cs.n.$d1675?] 215 $a3 p 300 $aAn account of John Collins' mathematical works reprinted from the appendix to Sir Edward Sherburne's translation of Book 1 of the Astronomicon of Manilius. Cf. BM under Sherburne. 300 $aCaption title. 300 $aThe caption title is followed by an introductory paragraph by the stationer Nathaniel Brook. 300 $aPlace and date of publication from BM. 300 $aReproduction of original in Huntington Library. 330 $aeebo-0113 700 $aSherburne$b Edward$cSir,$f1618-1702.$01007119 701 $aBrooke$b Nathaniel$01009483 701 $aManilius$b Marcus$0186154 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bEAA 801 2$bWaOLN 906 $aBOOK 912 $a996386905003316 996 $aNathanael Brook, stationer at the Angel in Cornhil, to the reader$92331285 997 $aUNISA LEADER 02024nam 2200457Ka 450 001 9910696812303321 005 20080729170903.0 035 $a(CKB)5470000002382763 035 $a(OCoLC)236490129 035 $a(EXLCZ)995470000002382763 100 $a20080729d1988 ua 0 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 13$aAn evaluation of occupant protection in frontal interior impact for unrestrained front seat occupants of cars and light trucks$b[electronic resource] /$fCharles J. Kahane 210 1$aWashington, D.C. :$cU.S. Dept. of Transportation, National Highway Traffic Safety Administration,$d[1988] 215 $axxxvi, 319 pages $cdigital, PDF file 225 1 $aNHTSA technical report 300 $aTitle from title screen (viewed on July 29, 2008). 300 $a"January 1988." 300 $a"DOT HS 807 203." 320 $aIncludes bibliographical references. 606 $aAutomobiles$xSeat belts$xStandards$zUnited States$xEvaluation 606 $aAutomobiles$xInstrument panels$xPadding$xStandards$zUnited States$xEvaluation 606 $aCrash injuries$xPrevention$xStandards$zUnited States$xEvaluation 606 $aAutomobile occupants$xSafety measures$xStandards$zUnited States$xEvaluation 606 $aImpact 615 0$aAutomobiles$xSeat belts$xStandards$xEvaluation. 615 0$aAutomobiles$xInstrument panels$xPadding$xStandards$xEvaluation. 615 0$aCrash injuries$xPrevention$xStandards$xEvaluation. 615 0$aAutomobile occupants$xSafety measures$xStandards$xEvaluation. 615 0$aImpact. 700 $aKahane$b Charles Jesse$01386104 712 02$aUnited States.$bNational Highway Traffic Safety Administration. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910696812303321 996 $aAn evaluation of occupant protection in frontal interior impact for unrestrained front seat occupants of cars and light trucks$93445110 997 $aUNINA LEADER 03689nam 2200565 a 450 001 9910483416303321 005 20200520144314.0 010 $a3-540-30137-2 024 7 $a10.1007/b104035 035 $a(CKB)1000000000212648 035 $a(SSID)ssj0000204702 035 $a(PQKBManifestationID)11172535 035 $a(PQKBTitleCode)TC0000204702 035 $a(PQKBWorkID)10188717 035 $a(PQKB)10671856 035 $a(DE-He213)978-3-540-30137-0 035 $a(MiAaPQ)EBC3068434 035 $a(PPN)13412359X 035 $a(EXLCZ)991000000000212648 100 $a20041027d2004 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModular algorithms in symbolic summation and symbolic integration /$fJurgen Gerhard 205 $a1st ed. 2005. 210 $aBerlin ;$aNew York $cSpringer$dc2004 215 $a1 online resource (XVI, 228 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3218 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-24061-6 320 $aIncludes bibliographical references (p. [207]-216) and index. 327 $a1. Introduction -- 2. Overview -- 3. Technical Prerequisites -- 4. Change of Basis -- 5. Modular Squarefree and Greatest Factorial Factorization -- 6. Modular Hermite Integration -- 7. Computing All Integral Roots of the Resultant -- 8. Modular Algorithms for the Gosper-Petkov?ek Form -- 9. Polynomial Solutions of Linear First Order Equations -- 10. Modular Gosper and Almkvist & Zeilberger Algorithms. 330 $aThis work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics on the other hand. In many algorithmically oriented areas of computer science, theanalysisof- gorithms?placedintothe limelightbyDonKnuth?stalkat the 1970ICM ?provides a crystal-clear criterion for success. The researcher who designs an algorithmthat is faster (asymptotically, in the worst case) than any previous method receives instant grati?cation: her result will be recognized as valuable. Alas, the downside is that such results come along quite infrequently, despite our best efforts. An alternative evaluation method is to run a new algorithm on examples; this has its obvious problems, but is sometimes the best we can do. George Collins, one of the fathers of computer algebra and a great experimenter,wrote in 1969: ?I think this demonstrates again that a simple analysis is often more revealing than a ream of empirical data (although both are important). ? Within computer algebra, some areas have traditionally followed the former methodology, notably some parts of polynomial algebra and linear algebra. Other areas, such as polynomial system solving, have not yet been amenable to this - proach. The usual ?input size? parameters of computer science seem inadequate, and although some natural ?geometric? parameters have been identi?ed (solution dimension, regularity), not all (potential) major progress can be expressed in this framework. Symbolic integration and summation have been in a similar state. 410 0$aLecture notes in computer science ;$v3218. 606 $aComputer algorithms 606 $aIntegrals 615 0$aComputer algorithms. 615 0$aIntegrals. 676 $a005.1 686 $a54.10$2bcl 700 $aGerhard$b Jurgen$f1967-$0771780 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483416303321 996 $aModular algorithms in symbolic summation and symbolic integration$94204311 997 $aUNINA