Titlebook: Mathematical Software - ICMS 2010; Third International Komei Fukuda,Joris van der Hoeven,Nobuki Takayama Conference proceedings 2010 Sprin

易发怒

Amenable

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

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

lymphedema

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

摇晃

insert

枪支

鸣叫

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