Program. icms2006---developer's meeting

This is a tentative program at July 25. There may be changes.

Session 1. New Developments on Computer Algebra Packages, Andres Iglesias, Tetsuo Ida

  Date: Sep 3. Morning and Afternoon.
 

• Alfred G. Noel, A general computational scheme for testing admissibility of nilpotent orbits of real Lie groups of inner type ,(moved to Sep 1, Evening) , atlas , LNCS 4151
• A. Iglesias, R. Ipanaque, R.T. Urbina, Symbolic Manipulation of Bspline Basis Functions with Mathematica
• V. Alvarez, J.A. Armario, M.D. Frau, P. Real, A Mathematica notebook for computing the homology of iterated products of groups , LNCS 4151
• Vitaly Eltekov, Applications of Planner B in Mathematical Logic
• Igor Gachkov, Package CodingTheory.m in Mathematica for finding quasi-perfect codes
• Xin Li, Marc Moreno Maza, Efficient Implementation of Polynomial Arithmetic in a Multiple-level Programing Environment , Aldor , LNCS 4151
• Masayoshi Sekiguchi, Satoshi Yamashita, and Setsuo Takato, Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures , KETpic , LNCS 4151
• Hitoshi Yanami, Hirokazu Anai, SynRAC: A Maple Toolbox for solving real algebraic constraints
• Akemi Galvez, Andres Iglesias, Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces , LNCS 4151

Session 2. Interfacing Computer Algebra and Mathematical Visualization, Konrad Polthier

  Date: Sep 1. Morning.
 

• Predrag Janicic, GCLC --- A Tool for Constructive Euclidean Geometry and More than That , GCLC , LNCS 4151
• Tim Hoffmann and Markus Schmies, jReality, jtem, and oorange --- a way to do math with computers , jReality , Oorange , LNCS 4151
• Christopher Creutzig, MuPAD's graphics system , MuPad , LNCS 4151
• Hans-Christian Hege, Spatio-Temporal Structures in Real-World Data -- Extraction and Visualization

Session 3. Computer Mathematics, Freek Wiedijk, advisory organizer: Henk Barendregt

  Date: Sep 3. Morning and Afternoon.
 

• Georges Gonthier, TBA
• Jeremy Avigad, TBA
• Tom Hales, TBA
• John Harrison, Hol Light , hol_light
• John Harrison, Plenary lecture: TBA
• Andrzej Trybulec, Mizar , Mizar
• Rob Arthan, ProofPower , ProofPower
• Laurent Thery, Coq , Coq

Session 4. Software for Algebraic Geometry and Related Topics, Nobuki Takayama, advisory organizer: Gert-Martin Greuel

  Date: Sep 3. Morning and Afternoon.
 

• Masayuki Noro, An Efficient Implementation for Computing Groebner bases over algebraic number fields , asir , LNCS 4151
• M. Caboara, S. Faridi and P. Selinger, Tree checking for Sparse Complexes , CoCoA4 , LNCS 4151 , Preprint , Interactive on KNOPPIX
• Amir Hashemi, Strong Noether Position , SNP
• Daniel Lichtblau, Cylinders Through Five Points: Computational Algebra and Geometry , Preprint , Interactive notebook
• Fabrizio Caruso, The SARAG Library , book_with_sarag , SARAG , LNCS 4151
• G.Pfister, On the implementation of resolution of singularities in Singular , Singular
• Oliver Labs, Real-time interactive visualization of deformations of singularities , surfex
• Francisco Castro Jimenez, Explicit calculations in rings of differential operators and applications
• Francisco J. Caldereron Moreno --- Luis Narvaez Macarro, Intersection Complexes by means of logarithmic D-modules , LNCS 4151
• Viktor Levandovskyy, Plural, a Non-commutative Extension of Singular: Past, Present and Future , Singular , LNCS 4151

Session 5. Number Theoretical Software, Ken Nakamula, Michael Pohst

  Date: Sep 1. Morning.
 

• Sergey S. Lyalin, Nikolai Yu. Zolotykh, Arageli: a Library for Algebraic Computations. Overview of Architecture. , Arageli , Preprint
• MATSUI Tetsushi, Development of NZMATH , NZMATH , LNCS 4151
• Sebastian Freundt, Aneesh Karve, Anita Krahmann, Sebastian Pauli, KASH: Recent Developments , kash , giant , LNCS 4151
• Takashi, Fukuda, TC - an interpreter of multi-precision C language , TC , Preprint

Session 6. Methods in Computational Number Theory, David Sevilla, Jaime Gutierrez

  Date: Sep 1. Afternoon.
 

• Daniel Lichtblaun, Making Change and Finding Repfigits: Balancing a Knapsack ,(moved to Sep 2, Evening.) , LNCS 4151 , Interactive notebook
• Niels Moller, Robust HGCD with No Backup Steps , LNCS 4151
• Feng Wang, Yasuyuki Nogami, and Yoshitaka Morikawa, A High-Speed Square Root Algorithm in Extension Fields , Preprint
• Hirehiro Katou, Yasuyuki Nogami, Yoshitaka Morikawa, Cyclic Vector Multiplication is Efficient for Small Extension Degrees , Preprint

Session 7. Free Software for Computer Algebra, Joris Van der Hoeven

  Date: Sep 1. Morning and Afternoon.
 

