Wyniki wyszukiwania:

This is a two volume introduction to the computational solution of differential equations using a unified approach organized around the adaptive finite element method. It presents a synthesis of mathematical modeling, analysis, and computation. The goal is to provide the student with theoretical and practical tools useful for addressing the basic questions of computational mathematical modeling in science and engineering: How can we model physical phenomena using differential equations? What are the properties of solutions of differential equations? How do we compute solutions in practice?...

This volume contains papers presented at the secondinternational workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions, applications, and programming methodologies.The first workshop in this series was held in T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop...