使迷惑 发表于 2025-3-23 12:35:50

http://reply.papertrans.cn/63/6266/626585/626585_11.png

Fallibility 发表于 2025-3-23 17:08:08

http://reply.papertrans.cn/63/6266/626585/626585_12.png

控制 发表于 2025-3-23 20:06:44

http://reply.papertrans.cn/63/6266/626585/626585_13.png

confide 发表于 2025-3-23 23:12:13

http://reply.papertrans.cn/63/6266/626585/626585_14.png

束以马具 发表于 2025-3-24 04:17:20

Curtains in CAD: Why Are They a Problem and How Do We Fix Them?iting an equational constraint .). That method, however, fails if . is nullified (in McCallum’s terminology): we call the set where this happens a curtain. Here we provide a further modification which, at the cost of a trade off in terms of complexity, is valid for any hypersurface, including one containing curtains.

缩减了 发表于 2025-3-24 08:55:53

http://reply.papertrans.cn/63/6266/626585/626585_16.png

连系 发表于 2025-3-24 10:47:26

Evaluating and Differentiating a Polynomial Using a Pseudo-witness Setderivatives along the line at any point on the given line. Several examples are used to demonstrate this new algorithm including examples of computing the critical points of the discriminant locus for parameterized polynomial systems.

incredulity 发表于 2025-3-24 15:10:57

Nilpotent Quotients of Associative ,-Algebras and Augmentation Quotients of Baumslag-Solitar Groups successive quotients of powers of the augmentation ideal .(.) of the integral group ring ., where . is a finitely presented group. We apply these methods to obtain conjectures for augmentation quotients of the Baumslag-Solitar groups .(., .) with . equal to 0, 1 or a prime ..

–scent 发表于 2025-3-24 20:23:20

http://reply.papertrans.cn/63/6266/626585/626585_19.png

松紧带 发表于 2025-3-25 03:15:29

0302-9743 sted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use..978-3-030-52199-8978-3-030-52200-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
页: 1 [2] 3 4 5
查看完整版本: Titlebook: Mathematical Software – ICMS 2020; 7th International Co Anna Maria Bigatti,Jacques Carette,Timo de Wolff Conference proceedings 2020 Spring