放牧
发表于 2025-3-23 13:12:09
A GAP Package for Computing with Real Semisimple Lie AlgebrasWe report on the functionality and the underlying theory of the GAP package . (.); it provides functionality to construct real semisimple Lie algebras, to check for isomorphisms, and to compute Cartan decompositions, Cartan subalgebras, and nilpotent orbits.
出处
发表于 2025-3-23 15:48:14
SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation GroupsWe describe how the . computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade products.
承认
发表于 2025-3-23 21:26:36
Approximating Generators for Integral Arithmetic GroupsWe exhibit an implementation in the computer algebra system . of a method to . generators of an integral arithmetic group.
增长
发表于 2025-3-24 01:27:02
http://reply.papertrans.cn/63/6266/626582/626582_14.png
关心
发表于 2025-3-24 05:28:11
Flyspecking Flyspeckjecture proof. We first explain why a sceptic might doubt the formalisation. We go on to explain how the formal proof can be ported to the highly-trustworthy HOL Zero system and then independently audited, thus resolving any doubts.
Ovulation
发表于 2025-3-24 09:11:42
http://reply.papertrans.cn/63/6266/626582/626582_16.png
慎重
发表于 2025-3-24 13:55:19
Early Examples of Software in Mathematical Knowledge Managemente use of programs to analyze the nature of our subject as represented by its literature seen as a network. How these tools have already been deployed makes clear that mathematical knowledge management, even in its primitive present form, can aid further development of mathematics. These examples above are just starting points.
要素
发表于 2025-3-24 15:07:26
http://reply.papertrans.cn/63/6266/626582/626582_18.png
Mutter
发表于 2025-3-24 22:53:54
http://reply.papertrans.cn/63/6266/626582/626582_19.png
Keshan-disease
发表于 2025-3-25 02:18:47
Soft Math Math Softound that allow to solve each instance without further thinking. In each round of automation in mathematics, the deep thinking on spectra of problem instances is reflected by deep theorems with deep proofs.