| ← Май 2010 → | ||||||
|
1
|
2
|
|||||
|---|---|---|---|---|---|---|
|
3
|
4
|
5
|
6
|
7
|
8
|
|
|
11
|
12
|
13
|
14
|
15
|
16
|
|
|
18
|
19
|
20
|
||||
|
24
|
25
|
26
|
27
|
28
|
29
|
30
|
За последние 60 дней ни разу не выходила
Сайт рассылки:
http://www.gap-system.org/ukrgap/
Открыта:
05-02-2002
Статистика
0 за неделю
Система компьютерной алгебры GAP: Final Announcement BLAST 2010
* Final Announcement BLAST 2010 * * June 2, 2010 to June 6, 2010 * * The third meeting of the BLAST (Boolean Algebras, Lattices, Algebra, Set Theory, and Topology) conferences will be held in Boulder, Colorado from June 2, 2010 to June 6, 2010. There will be invited talks by Mohamed Bekkali, Ken Kunen, Ralph McKenzie, Judith Roitman, David Milovich, Grigor Sargsyan, Juris Steprans, and Friedrich Wehrung. There will also be tutorials by Andreas Blass, Gary Gruenhage, Matatyahu Rubin, and Ross Willard. For m...
Система компьютерной алгебры GAP: Symbolic Computation and its Applications
CALL FOR PARTICIPATION - SCA 2010 Symbolic Computation and its Applications Maribor, Slovenia June 30, 2010 to July 2, 2010 http://www.camtp.uni-mb.si/camtp/SCA/ The conference is organized by the Center for Applied Mathematics and Theoretical Physics (CAMTP) of University of Maribor. It will be held at hotel Piramida in Maribor from June 30, 2010 to July 2, 2010. The conference will be devoted to presentation and discussion of new developments in symbolic computation and their applications to various theo...
Система компьютерной алгебры GAP: Hybrid Methodologies for Symbolic-Numeric Computation
First Announcement SIAM/MSRI Workshop on Hybrid Methodologies for Symbolic-Numeric Computation November 17-19, 2010 Mathematical Sciences Research Institute, Berkeley, California http://www.scg.uwaterloo.ca/siam-msri-hybrid The topic, hybrid methods, plays an ever increasing role in technical computation. We nowadays see a proliferation both of numeric algorithms that use symbolic methods, and primarily symbolic algorithms that use numeric methods. Our hope is to bring together practitioners from both real...
Система компьютерной алгебры GAP: Coq Workshop (Coq-2) at FLOC
Dear Colleague, Please consider attending the Federated Logic Conference (FLoC) and especially the Coq Workshop (Coq-2) Edinburgh, July 9th, 2010 The early registration deadline is May 17th. http://www.floc-conference.org http://coq.inria.fr/coq-workshop/2010 The Coq workshop will bring together Coq users, developers and contributors. It will be organized from submitted and refereed presentations and more informal presentations. Please register and come participate in the discussions, even if you do not wi...
