| ← Октябрь 2024 | ||||||
|
1
|
2
|
3
|
4
|
5
|
6
|
|
|---|---|---|---|---|---|---|
|
7
|
8
|
9
|
10
|
11
|
12
|
13
|
|
14
|
15
|
16
|
17
|
18
|
19
|
20
|
|
21
|
22
|
23
|
24
|
25
|
26
|
27
|
|
28
|
29
|
30
|
31
|
|||
За последние 60 дней ни разу не выходила
Сайт рассылки:
http://www.gap-system.org/ukrgap/
Открыта:
05-02-2002
Система компьютерной алгебры GAP (http://www.gap-system.org) - свободно распространяемая, открытая и расширяемая система для алгебраических вычислений, задуманная в 1986 г. как инструмент комбинаторной теории групп, и распространившаяся впоследствии на другие разделы алгебры. Рассылка Украинской группы пользователей системы GAP (http://www.gap-system.org/ukrgap/) содержит новости системы GAP (преимущественно о выходе новых версий системы и пакетов для нее) и анонсы материалов сайта. Кроме того, одним из главных направлений рассылки является публикация объявлений о конференциях, связанных с вычислительной алгеброй. Эти объявления публикуются без перевода на языке оригинала, что позволяет сократить до минимума затраты времени на подготовку выпуска. Отбор конференций для объявления в рассылке осуществляется по личному усмотрению ведущего, поэтому для более полной информации рекомендуем также конференции, объявленные на сайтах AMS, EMIS, FDLIST, alg.announce, AMCA, LMS.
Статистика
0 за неделю
Система компьютерной алгебры GAP: International Spring School on FORMALIZATION OF MATHEMATICS
This might be of interest to CIRCA. International Spring School on FORMALIZATION OF MATHEMATICS Sophia Antipolis, France March 12-16, 2012 http://www.inria.fr/sophia/marelle/Map-Spring-School.html Overview and topics A growing population of mathematicians, computer scientists, and engineers use computers to construct and verify proofs of mathematical results. Among the various approaches to this activity, a fruitful one relies on interactive theorem proving. When following this approach, researchers have t...
Система компьютерной алгебры GAP: MAP2011 workshop
We would like to announce the MAP2011 workshop which will take place on November 28 - December 2, 2011. The program will include: Tutorials Mohamed Barakat (Kaiserslautern) and Alban Quadrat (INRIA Saclay) - D-modules Alex Simpson (Edinburgh) and Martin Escardo (Birmingham- Categorical axioms for functional real-number computation Invited talks Jeremy Avigad (CMU- Proof theory and formalization of mathematics Martin Hyland (Cambridge) - Type theory, homotopy and higher categories Georges Gonthier (Microsof...
Система компьютерной алгебры GAP: новый архив пакетов
Добрый день! Вслед за обновлением архивов пакетов на сайте GAP до версий по состоянию на 2011_08_11-12_32_UTC был обновлен и экспериментальный дистрибутив системы GAP для Windows: http://www.gap-system.org/ukrgap/wininst/wininstr.htm Новый архив пакетов packages-2011_08_11-12_32_UTC.exe находится тут: ftp://ftp.gap-system.org/pub/gap/windowsinstaller/ Александр Коновалов ...
Система компьютерной алгебры GAP: новый архив пакетов
Добрый день! Обновлен архив пакетов на сайте GAP - текущий архив датирован 2011_08_11-12_32_UTC. Соответственно, новые версии пакетов также отражены тут: http://www.gap-system.org/Packages/packages.html . По сравнению с предыдущим архивом, выпущенным в мае 2011 г, новый архив содержит обновления следующих пакетов: alnuth atlasrep crime crisp examplesforhomalg fr gauss gaussforhomalg gradedmodules gradedringforhomalg homalg homalgtocas idrel io_forhomalg liealgdb localizeringforhomalg matricesforhomalg modu...
Система компьютерной алгебры GAP: Мальцевские чтения
МАЛЬЦЕВСКИЕ ЧТЕНИЯ 2011 Второе извещение С 11 по 14 октября 2011 года в Новосибирске пройдут очередные "Мальцевские чтения. В этом году конференция опять юбилейная: она посвящается 60-летию чл-корр. РАН Сергея Савостьяновича Гончарова. Программный комитет конференции возглавляет академик РАН Ю.Л. Ершов. К участию приглашаются специалисты по теории групп, теории колец, теории моделей, универсальной алгебре, математической логике, теории вычислимости, математическим методам в программировании, другим близким...
Система компьютерной алгебры GAP: MACIS 2011
[Apologies if you receive multiple copies] MACIS 2011 - Fourth International Conference on Mathematical Aspects of Computer and Information Sciences Beijing, China, October 19-21, 2011 http://macis2011.cc4cm.org/ CALL FOR PAPERS MACIS is a series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, des...
Система компьютерной алгебры GAP: EuroMPI 2011
[Our apologies if you receive multiple copies] CALL FOR PARTICIPATION EuroMPI 2011 Santorini, Greece September 18-21, 2011 www.eurompi2011.org BACKGROUND AND TOPICS EuroMPI is the primary meeting where the users and developers of MPI and other message-passing programming environments can interact. The 18th European MPI Users' Group Meeting will be a forum for the users and developers of MPI, but also welcome hybrid programing models that combine message passing with programming of modern architectures such...
Система компьютерной алгебры GAP: 5th Parallel Tools Workshop
[Apologies if you receive multiple copies of this message] * CALL FOR PARTICIPATION * 5th Parallel Tools Workshop Dresden, Germany 26-27 September 2011 http://tools.zih.tu-dresden.de/2011 * ABOUT THE WORKSHOP The Center for Information Services and High Performance Computing Dresden (ZIH) is very pleased to announce the 5th Parallel Tools Workshop, which is organized jointly with the High Performance Computing Center Stuttgart (HLRS. The workshop is a two day event taking place on the campus of Technische ...
Система компьютерной алгебры GAP: CASC 2011
Dear colleages, the 13th International Workshop in Computer Algebra in Scientific Computing, CASC 2011, will be held in the city of Kassel, Germany, September 5-9, 2011. Registration for CASC 2011 is now open on http://www14.in.tum.de/CASC2011/ . Best regards, Wolfram Koepf, PC Chair ...
Система компьютерной алгебры GAP: SYNASC 2011, Timisoara, Romania
Call for Papers - SYNASC 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 26-29, 2011, Timisoara, Romania http://synasc11.info.uvt.ro/ Aim - SYNASC aims to stimulate the interaction between the two scientific communities of symbolic and numeric computing and to exhibit interesting applications of the areas both in theory and in practice. The choice of the topic is motivated by the belief of the organizers that the dialogue between the two communities i...
