02296nam 2200385 n 450 99639538240331620200824121157.0(CKB)3810000000013234(EEBO)2240909761(UnM)ocm99889671e(UnM)99889671(EXLCZ)99381000000001323419841105d1681 uy engurbn||||a|bb|A new systeme of the mathematicks[electronic resource] Containing I. Arithmetick, as well natural and decimal, as in species, or the principles of Algebra. II. Practical geometry, together with the first six books of Euclid's Elements, as also the eleventh and twelfth, symbolically demonstrated. III. Trigonometry plain and spherical. IV. Cosmography, or a description of the heavens. V. Navigation, or sailing by a plain or Mercator's Chart; as also by the Arch of a Great Circle, &c. VI. The Doctrine of the sphere, grounded on the motion of the earth, according to the old Pythagorean and Copernican systeme. VII. Astronomical tables, with tables of logarithms, natural and artificial sines and tangents, and versed sines. VIII. A new geography, or a description of the most eminent countries and coasts of the world, with maps of them, and tables of their latitude and longitude. /Composed by Sir Jonas Moore Knight, Late Surveyor General of His Majesty's Ordnance, and Fellow of the Royal Society: and designed for the use of the Royal Foundation of the Mathematical School in Christ-Hospital. By His Majesty's special commandLondon Printed by A. Godbid and J. Playford for Robert Scott, bookseller in Little BritainM. DC. LXXXI. [1681][1+] pA fragment; title page only.Reproduction of original in the British Library.eebo-0018MathematicsEarly works to 1800GeographyEarly works to 1800Title pagesEngland17th cent.MathematicsGeographyMoore JonasSir,1617-1679.1003096Cu-RivESCu-RivESCStRLINCu-RivESBOOK996395382403316A new systeme of the mathematicks2302789UNISA01237nam 2200349Ia 450 99638635400331620221108083027.0(CKB)4940000000081498(EEBO)2264207934(OCoLC)14363196(EXLCZ)99494000000008149819861008d1669 uy |engurbn||||a|bb|Light in darkness, or, A consideration of a comfortable and instructive resignation of the Church of God[electronic resource] by an eminent and faithful watchman upon his departure : occasioned by the sad loss of ... Thomas Moor, Junior /by C.DLondon [s.n.]1669[8], 176 pImperfect: pages stained.Reproduction of original in the Union Theological Seminary Library, New York.eebo-0160Christian lifeChristian life.Phelpes Charles1008646EAFEAFm/cUMIWaOLNBOOK996386354003316Light in darkness, or, A consideration of a comfortable and instructive resignation of the Church of God2375796UNISA03964nam 22006255 450 991076025520332120250602122331.03-031-34652-110.1007/978-3-031-34652-1(MiAaPQ)EBC30876542(Au-PeEL)EBL30876542(DE-He213)978-3-031-34652-1(CKB)28805083400041(EXLCZ)992880508340004120231108d2023 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierD-Finite Functions /by Manuel Kauers1st ed. 2023.Cham :Springer Nature Switzerland :Imprint: Springer,2023.1 online resource (669 pages)Algorithms and Computation in Mathematics,2512-3254 ;30Print version: Kauers, Manuel D-Finite Functions Cham : Springer,c2023 9783031346514 Includes bibliographical references and index.Chapter. 1. Background and fundamental concepts -- Chapter. 2. The recurrence case in one variable -- Chapter. 3. The differential case in one variable -- Chapter. 4. Operators -- Chapter. 5. Summation and integration -- Answers to Exercises -- Software -- Notations -- References -- Index.Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various areas of mathematics. This book is a comprehensive introduction to the theory of these functions with a special emphasis on computer algebra algorithms for computing with them: algorithms for detecting relations from given data, for evaluating D-finite functions, for executing closure properties, for obtaining various kinds of “explicit” expressions, for factoring operators, and for definite and indefinite symbolic summation and integration are explained in detail. The book comes “with batteries included” in the sense that it requires no background in computer algebra as the relevant facts from this area are summarized in the beginning. This makes the book accessible to a wide range of readers, from mathematics students who plan to work themselves on D-finite functions to researchers who want to apply the theory to their own work. Hundreds of exercises invite the reader to apply the techniques in the book and explore further aspects of the theory on their own. Solutions to all exercises are given in the appendix. When algorithms for D-finite functions came up in the early 1990s, computer proofs were met with a certain skepticism. Fortunately, these times are over and computer algebra has become a standard tool for many mathematicians. Yet, this powerful machinery is still not as widely known as it deserves. This book helps to spread the word that certain tasks can be safely delegated to a computer algebra system, and also what the limitations of these techniques are.Algorithms and Computation in Mathematics,2512-3254 ;30Discrete mathematicsDifferential equationsComputer scienceMathematicsDiscrete MathematicsDifferential EquationsSymbolic and Algebraic ManipulationEquacions diferencials linealsthubLlibres electrònicsthubDiscrete mathematics.Differential equations.Computer scienceMathematics.Discrete Mathematics.Differential Equations.Symbolic and Algebraic Manipulation.Equacions diferencials lineals381515.354Kauers Manuel1438649MiAaPQMiAaPQMiAaPQBOOK9910760255203321D-Finite Functions3600298UNINA