overwrought 发表于 2025-4-1 04:27:01

http://reply.papertrans.cn/63/6266/626581/626581_61.png

奇思怪想 发表于 2025-4-1 09:06:44

Reliable and Efficient Geometric ComputingComputing with geometric objects (points, curves, and surfaces) is central for many engineering disciplines and lies at the heart of computer aided design systems. Implementing geometric algorithms is notoriously difficult and most actual implementations are incomplete: they are known to crash or deliver the wrong result on some instances.

询问 发表于 2025-4-1 13:32:36

Reliable Computing with GNU MPFRThis article presents a few applications where reliable computations are obtained using the GNU MPFR library.

把手 发表于 2025-4-1 18:20:01

Simplicial Cohomology of Smooth Orbifolds in ,This short research announcement briefly describes the simplicial method underlying the . package . for computing the so-called orbifold cohomology of topological resp. smooth orbifolds. . can be used to compute the lower dimensional group cohomology of some infinite groups.

Perigee 发表于 2025-4-1 20:50:11

http://reply.papertrans.cn/63/6266/626581/626581_65.png

ANTH 发表于 2025-4-2 02:10:45

http://reply.papertrans.cn/63/6266/626581/626581_66.png

不可接触 发表于 2025-4-2 05:53:44

Fast Library for Number Theory: An IntroductionWe discuss FLINT (Fast Library for Number Theory), a library to support computations in number theory, including highly optimised routines for polynomial arithmetic and linear algebra in exact rings.
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Mathematical Software - ICMS 2010; Third International Komei Fukuda,Joris van der Hoeven,Nobuki Takayama Conference proceedings 2010 Sprin