Отправляет email-рассылки с помощью сервиса Sendsay

spid***@l*****.by

Система компьютерной алгебры GAP - new package polymaking

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Добрый день! В архивы пакетов на сайтах системы GAP и дистрибутива GAP для Windows добавлен пакет polymaking (автор - Marc Ro:der; текущая версия 0.7.1. Пакет содержит функции для работы с системой вычислительной геометрии polymake . С уважением, Коновалов А.Б. ...

2008-03-16 00:22:01 + Комментировать Автор:

Система компьютерной алгебры GAP - ISSAC 2008 Calls for posters and software presentations

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Call for Posters ISSAC 2008 International Symposium on Symbolic and Algebraic Computation RISC, Hagenberg, Austria, July 20-23, 2008 http://www.risc.uni-linz.ac.at/issac2008/ ISSAC, the International Symposium on Symbolic and Algebraic Computation, is the premier annual gathering of the Symbolic Mathematical Computation community to present and discuss new developments and original research results in all areas of symbolic mathematical computation. The poster sessions at ISSAC are ideal avenues for present...

2008-03-15 01:53:24 + Комментировать Автор:

Система компьютерной алгебры GAP - 2nd CFP: SCSS 2008, July 12-13, 2008, Linz, Austria

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

% % % % AUSTRIAN-JAPANESE WORKSHOP % % ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE % % % % July 12-13, 2008 % % RISC (Research Institute for Symbolic Computation) % % Johannes Kepler University Linz % % Castle of Hagenberg, Austria % % % % http://www.risc.uni-linz.ac.at/conferences/scss2008/ % % % % A Workshop in the Frame of RISC Summer 2008 % % http://www.risc.uni-linz.ac.at/conferences/summer2008/ % % % % UPDATE: Invited speaker: Hoon Hong (North Carolina State University, USA) UPDATE: At the workshop, ...

2008-03-14 10:10:59 + Комментировать Автор:

Система компьютерной алгебры GAP - 3rd International Compulog/ALP Summer School

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic Sponsored by CRA-W, CDC, ALP, Compulog Americas, NMSU http://www.cs.nmsu.edu/~ipivkina/compulog.htm New Mexico State University Las Cruces, NM, USA July 24-27, 2008 The third international summer school in Logic Programming and Computation Logic will be held on the campus of New Mexico State University in beautiful Las Cruces, New Mexico. The summer school is intended for graduate students, post-doctoral students, you...

2008-03-13 17:59:38 + Комментировать Автор:

Система компьютерной алгебры GAP - 2nd CFP: PLMMS 2008, Birmingham, UK, 28-29 July 2008

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

SECOND CALL FOR PAPERS * UPDATE: Post-workshop proceedings in Journal of Automated Reasoning * UPDATE: Invited talk by Conor McBride Second Workshop on Programming Languages for Mechanized Mathematics (PLMMS 2008) http://events.cs.bham.ac.uk/cicm08/workshops/plmms/ As part of CICM / Calculemus 2008 Birmingham, UK, 28-29 July 2008 This workshop is focused on the intersection of programming languages (PL) and mechanized mathematics systems (MMS. The latter category subsumes present-day computer algebra syste...

2008-03-12 14:52:01 + Комментировать Автор:

Система компьютерной алгебры GAP - ICLP'08, Udine, Italy, December 9th-13th, 2008

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

FIRST CALL FOR PAPERS ICLP'08 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it CONFERENCE SCOPE - Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers, position papers, and posters) are sought in all areas of logic programming including but not restricted to: * Theory: Semantic Foundations, Formalisms, Nonmonotonic Reaso...

2008-03-11 14:19:00 + Комментировать Автор:

Система компьютерной алгебры GAP - LaSh08, Leuven, Belgium, November 6-7, 2008

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

LaSh08 - WORKSHOP ON LOGIC AND SEARCH Computation of structures from declarative descriptions Call For Papers Leuven, Belgium, November 6-7, 2008 http://www.cs.kuleuven.be/~dtai/LaSh08 IMPORTANT DATES: Submission: August 15, 2008 Notification: September 15, 2008 Workshop: November 6-7, 2008 SCOPE: In many real-life problems, we search for objects of complex nature - plans, schedules, assignments. Such objects are often represented as (finite) structures, which are implicitly specified by means of theories ...

2008-03-10 17:48:21 + Комментировать Автор:

Система компьютерной алгебры GAP - OpenAxiom-1.1.0

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Добрый день! Вышла новая версия системы OpenAxiom . Подробности см. ниже. С уважением, Коновалов А.Б. I'm pleased to announce that OpenAxiom-1.1.0 has been released on February 14, 2008. OpenAxiom is an open source platform for scientific and engineering computations. This is a major release with respect to previous OpenAxiom release. New features include: * batch processing: This release is the first from the Axiom family of CAS to support batch processing in the following forms: (i) it can be used as an ...

2008-03-09 01:27:47 + Комментировать Автор:

Система компьютерной алгебры GAP - SemWiki2008: Deadline extended to Monday noon

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Dear (Semantic) Wiki community, the deadline for the 3rd SEMANTIC WIKI WORKSHOP at ESWC (June 2, Tenerife, Spain) has been extended to Monday, March 10th, 2008, 12:00 GMT (just before lunchtime, no further extensions possible) That is, you have one more weekend to finish and polish your submission to SemWiki 2008 - http://semwiki.org/semwiki2008 . Clarification on demo/position paper/full paper: If you submit a position paper, please append ". (position paper)" in your title, if you submit a demo...

2008-03-08 16:55:27 + Комментировать Автор:

Система компьютерной алгебры GAP - Call for Posters ISSAC 2008

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Call for Posters ISSAC 2008 International Symposium on Symbolic and Algebraic Computation Hagenberg, Austria, July 20-23, 2008 http://www.risc.uni-linz.ac.at/issac2008/ ISSAC , the International Symposium on Symbolic and Algebraic Computation is the premier annual gathering of the Symbolic Mathematical Computation community to present and discuss new developments and original research results in all areas of symbolic mathematical computation. The Poster Sessions at ISSAC are ideal avenues for presenting re...

2008-03-07 11:24:30 + Комментировать Автор: