Conferences in DBLP
(icms) Alfred G. Noël A General Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type. [Citation Graph (0, 0)][DBLP ] Conf ] Xin Li , Marc Moreno Maza Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Masayoshi Sekiguchi , Satoshi Yamashita , Setsuo Takato Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures. [Citation Graph (0, 0)][DBLP ] Conf ] Akemi Gálvez , Andrés Iglesias Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces. [Citation Graph (0, 0)][DBLP ] Conf ] V. Álvarez , J. A. Armario , M. D. Frau , P. Real A Mathematica Notebook for Computing the Homology of Iterated Products of Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Predrag Janicic GCLC - A Tool for Constructive Euclidean Geometry and More Than That. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Hoffmann , Markus Schmies jReality, jtem, and Oorange - A Way to Do Math with Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Creutzig MuPAD's Graphics System. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Noro An Efficient Implementation for Computing Gröbner Bases over Algebraic Number Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Caboara , Sara Faridi , Peter Selinger Tree Checking for Sparse Complexes. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Caruso The SARAG Library: Some Algorithms in Real Algebraic Geometry. [Citation Graph (0, 0)][DBLP ] Conf ] F. J. Calderón Moreno , L. Narváez Macarro Algebraic Computation of Some Intersection D-Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Viktor Levandovskyy Plural, a Non-commutative Extension of Singular: Past, Present and Future. [Citation Graph (0, 0)][DBLP ] Conf ] Matsui Tetsushi Development of NZMATH. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Freundt , Aneesh Karve , Anita Krahmann , Sebastian Pauli KASH: Recent Developments. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Lichtblau Making Change and Finding Repfigits: Balancing a Knapsack. [Citation Graph (0, 0)][DBLP ] Conf ] Niels Möller Robust HGCD with No Backup Steps. [Citation Graph (0, 0)][DBLP ] Conf ] John Abbott The Design of CoCoALib. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Schewe Generation of Oriented Matroids Using Satisfiability Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Ewgenij Gawrilow , Michael Joswig Flexible Object Hierarchies in Polymake. [Citation Graph (0, 0)][DBLP ] Conf ] Anders N. Jensen A Presentation of the Gfan Software. [Citation Graph (0, 0)][DBLP ] Conf ] Anton Leykin , Jan Verschelde , Yan Zhuang Parallel Homotopy Algorithms to Solve Polynomial Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Abellanas , Alfredo de las Vegas DEpthLAUNAY. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Huggins iB4e : A Software Framework for Parametrizing Specialized LP Problems.Citation Graph (0, 0)][DBLP ] Conf ] Colin N. Jones , Jan M. Maciejowski Primal-Dual Enumeration for Multiparametric Linear Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Joshua D. Griffin , Tamara G. Kolda A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jean B. Lasserre Convergent SDP-Relaxations for Polynomial Optimization with Sparsity. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Korenblit , Efraim Shmerling Algorithm and Software for Integration over a Convex Polyhedron. [Citation Graph (0, 0)][DBLP ] Conf ] Joris Van Deun , Ronald Cools A Matlab Implementation of an Algorithm for Computing Integrals of Products of Bessel Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Alfredo Deaño , Amparo Gil , Javier Segura Computation of the Real Zeros of the Kummer Function M (a ;c ;x ). [Citation Graph (0, 0)][DBLP ] Conf ] Annie A. M. Cuyt , Stefan Becuwe Towards Reliable Software for the Evaluation of a Class of Special Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Zur'aini Dahlan , Noraimi Shafie , Rozeha A. Rashid Multimedia Prototype of a Bilingual Model Within Technology Based Learning Environment: An Implementation of a Mathematics Learning Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Libbrecht , Erica Melis Methods to Access and Retrieve Mathematical Content in ActiveMath. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Grue Logiweb - A System for Web Publication of Mathematics. [Citation Graph (0, 0)][DBLP ] Conf ] Anton Leykin , Jan Verschelde Interfacing with the Numerical Homotopy Algorithms in PHCpack . [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuo Ida , Hidekazu Takahashi , Mircea Marin , Fadoua Ghourabi , Asem Kasem Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. [Citation Graph (0, 0)][DBLP ] Conf ] H. Martin Bücker , Atya Elsheikh , Andre Vehreschild A System for Interfacing MATLAB with External Software Geared Toward Automatic Differentiation. [Citation Graph (0, 0)][DBLP ] Conf ] Tatsuyoshi Hamada , Kuniyasu Suzaki , Kengo Iijima , Arimitsu Shikoda KNOPPIX/Math: Portable and Distributable Collection of Mathematical Software and Free Documents. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhiro Yokoyama Stability of Parametric Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Delgado , José Morais On the. [Citation Graph (0, 0)][DBLP ] Conf ] Francois Descouens Making Research on Symmetric Functions with MuPAD-Combinat. [Citation Graph (0, 0)][DBLP ] Conf ] V. Álvarez , J. A. Armario , M. D. Frau , P. Real Calculating Cocyclic Hadamard Matrices in Mathematica : Exhaustive and Heuristic Searches. [Citation Graph (0, 0)][DBLP ] Conf ] Hiromasa Nakayama An Interactive User Interface for Division Algorithms and the Buchberger Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Hirokazu Murao Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Noro , Nobuki Takayama Links to Projects. Mathematical Software, icms2006 - Developer's Meeting. [Citation Graph (0, 0)][DBLP ] Conf ] 