default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICMS 2006: Castro Urdiales, Spain
- Andrés Iglesias, Nobuki Takayama:
Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings. Lecture Notes in Computer Science 4151, Springer 2006, ISBN 3-540-38084-1
New Developments on Computer Algebra Packages
- Alfred G. Noël:
A General Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type. 1-11 - Xin Li, Marc Moreno Maza:
Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment. 12-23 - Masayoshi Sekiguchi, Satoshi Yamashita, Setsuo Takato:
Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures. 24-34 - Akemi Gálvez
, Andrés Iglesias:
Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces. 35-46 - Víctor Álvarez, José Andrés Armario, María Dolores Frau, Pedro Real:
A Mathematica Notebook for Computing the Homology of Iterated Products of Groups. 47-57
Interfacing Computer Algebra and Mathematical Visualization
- Predrag Janicic:
GCLC - A Tool for Constructive Euclidean Geometry and More Than That. 58-73 - Tim Hoffmann, Markus Schmies:
jReality, jtem, and Oorange - A Way to Do Math with Computers. 74-85 - Christopher Creutzig:
MuPAD's Graphics System. 86-98
Software for Algebraic Geometry and Related Topics
- Masayuki Noro:
An Efficient Implementation for Computing Gröbner Bases over Algebraic Number Fields. 99-109 - Massimo Caboara, Sara Faridi, Peter Selinger:
Tree Checking for Sparse Complexes. 110-121 - Fabrizio Caruso:
The SARAG Library: Some Algorithms in Real Algebraic Geometry. 122-131 - F. J. Calderón Moreno, L. Narváez Macarro:
Algebraic Computation of Some Intersection D-Modules. 132-143 - Viktor Levandovskyy:
Plural, a Non-commutative Extension of Singular: Past, Present and Future. 144-157
Number Theoretical Software
- Tetsushi Matsui:
Development of NZMATH. 158-169 - Sebastian Freundt, Aneesh Karve, Anita Krahmann, Sebastian Pauli:
KASH: Recent Developments. 170-181
Methods in Computational Number Theory
- Daniel Lichtblau:
Making Change and Finding Repfigits: Balancing a Knapsack. 182-193 - Niels Möller:
Robust HGCD with No Backup Steps. 194-204
Free Software for Computer Algebra
- John Abbott:
The Design of CoCoALib. 205-215
Software for Optimization and Geometric Computation
- Lars Schewe:
Generation of Oriented Matroids Using Satisfiability Solvers. 216-218 - Ewgenij Gawrilow, Michael Joswig:
Flexible Object Hierarchies in Polymake. 219-221 - Anders Nedergaard Jensen:
A Presentation of the Gfan Software. 222-224 - Anton Leykin, Jan Verschelde, Yan Zhuang:
Parallel Homotopy Algorithms to Solve Polynomial Systems. 225-234 - Manuel Abellanas, Alfredo de las Vegas:
DEpthLAUNAY. 235-244 - Peter Huggins:
iB4e: A Software Framework for Parametrizing Specialized LP Problems. 245-247 - Colin N. Jones, Jan M. Maciejowski:
Primal-Dual Enumeration for Multiparametric Linear Programming. 248-259 - Joshua D. Griffin, Tamara G. Kolda:
A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs. 260-262 - Jean B. Lasserre:
Convergent SDP-Relaxations for Polynomial Optimization with Sparsity. 263-272
Methods and Software for Computing Mathematical Functions
- Mark Korenblit, Efraim Shmerling:
Algorithm and Software for Integration over a Convex Polyhedron. 273-283 - Joris Van Deun, Ronald Cools:
A Matlab Implementation of an Algorithm for Computing Integrals of Products of Bessel Functions. 284-295 - Alfredo Deaño, Amparo Gil, Javier Segura:
Computation of the Real Zeros of the Kummer Function M(a;c;x). 296-307 - Annie A. M. Cuyt, Stefan Becuwe:
Towards Reliable Software for the Evaluation of a Class of Special Functions. 308-319
Access to Mathematics on the Web
- 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. 320-330 - Paul Libbrecht, Erica Melis:
Methods to Access and Retrieve Mathematical Content in ActiveMath. 331-342 - Klaus Grue:
Logiweb - A System for Web Publication of Mathematics. 343-353
General Track
- Anton Leykin, Jan Verschelde:
Interfacing with the Numerical Homotopy Algorithms in PHCpack. 354-360 - Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem:
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. 361-372 - H. Martin Bücker, Atya Elsheikh, Andre Vehreschild:
A System for Interfacing MATLAB with External Software Geared Toward Automatic Differentiation. 373-384 - Tatsuyoshi Hamada, Kuniyasu Suzaki, Kengo Iijima, Arimitsu Shikoda:
KNOPPIX/Math: Portable and Distributable Collection of Mathematical Software and Free Documents. 385-390 - Kazuhiro Yokoyama:
Stability of Parametric Decomposition. 391-402 - Manuel Delgado, José Morais:
On the. 403-406 - François Descouens:
Making Research on Symmetric Functions with MuPAD-Combinat. 407-418 - Víctor Álvarez, José Andrés Armario, María Dolores Frau, Pedro Real:
Calculating Cocyclic Hadamard Matrices in Mathematica: Exhaustive and Heuristic Searches. 419-422 - Hiromasa Nakayama:
An Interactive User Interface for Division Algorithms and the Buchberger Algorithm. 423-425 - Hirokazu Murao:
Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP. 426-437
Links to Projects
- Masayuki Noro, Nobuki Takayama:
Links to Projects. Mathematical Software, icms2006 - Developer's Meeting. 438-450
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
