|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://theory.sinp.msu.ru/pipermail/computer_algebra/2002-January/000036.html
Дата изменения: Sat Apr 20 20:06:31 2002 Дата индексирования: Tue Oct 2 08:16:21 2012 Кодировка: koi8-r |
Dear Colleagues!
Next seminar on Computer Algebra will be in Wednesday, January, 16, 17:00
(room 3-24, building KFVE, Institute of Nuclear Physics, Moscow State
University).
See more details in
http://theory.sinp.msu.ru/CA
Best wishes, A.Kryukov
========================================================================
Serge D. Mechveliani
(Program Systems Institute, Pereslavl-Zalessky, Russia)
Functional programming and
categorial approach in computer algebra.
Annotation
----------
We consider the design principles for programming mathematics by
using categorial approach, functional programming and `lazy'
computation model.
We analyze the experience of programming in the Haskell language
such methods of commutative algebra as arithmetic of polynomials,
fractions, Groebner bases, factorization, and such.
The words `categorial approach' mean certain generic way of setting
programs `as in Aldor-Axiom system'.
We make clear the relation of the Haskell language and the program
being presented (DoCon - the algebraic Domain Constructor) to the
known system Aldor-Axiom.
===============
С.Д.Мешвелиани
(Институт Программных систем РАН, г. Переславль-Залесский).
Функциональное программирование и
категорный подход в вычислительной алгебре.
Исследуются способы построения программы для символьных
вычислений в математике при применении категорного подхода, а
также функционального программирования и `ленивого' способа
вычислений.
Разбирается опыт программирования на языке Haskell методов
коммутативной алгебры: арифметика многочленов, дробей,
базис Гребнера, факторизация и других.
Слова `категорный подход' означают общий способ программирования
`как в системе Aldor-Axiom'.
Выясняется отношение языка Хаскел и представляемой Хаскел программы
(Построитель алгебраических областей) к известной системе
Aldor-Axiom.