Computer Algebra Systems and Their Applications, CASA'2006

Program

Please, find below the tentative schedule for the workshop. It will be organized in four sessions (labelled acccording to the ICCS'2006 general schedule) of 100 minutes each as follows:

---

W06a: Computer Algebra Systems and Applications, CASA 2006 I

Tue, May 30 13:20 - 15:00

5 regular papers (20 min. each)

13:20 - 13:40 - (Paper ID: 23) A.Yacizi
                                       Normalizing Relational Database Schemas using Mathematica                  

13:40 - 14:00 - (Paper ID: 136) A. Iglesias
                                       Extending Maple Capabilities for Solving and Displaying Inequalities              

14:00 - 14:20 - (Paper ID: 247) B. Sautois
                                        Phase response curves, delays and synchronization in Matlab
                       
14:20 - 14:40 - (Paper ID: 336) N.K. Nicos Karcanias
                                        A Hybrid Approach for Normal Factorization of Polynomials

14:40 - 15:00 - (Paper ID: 920) A. Cepulkauskas                                       
                                        Computer Algebra for the Formation of Structural Matrices of Piezoceramic Finite Elements

W06b: Computer Algebra Systems and Applications, CASA 2006 II

Tue, May 30 16:20 - 18:00

5 regular papers (20 min. each)

16:20 - 16:40 - (Paper ID: 350) A. Gálvez
                                        Symbolic Analysis of Economical Models with Mathematica

16:40 - 17:00 - (Paper ID: 423) S.G. Jackson                                       
                                       Polarizable theta-stable parabolic subalgebras and Kc-saturation in the non-compact real forms of G2 and F4
                       
17:00 - 17:20 - (Paper ID: 750) R.L. Carino
                                        Dynamic Load Balancing with MatlabMPI

17:20 - 17:40 - (Paper ID: 896) M. Araceli Queiruga Dios
                                        Maple implementation of the Chor-Rivest cryptosystem

17:40 - 18:00 - (Paper ID: 967) M. Gastineau
                                        Development of TRIP : fast sparse multivariate polynomial multiplication using burst tries

---

W06c: Computer Algebra Systems and Applications, CASA 2006 III

Wed, May 31 10:20 - 12:00

4 regular papers (20 min. each) + 2 short papers (10 min. each)

10:20 - 10:40 - (Paper ID: 970) A.F. Pereira
                                       A Symbolic Approach to Quantum Computation Simulation                  

10:40 - 11:00 - (Paper ID: 994) H. Yanami
                                       Development of SyNRAC- real quantifier elimination based on cylindrical algebraic decomposition and visualization    

11:00 - 11:20 - (Paper ID: 1176) F. Botana                                   
                                      Automated Discovery in Elementary Extrema Problems             

11:20 - 11:40 - (Paper ID: 1453) L. Zhang                                   
                                      Stabilizing Second-order Linear Dynamic Systems Via Hybrid Output Feedback Controls             

11:40 - 12:00 SHORT PAPERS:


11:40 - 11:50 - (Paper ID: 57) A. Akritas                                    
                                      Computation of the Adjoint Matrix
              
11:50 - 12:00 - (Paper ID: 1066) H. Deguchi                                    
                                      MathBlackBoard as Effective Tool in Classroom         


12:00  END OF WORKSHOP