Skip to content

Sections
Personal tools
You are here: Home Invited talks
Document Actions

Invited talks


Bruno Buchberger

Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria,
bruno.buchberger@risc.uni-linz.ac.at

Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher

Abstract


Vladimir Gorodetsky

St. Petersburg Institute for Informatics and Automation, 39, 14-th Liniya, St. Petersburg, 199178, Russia,
gor@iias.spb.su

P2P Open Agent Networks for Decision Making

                         joint work with Oleg Karsaev, Vladimir Samoylov, Sergey Serebryakov

Abstract


__________________________________________________________________________________________


Mark Proctor

Redhat


Relational Declarative Programming with JBoss Drools


Abstract

__________________________________________________________________________________________

Kevin Hammond

Faculty of Mathematics and Computational Sciences

University of St. Andrews, UK

kh@cs.st-and.ac.uk

SymGrid: a Framework for Symbolic Computations on the Grid

Abstract

__________________________________________________________________________________________

Tetsuo Ida

Department of Computer Science
University of Tsukuba
Tsukuba 305-8573, Japan

ida@cs.tsukuba.ac.jp

                                                                                                 
Modeling Origami and Beyond

Abstract


________________________________________________________________________________

                                                                                 School of Mathematical and Computer Science

                                                                                     Heriot-Watt University, Edinburgh, Scotland

                                                                                                    fairouz@macs.hw.ac.uk


The gradual computerisation of mathematics in MathLang

Abstract

________________________________________________________________________________

Charles Chidume

International Centre for Theoretical Physics, Trieste, Italy

chidume@ictp.it

On the Mann iteration process

________________________________________________________________________________

Ioan A. Rus

Babes-Bolyai University, Cluj-Napoca, Romania

iarus@math.ubbcluj.ro

Some application of weakly Picard operators


________________________________________________________________________________


                                                                                          

Department of Internet Technology

Institute of Informatics

Brandenburg University of Technology, Cottbus, Germany

giurca@tu-cottbus.de

Tutorial: Rule modeling and rule interchange

Abstract

_______________________________________________________________________________________
 

© 2001-2012 SYNASC 2007 - Contact: synasc07@info.uvt.ro