badinage
发表于 2025-3-25 05:02:12
http://reply.papertrans.cn/63/6266/626580/626580_21.png
责任
发表于 2025-3-25 08:18:28
http://reply.papertrans.cn/63/6266/626580/626580_22.png
ANA
发表于 2025-3-25 15:28:41
http://reply.papertrans.cn/63/6266/626580/626580_23.png
空气传播
发表于 2025-3-25 18:52:11
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
发表于 2025-3-25 21:55:04
http://reply.papertrans.cn/63/6266/626580/626580_25.png
monogamy
发表于 2025-3-26 03:24:19
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
发表于 2025-3-26 06:47:07
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
发表于 2025-3-26 11:27:57
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
机械
发表于 2025-3-26 14:03:05
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
发表于 2025-3-26 18:58:58
,, 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.