Download or read book The Symbolic Computation of Series Solutions to Ordinary Differential Equations Using Trees Extended Abstract written by National Aeronautics and Space Adm Nasa and published by Independently Published. This book was released on 2019-01-03 with total page 30 pages. Available in PDF, EPUB and Kindle. Book excerpt: Algorithms previously developed by the author give formulas which can be used for the efficient symbolic computation of series expansions to solutions of nonlinear systems of ordinary differential equations. As a by product of this analysis, formulas are derived which relate to trees to the coefficients of the series expansions, similar to the work of Leroux and Viennot, and Lamnabhi, Leroux and Viennot. Grossman, Robert NASA-CR-190333, NAS 1.26:190333 NAG2-513...

Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1994 with total page 836 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Government Reports Announcements Index written by and published by . This book was released on 1992 with total page 1642 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book CAAP 86 written by Paul Franchi-Zannettacci and published by Springer Science & Business Media. This book was released on 1986-03 with total page 316 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Lie Groups and Lie Algebras I written by V.V. Gorbatsevich and published by Springer Science & Business Media. This book was released on 1996-12-18 with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt: From the reviews: "..., the book must be of great help for a researcher who already has some idea of Lie theory, wants to employ it in his everyday research and/or teaching, and needs a source for customary reference on the subject. From my viewpoint, the volume is perfectly fit to serve as such a source, ... On the whole, it is quite a pleasure, after making yourself comfortable in that favourite office armchair of yours, just to keep the volume gently in your hands and browse it slowly and thoughtfully; and after all, what more on Earth can one expect of any book?" --The New Zealand Mathematical Society Newsletter

Download or read book Government Reports Annual Index written by and published by . This book was released on 1992 with total page 1730 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Design and Implementation of Symbolic Computation Systems written by Alfonso Miola and published by Springer Science & Business Media. This book was released on 1993-09-02 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '93), held in Gmunden, Austria, in September 1993. The growing importance of systems for symbolic computation has greatly influenced the decision of organizing this third conference in the series: DISCO '93 focuses mainly on the most innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computation, automated reasoning, geometric modeling and computation, and automatic programming. The general objective of DISCO '93 is to present an up-to-date view of the field and to serve as a forum insymbolic computation for the scientific exchange among academic, industrial and user communities. Besides invited talks by Buchberger, Monagan, Omodeo and Hong, the volume contains 28 contributions, carefully selected by a highly competent international program committee from a total of 56 submissions.

Download or read book Mathematical Reviews written by and published by . This book was released on 2007 with total page 868 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Nuclear Science Abstracts written by and published by . This book was released on 1976 with total page 934 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computer Algebra in Scientific Computing written by V.G. Ganzha and published by Springer. This book was released on 2006-11-30 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC 2006. The book presents 25 revised full papers together with 2 invited papers, covering various expanding applications of computer algebra to scientific computing, the computer algebra systems themselves, and the CA algorithms. Topics addressed are studies in Gröbner bases, polynomial algebra, homological algebra, quantifier elimination, celestial mechanics, and more.

Download or read book NBS Special Publication written by and published by . This book was released on 1968 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computer Literature Bibliography 1964 1967 written by W. W. Youden and published by . This book was released on 1965 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Science Abstracts written by and published by . This book was released on 1964 with total page 642 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computer Control Abstracts written by and published by . This book was released on 1996 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Logic for Programming Artificial Intelligence and Reasoning written by Nikolaj Bjørner and published by Springer Science & Business Media. This book was released on 2012-02-24 with total page 456 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

Download or read book Dissertation Abstracts International written by and published by . This book was released on 2006 with total page 848 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Applied Stochastic Differential Equations written by Simo Särkkä and published by Cambridge University Press. This book was released on 2019-05-02 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: With this hands-on introduction readers will learn what SDEs are all about and how they should use them in practice.