عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540480315
شابک
3540572724
شابک
9783540480310
شابک
9783540572725
شماره کتابشناسی ملی
شماره
b566256
عنوان و نام پديدآور
عنوان اصلي
Design and implementation of symbolic computation systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings.
نام نخستين پديدآور
John Fitch
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
(IX, 223 p.)
فروست
عنوان فروست
Lecture notes in computer science, 721.
یادداشتهای مربوط به مندرجات
متن يادداشت
Template-based formula editing in Kaava --; Algebraic simplification of multiple-valued functions --; In-place arithmetic for polynomials over Zn --; LILK - Static analysis of REDUCE code --; The extensions of the Sisyphe computer algebra system: ulysse and athena --; AlgBench: An object-oriented symbolic core system --; SymO2: Objects and classes for symbolic computation systems --; Building a Computer Algebra environment by composition of collaborative tools --; An assume facility for CAS, with a sample implementation for Maple --; REDUCE meets CAMAL --; Combinatory models and symbolic computation --; A uniform approach to deduction and automatic implementation --; A simple general purpose technique for interfacing between computer algebra and numerical analysis systems --; Recurrent relations and speed-up of computations using computer algebra systems --; Design and implementation of a retargetable ALDES compiler --; Data representation and in-built compilation in the computer algebra program FELIX --; An abstract data type development of graded rings --; An object-oriented approach to indexed mathematical objects for the manipulation of sums and series.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
DISCO 92 was held on the Newton Park campus of Bath College of Higher Education, England, April 13-15, 1992. Beside the formal lectures dedicated to design and implementation issues of computer algebra, there were several software demonstrations and an opportunity for system designers to compare systems. This volume presents the proceedings of the conference. It contains 18 papers on a variety of design and implementation issues. One general theme which clearly emerges is the need for interconnections between systems, as no one systems incorporates all the facilities that users want. Various effortsare being made to design such links, but generally in limited contexts (suchas the Maple project or the Posso project).
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Mathematics -- Data processing -- Congresses.
موضوع مستند نشده
Numerical analysis -- Congresses -- Data processing.
موضوع مستند نشده
System design -- Congresses.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
John Fitch
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
International Symposium DISCO '92
مستند نام اشخاص تاييد نشده
John Fitch
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
