磨碎
发表于 2025-3-28 18:36:54
http://reply.papertrans.cn/63/6266/626580/626580_41.png
crockery
发表于 2025-3-28 19:25:15
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.
冰雹
发表于 2025-3-28 23:51:43
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
假装是我
发表于 2025-3-29 04:41:28
http://reply.papertrans.cn/63/6266/626580/626580_44.png
来这真柔软
发表于 2025-3-29 08:01:52
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 ), we will only focus on non-realizability results.
–LOUS
发表于 2025-3-29 14:07:58
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
发表于 2025-3-29 16:15:20
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.
蛤肉
发表于 2025-3-29 20:34:11
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
发表于 2025-3-30 00:24:47
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
发表于 2025-3-30 06:05:09
,, 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.