Titlebook: Mathematical Software - ICMS 2006; Second International Andrés Iglesias,Nobuki Takayama Conference proceedings 2006 Springer-Verlag Berlin

磨碎

crockery

Making Change and Finding Repfigits: Balancing a Knapsackrs to improve handling of such problems. We show explicitly how they may be applied to computation of Frobenius instances, Keith numbers (also called “repfigits”), and as a first step in computation of Frobenius numbers.

冰雹

0302-9743 ematical Software, ICMS 2006, held in Castro Urdiales, Spain, September 1-3, 2006. We cordially invite you to visit the ICMS 2006 website http://www.icms2006.unican.es where you can find all relevant information about this interesting event. ICMS 2006 was the second edition of this congress, which f

假装是我

来这真柔软

Generation of Oriented Matroids Using Satisfiability Solversto generate oriented matroids that satisfy certain geometric constraints. Even though one can use the generated oriented matroids as a first step to find realizations (see for instance [2,6]), we will only focus on non-realizability results.

–LOUS

Development of a Maple Macro Package Suitable for Drawing Fine ,-Picturesest accuracy. KETpic does not require an expensive printer. Carefully prepared figures are significantly advantageous for mathematical education because they facilitate students’ understanding of difficult mathematical notions. In this paper, we describe the advantages of KETpic with typical examples.

CONE

The SARAG Library: Some Algorithms in Real Algebraic Geometryots isolation, sign determination, Thom encodings, study of the topology of curves. At the moment . is being used as a tool to develop, implement and tune algorithms coming from new research results, e.g. an algorithm for faster gcd computation, an algorithm for the study of the topology of curves over non-Archimedian real closed fields.

蛤肉

jReality, jtem, and Oorange — A Way to Do Math with Computersly interested in the question how the development of mathematical software and the mathematics itself influence each other and how the design of programming tools and code can support this interrelationship.

Mast-Cell

MuPAD’s Graphics Systemf graphical objects that are fully manipulable from the programming level as well as interactively, the framework has proven to be well-designed and flexible. We will present both the users’ and the developers’ perspective, including how to implement new graphical primitives and a discussion of current limitations.

synchronous

,, a Non–commutative Extension of Singular: Past, Present and Futureation within a wide class of non–commutative algebras. We discuss the computational objects of ., the implementation of main algorithms, various aspects of software engineering and numerous applications.