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

Автор

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

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

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

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

Вышла новая версия системы 0.8.1 системы ограничительного программирования (constraint programming) Minion: Minion version 0.8.1 has now been released at sourceforge. Cygwin, Linux and Mac binaries and the source can be downloaded from http://minion.sourceforge.net . Changelog: Improvements: - the code was cleaned up and modularised to be more easily understandable and modifiable - more information is made available in INFO mode - some minor bugfixes Performance enhancements: - bound checks for Boolean var...

2009-04-07 01:03:59 + Комментировать Автор:

Система компьютерной алгебры GAP: East Coast Computer Algebra Day (ECCAD)

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

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

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

EAST COAST COMPUTER ALGEBRA DAY 2009 Saturday, May 2, 2009 University of Rhode Island Kingston, RI 02881 http://www.cs.uri.edu/eccad2009/ East Coast Computer Algebra Day (ECCAD) is an informal one-day meeting for those active or interested in computer algebra. It provides opportunities to learn and to share new results and work in progress. The schedule includes invited speakers, a panel discussion, and contributed posters and software demonstrations. Importantly, plenty of time is allowed for unstructured...

2009-04-06 23:04:29 + Комментировать Автор:

Система компьютерной алгебры GAP: The Second Answer Set Programming Competition

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

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

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

The Second Answer Set Programming Competition Call For Participation K.U.Leuven, Belgium, spring 2009 http://www.cs.kuleuven.be/~dtai/events/ASP-competition/ The second ASP competition is a Modeling and Solving competition open to all declarative problem solving systems from areas such as ASP, SAT and CP. In the competition, both satisfiability problems and optimization problems need to be solved. Each team submits a solver and modelings for all benchmark problems. These are used to solve a number of insta...

2009-04-06 22:29:40 + Комментировать Автор:

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

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

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

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

AUTOMATIC DEDUCTION IN GEOMETRY ADG 2008 CALL FOR PAPERS, POST-CONFERENCE PROCEEDINGS Dear ADG 2008 speakers and participants, dear friends of ADG: This is about ADG 2008 post-publication. We are sorry for being late. Here is the publication plan. 1. The proceedings of ADG 2008 will be published in the LNAI series by Springer-Verlag. You are invited to submit original research papers (of 10-30 pages) for possible publication in the proceedings. Your contributions have to be within the scope of ADG (see htt...

2009-04-06 22:18:02 + Комментировать Автор:

Система компьютерной алгебры GAP: Session on High-Performance Computer Algebra

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

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

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

Session on High-Performance Computer Algebra Applications of Computer Algebra (ACA 2009) June 25-28, 2009, Montreal, Quebec, Canada http://aca2009.etsmtl.ca C A L L f o r P A R T I C I P A T I O N Initial Announcement Overview: Improved algorithms, better implementations, and faster computers have enabled many previously time-consuming computer algebra computations to be performed routinely and have extended the range of what is practically possible to compute. However, there remains many computations that...

2009-04-06 21:23:20 + Комментировать Автор:

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

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

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

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

Dear Colleagues, If you plan to take part in the Ukrainian Mathematical Congress, we would like to ask you to register and to send an abstract: http://www.imath.kiev.ua/~congress2009/en/reg-form.html More information about the congress (including the preliminary list of registered participants) is available at the congress web-site http://www.imath.kiev.ua/~congress2009/en/ and mirrored at http://www.gap-system.org/ukrgap/umc09/en/ Sincerely yours, organizers ...

2009-04-06 21:04:00 + Комментировать Автор:

Система компьютерной алгебры GAP: Workshop on Programming Languages for Mechanized

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

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

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

The ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems PLMMS 2009 Munich, Germany; August 21, 2009 http://plmms09.cse.tamu.edu/ CALL FOR PAPERS The ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems will be co-located with TPHOLs 2009. General Information The scope of this workshop is at the intersection of programming languages (PL) and mechanized mathematics systems (MMS. The latter category subsumes present-d...

2009-04-05 18:46:55 + Комментировать Автор:

Система компьютерной алгебры GAP: 7th International Algebraic Conference in Ukraine

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

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

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

7th INTERNATIONAL ALGEBRAIC CONFERENCE IN UKRAINE Second Announcement 1. General Information The 7th International Algebraic Conference in Ukraine dedicated to the 120th anniversary of Professor Anton Kazimirovich Sushkevich will take place on August 13-17, 2009 in Kharkov. The Conference is organized jointly by Institute of Mathematics of National Academy of Sciences of Ukraine, Kyiv Taras Shevchenko National University and Kharkov V. N. Karazin National University. 2. Organizers Organizing committee Coch...

2009-04-05 16:59:57 + Комментировать Автор:

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

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

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

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

% % % % SCSS 2009 % % TUNISIA - JAPAN WORKSHOP % % ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE % % % % September 22-24, 2009 % % Gammarth, Tunisia % % % % http://www2.score.cs.tsukuba.ac.jp/scssWorkshop/index.html % % % % IMPORTANT DATES = Abstract submission: May 29, 2009 Acceptance notification: June 22, 2009 Final versions of full papers: August 30, 2009 Workshop: September 22-24, 2009 SCOPE = Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic ob...

2009-04-05 16:35:09 + Комментировать Автор:

Система компьютерной алгебры GAP: 8th Tbilisi Symposium on Language, Logic and Computation

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

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

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

Call for Papers THE EIGHTH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION 21 - 25 September 2009 Bakuriani, Georgia Submission deadline: 1 May 2009 Website: http://www.illc.uva.nl/Tbilisi2009/ The Eighth International Tbilisi Symposium on Language, Logic and Computation will be held on 21 - 25 September 2009 in Bakuriani, Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University and the Georgian Academy of Sciences, in conjunction with ...

2009-04-05 15:23:49 + Комментировать Автор: