Titlebook: Mathematical Software -- ICMS 2014; 4th International Co Hoon Hong,Chee Yap Conference proceedings 2014 Springer-Verlag Berlin Heidelberg 2

放牧

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.

出處

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.

承認(rèn)

Approximating Generators for Integral Arithmetic GroupsWe exhibit an implementation in the computer algebra system . of a method to . generators of an integral arithmetic group.

增長(zhǎng)

關(guān)心

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

慎重

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.

要素

Mutter

Keshan-disease

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.