Computer Algebra in Applications to the Problems of Integrability
Friday 16th November 2001 to Saturday 17th November 2001
14:00 to 14:45 
JC Faugere ([Paris 6]) About a new generation of algorithms for solving polynomial systems and some applications Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 
14:45 to 15:30 
AA Alexeyev ([Moscow TU/Durham]) Multidimensional superposition principle and invariant manifolds of soliton type Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 
15:30 to 16:00 
Tea Session: Computer Algebra in Applications to the Problems of Integrability 

16:00 to 16:45 
T Wolf ([Brock/Ontario]) Solving bilinear algebraic systems for the classification of integrable polynomial vector evolution equations Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 
16:45 to 17:30 
SP Tsarev ([Krasnoyarsk]) Integrability and factorisation of nonlinear and linearised differential equations Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 
17:30 to 18:30 
Wine Reception at the Newton Institute Session: Computer Algebra in Applications to the Problems of Integrability 
09:00 to 09:45 
G Reid ([London/Ontario]) Overview and application in differential elimination algorithms Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 
09:45 to 10:30 
B Fuchssteiner ([Paderborn]) Some foundations for the algorthmic search for LieB\"acklund symmetries Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 
10:30 to 11:00 
Coffee Session: Computer Algebra in Applications to the Problems of Integrability 

11:00 to 11:45 
R Tucker ([Lancaster]) An exterior systems approach Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 
11:45 to 12:30 
W Hereman ([Boulder]) Symbolic computation of conversed densities, generalised symmetries and recursion operators for nonlinear evolution \& lattice equations Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 
12:30 to 13:30 
Light sandwich lunch at the Newton Institute Session: Computer Algebra in Applications to the Problems of Integrability 

14:00 to 14:30 
L Mansfield ([Canterbury]) On symbolic analysis for fluid dynamics Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 
14:30 to 14:45 
N Bila ([Cambridge]) A new procedure to find nonclassical symmetries. Application to the MAPLE package DESOLV Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 
14:45 to 15:30 
M Moreno Maza ([Lille]) On computerassisted classification of coupled integrable equations Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 
15:30 to 16:00 
Tea Session: Computer Algebra in Applications to the Problems of Integrability 

16:00 to 18:00 
Individual discussions between users and programmers of symbolic software using available computers and terminals Session: Computer Algebra in Applications to the Problems of Integrability 
INI 1 