• Dan Grayson, Macaulay 2 , Macaulay2
• SBA, Singular , Singular
• John Abbott, The design of CoCoALib , CoCoALib , LNCS 4151
• Olivier Ruatta, Mathemagix
• Richard Kreckel, Ginac , GiNaC
• Bernard Mourrain, Synaps , SYNAPS
• Andrey Grozin, TeXmacs , TeXmacs
• R. Rioboo, Focal
• M. Moreno Maza, Axiom , axiom
• Jean-Guillaume Dumas, Linbox , Linbox

Session 8. Software for Optimization and Geometric Computation, Komei Fukuda, Michael Joswig

  Date: Sep 2. Morning and Afternoon.
 

• Lars Schewe, Generation of oriented matroids using satisfiability solvers , LNCS 4151
• Ewgenij Gawrilow, Michael Joswig, Flexible object hierarchies in polymake , polymake , LNCS 4151
• Anders Nedergaard Jensen, A presentation of the Gfan software , Gfan , LNCS 4151
• Anton Leykin, Jan Verschelde, and Yan Zhuang, Parallel Homotopy Algorithms to Solve Polynomial Systems , PHCpack , LNCS 4151
• Manuel Abellanas and Alfredo Vegas, DEpthLAUNAY , DEpthLAUNAY , LNCS 4151
• Peter M Huggins, iB4e: A Software Framework for Parametrizing Specialized LP Problems , LNCS 4151
• Thomas Gerstner and Markus Holtz, Algorithms for the Cell Enumeration and Orthant Decomposition of Hyperplane Arrangements
• Colin N. Jones, Jan M. Maciejowski, Primal-Dual Enumeration for Multiparametric Linear Programming , multi_parametric_toolbox , LNCS 4151
• Joshua D. Griffin, Tamara G.Kolda, A parallel, asynchronous method for derivative-free nonlinear programs , LNCS 4151
• Jean B. Lasserre, Plenary lecture: Moments, Sum of Squares and Semidefinite Programming , GloptiPoly , multi_parametric_toolbox , LNCS 4151

Session 9. Methods and software for computing mathematical functions, Amparo Gil, Javier Segura

  Date: Sep 2. Morning (and Afternoon).
 

• Mark Korenblit and Efraim Shmerling, Algorithm and Software for Integration Over a Convex Polyhedron , LNCS 4151
• Joris Van Deun, Ronald Cools, A Matlab implementation of an algorithm for computing integrals of products of Bessel functions , BESSELINT , LNCS 4151
• Alfredo Deano, Amparo Gil, Javier Segura, Computation of the real zeros of the Kummer function M(a;c;x) , LNCS 4151
• Annie Cuyt, Stefan Becuwe, Towards reliable software for the evaluation of a class of special functions , libMpIeee , LNCS 4151
• Nico M. Temme, Numerical Aspects of Special Functions
• Nathalie Revol, Computation of the error functions erf and erfc in arbitrary precision with correct rounding

Session 10. Access to Mathematics on the Web, Paul Libbrecht

  Date: Sep 1. Afternoon.
 

• Zur'aini Dahlan and Noraimi Shafie, Multimedia Prototype of a Bilingual Model within Technology Based Learning Environment: An Implementation of a Mathematics Learning Framework. , LNCS 4151
• Paul Libbrecht and Erica Melis, Methods to Access and Retrieve Mathematical Content in ActiveMath , ActiveMath , LNCS 4151
• Klaus Grue, Logiweb, a system for web publication of mathematics , Logiweb , LNCS 4151
• Josef Urban, Accessing Mizar and its Semantics on the Web , Mizar

Session 0. General

  Date: Sep 2. Morning, afternoon, evening.
 

• Anton Leykin, Jan Verschelde, Interfacing with the Numerical Homotopy Algorithms in PHCpack , PHCmaple , LNCS 4151
• Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, and Asem Kasem, Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami , webOrigami , LNCS 4151
• H.M. Buecker, A. Elsheikh, A. Vehreschild, A System for Interfacing MATLAB with External Software Geared Toward Automatic Differentiation , LNCS 4151
• Joris Van der Hoeven, GNU TeXmacs: an editing platfome for scientists , TeXmacs
• Tatsuyoshi Hamada, Kuniyasu Suzaki, Kengo Iijima and Arimitsu Shikoda, KNOPPIX/Math: Portable and distributable collection of mathematical software and free documents , knoppix_math , LNCS 4151
• Fabrizio Caruso, Carlo Traverso, Active Journal: an infrastructure to document algorithmic research
• Kazuhiro Yokoyama, Stability of Parametric Decomposition , LNCS 4151
• Manuel Delgado and Jose Morais, On the GAP package sgpviz , sgpviz , LNCS 4151
• Francois Descouens, Making research on (q,t)-deformations of Symmetric Functions using the MuPAD package MuPAD-Combinat , MuPAD-Combinat , LNCS 4151
• Ainhoa Berciano-Alcaraz, Symbolic software to compute $A_\infty$-structures , KENZO , araia_craic , Preprint
• Alvarez, Armario, Frau and Real, Calculating cocyclic Hadamard matrices in Mathematica: exhaustive and heuristic searchs , LNCS 4151
• Hiromasa Nakayama, An Interactive User Interface for Division Algorithms and the Buchberger Algorithm , caa , OpenXM , LNCS 4151
• Hirokazu Murao, Experiment of multithreading symbolic and algebraic computations with OpenMP , asir , LNCS 4151