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

badinage

責(zé)任

ANA

空氣傳播

GCLC — A Tool for Constructive Euclidean Geometry and More Than Thatng mathematical illustrations of high quality. . uses a language . for declarative representation of figures and for storing mathematical contents of visual nature in textual form. In ., there is a build-in geometrical theorem prover which directly links visual and semantical geometrical information

circuit

monogamy

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 curr

Apraxia

An Efficient Implementation for Computing Gr?bner Bases over Algebraic Number Fieldshe computation is often inefficient if the field operations for algebraic numbers are directly used. Instead we can execute the algorithm over the rationals by adding the defining polynomials to the input ideal and by setting an elimination order. In this paper we propose another method, which is a

PATRI

The SARAG Library: Some Algorithms in Real Algebraic GeometrySome Algorithms in Real Algebraic Geometry” and has two main applications: extending the capabilities of Maxima in the field of real algebraic geometry and being part of the interactive version of the book “Algorithms in Real Algebraic Geometry” by S. Basu, R. Pollack, M.-F. Roy, which can be now fr

機械

Algebraic Computation of Some Intersection D-Modulesd . the local system of horizontal sections of . on .–.. Let . be the holonomic regular .-module whose de Rham complex is the intersection complex . of Deligne-Goresky-MacPherson. In this paper we show how to use our previous results on the algebraic description of . in order to obtain explicit pres

ENNUI

,, 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.