| ← Август 2011 → | ||||||
|
2
|
3
|
4
|
5
|
6
|
||
|---|---|---|---|---|---|---|
|
8
|
9
|
10
|
11
|
12
|
13
|
14
|
|
17
|
18
|
19
|
20
|
21
|
||
|
22
|
23
|
24
|
25
|
26
|
28
|
|
|
29
|
30
|
31
|
||||
За последние 60 дней ни разу не выходила
Сайт рассылки:
http://www.gap-system.org/ukrgap/
Открыта:
05-02-2002
Статистика
0 за неделю
Система компьютерной алгебры GAP: MEGA2011 - Special Issue of the Journal of Symbolic Computation
Special Issue of the Journal of Symbolic Computation on the occasion of MEGA 2011 Any researcher interested in the topics of the MEGA conference is invited to submit a paper for a Special Issue of the Journal of Symbolic Computation. The topics are: effective methods and theoretical and practical complexity issues in commutative algebra, geometry, real geometry, algebraic number theory, algebraic geometry, arithmetic geometry and related fields: algebraic analysis of differential equations, differential ge...
Система компьютерной алгебры GAP: 5th Parallel Tools Workshop
* 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 Universitaet Dresden close to the pittoresque and lively ci...
Система компьютерной алгебры GAP: HPC-Europa2 Call for Applications
HPC-Europa2 Call for Applications: Deadline 5 September 2011 http://www.hpc-europa.eu/ HPC-Europa consortium is calling for applications from researchers working in Europe to visit one of more than 200 european research institutes associated with the Transnational Access programme. Visitors will use HPC-Europa's High Performance Computing (HPC) facilities to advance their research, while collaborating with scientists from an appropriate local research institute. The deadline for the next round of applicati...
Система компьютерной алгебры 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...
