Home | Aim | Commitees | Plenary speakers | List of sessions | Paper submission | Papers | Program | Registration/accommodations | Important dates | Contact information | About Kobe/Access

Tentative list of talks (June 25, 2010)

(Orders are almost random.)
1 The Reformulation-Optimization Software Engine, Liberti, Leo; Cafieri, Sonia; Savourey, David
2 The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra, Yap, Chee; Yu, Jihun; Du, Zilin; Pion, Sylvain; Bronnimman, Herve  
3 Introduction to Normaliz 2.5, Ichim, Bogdan; Bruns, Winfried; Soeger, Christof  
4 Computing polycyclic quotients of finitely (L-)presented groups via Groebner bases, Horn, Max; Eick, Bettina  
5 MD-jeep: an Implementation of a Branch & Prune Algorithm for Distance Geometry Problems, Mucherino, Antonio; Liberti, Leo; Lavor, Carlile
6 An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra, Tec, Loredana; Regensburger, Georg; Rosenkranz, Markus; Buchberger, Bruno 
7 TADD: A Computational Framework for Data Analysis using Discrete Morse Theory, Reininghaus, Jan; Hege, Hans-Christian; Prohaska, Steffen; Hotz, Ingrid; Guenth11 
8 A new algorithm for computing primary decomposition of polynomial ideals, Noro, Masayuki; 
9 Traversing Symmetric Polyhedral Fans, Jensen, Anders; 
10 An Improvement of a Function Computing Normalizers for Permutation Groups, Miyamoto, Izumi; 
11 An algorithm of computing inhomogeneous differential equations for definite integrals, Nishiyama, Kenta; Nakayama, Hiromasa 
12 Enumerating Galois Representations in Sage, Ghitza, Alexandru; Citro, Craig 
13 Towards high-performance computational algebra with GAP, Konovalov, Alexander; Neunhoeffer, Max; Luebeck, Frank; Linton, Steve; Behren 
14 Operadic Grobner bases: an implementation, Vejdemo-Johansson, Mikael; Dotsenko, Vladimir 
15 A GAP package for computation with coherent configurations, Pasechnik, Dmitrii; Kini, Keshav
16 Generating Smooth Lattice Polytopes Lorenz, Benjamin; Haase, Christian; Paffenholz, Andreas 
17 NZMATH 1.0, Tanaka, Satoru; Ogura, Naoki; NAKAMULA, Ken; Matsui, Tetsushi; Uchiyama, Shigenori 
18 Software for Exploiting Polyhedral Symmetries, Schurmann, Achill; Rehn, Thomas 
19 A new desingularization algorithm for binomial varieties in arbitrary characteristic, Blanco, Rocio; 
20 Evaluation of Automated Theorem Proving on the Mizar Mathematical Library, Urban, Josef; Hoder, Krystof 
21 A Library of OpenGL-based Mathematical Image Filters, von Gagern, Martin; Mercat, Christian 
22 Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags, Morig, Marc; 
23 Simplicial Cohomology of Smooth Orbifolds in GAP Barakat, Mohamed; Gortzen, Simon 
24 Efficient Evaluation of Large Polynomials, Li, Liyun; Moreno-Maza, Marc; Leiserson, Charles; Xie, Yuzhen 
25 Communicating Functional Expressions from Mathematica to C-XSC, Popova, Evgenija; Kraemer, Walter 
27 Removing redundant quadratic constraints, Baes, Michel; Rostalski, Philipp; Adjiashvili, David
28 isl: An Integer Set Library for the Polyhedral Model, Verdoolaege, Sven; 
29 Computer algebra methods in tropical geometry, Markwig, Thomas; 
30 Magma - a tool for number theory, Fieker, Claus; Cannon, John; Donnelly, Steve; Watkins, Mark 
31 Validated Special Functions Software, Cuyt, Annie; Backeljauw, Franky; Becuwe, Stefan; Van Deun, Joris
32 Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic, Halperin, Dan;
33 Exact geometric and algebraic computations in CGAL, Karavelas, Menelaos; 
34 Fast Library for Number Theory: an introduction, Hart, William Bruce;  
35 Construction of Harmonic Surfaces with  Prescribed Geometry, Weber, Matthias; 
36 FGb: a library for computing Grobner base, Faugere, Jean-Charles;  
37 LinBox founding scope allocation, parallel building blocks, and separate compilation, Dumas, Jean-Guillaume; Pernet, Clement; Gautier, Thierry; Saunders, B. David 
38 Mathemagix: towards large scale programming for symbolic and certified numeric computations, Lecerf, Gregoire; 
39 Accurate and Reliable Computing in Floating-Point Arithmetic, Rump, Siegfried M.; 
40 CoCoALib: A C++ Library for Computations in Commutative Algebra ... and Beyond, Bigatti, Anna Maria; Abbott, John 
41 Sollya: an environment for the development of numerical code, Chevillard, Sylvain; Joldes, Mioara; Lauter, Christoph 
42 Complex Inclusion Functions in the CoStLy C++ Class Library, Neher, Markus; 
43 Reliable computing with GNU MPFR, Zimmermann, Paul; 
44 On solving systems of bivariate polynomials, Rouillier, Fabrice; 
45 The Dynamic Dictionary of Mathematical Functions (DDMF), Salvy, Bruno; Benoit, Alexandre; Chyzak, Frederic; Darrasse, Alexis; Gerhold, Stefan; Mezzarobba, Marc
46 Standardized Interval Arithmetic and Interval Arithmetic used in Libraries, Revol, Nathalie;  
47 Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems, Kojima, Masakazu; 
48 The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB, Stein, William; Erocal, Burcin 
49 A formal proof of Pick's theorem (extended abstract), Harrison, John;