易发怒
发表于 2025-3-26 22:24:50
http://reply.papertrans.cn/63/6266/626581/626581_31.png
Amenable
发表于 2025-3-27 03:30:02
The Dynamic Dictionary of Mathematical Functions (DDMF)athematical formulas on elementary and special functions. The formulas are automatically generated by computer algebra routines. The user can ask for more terms of the expansions, more digits of the numerical values, or proofs of some of the formulas.
neoplasm
发表于 2025-3-27 07:18:53
Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Basesycyclic quotients of groups defined by a so-called finite .-presentation. This type of presentation incorporates all finite presentations as well as certain infinite presentations. The algorithm allows a variety of polycyclic quotients ranging from maximal nilpotent quotients of a given class to the
GUISE
发表于 2025-3-27 11:04:34
http://reply.papertrans.cn/63/6266/626581/626581_34.png
lymphedema
发表于 2025-3-27 16:13:59
Towards High-Performance Computational Algebra with GAPwhile preserving as much of the existing codebase (about one million lines of code) with as few changes as possible without requiring users (a large percentage of which are domain experts in their fields without necessarily having a background in parallel programming) to have to learn complicated pa
摇晃
发表于 2025-3-27 21:30:47
http://reply.papertrans.cn/63/6266/626581/626581_36.png
insert
发表于 2025-3-27 22:07:49
http://reply.papertrans.cn/63/6266/626581/626581_37.png
枪支
发表于 2025-3-28 04:13:39
http://reply.papertrans.cn/63/6266/626581/626581_38.png
鸣叫
发表于 2025-3-28 07:09:02
Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmeticumptions of most theoretical geometric algorithms concerning the handling of robustness issues, namely issues related to arithmetic precision and degenerate input. Controlled perturbation, an approach to robust implementation of geometric algorithms we introduced in the late 1990’s, aims at removing
Temporal-Lobe
发表于 2025-3-28 13:00:14
http://reply.papertrans.cn/63/6266/626581/626581_40.png