Watt
2012
|
PROGRAM OF Watt 2012
The Watt Workshop on Symbolic Computation
Saturday 22 September 2012
Edinburgh, Scotland
Room EM 1.70
10:00 - 10:50 |
A Cluster of Languages for Mathematical Computing
Stephen Watt
|
10:50 - 11:40 |
Ursula Martin
Online/off line - mathematical culture in the age of the internet
|
11:40-12:30 |
On the Computerisation of Mathematics
slides
Fairouz Kamareddine
|
12:30 - 14:00 |
BREAK |
14:00 - 14:50 |
Interactive vs. automated proofs in computational origami
slides
Tetsuo Ida
|
14:50 - 15:40 |
SymGrid-Par: a System for Parallel Symbolic Computation on Large-scale Distributed Systems
slides
Hans-Wolfgang Loidl
|
15:40 - 17:00 |
DEMO and DISCUSSION
15:40 - 16:10
A demo of the "Symbolic Computation Software Composability Protocol and Its Implementation"
Alexander Konovalov
16:10 - 17:00
Discussion
|
|