Titlebook: Computer Algebra in Scientific Computing; 9th International Wo Victor G. Ganzha,Ernst W. Mayr,Evgenii V. Vorozhts Conference proceedings 20

迎合

amorphous

PAC

Steuerung und Sicherung der Fahrwegelemente,Relation algebra is well suited for dealing with many problems on ordered sets. Introducing lattices via order relations, this suggests to apply it and tools for its mechanization for lattice-theoretical problems, too. We combine relation algebra and the specific purpose Computer Algebra system . to solve some algorithmic problems.

integrated

Der Systemansatz als Planungsphilosophie,In this paper we present algorithmic considerations and theoretical results about the relation between the orders of certain groups associated to the components of a polynomial and the order of the group that corresponds to the polynomial, proving it for arbitrary tame polynomials, and considering the case of rational functions.

协奏曲

Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and , ,Relation algebra is well suited for dealing with many problems on ordered sets. Introducing lattices via order relations, this suggests to apply it and tools for its mechanization for lattice-theoretical problems, too. We combine relation algebra and the specific purpose Computer Algebra system . to solve some algorithmic problems.

figure

On Decomposition of Tame Polynomials and Rational Functions,In this paper we present algorithmic considerations and theoretical results about the relation between the orders of certain groups associated to the components of a polynomial and the order of the group that corresponds to the polynomial, proving it for arbitrary tame polynomials, and considering the case of rational functions.

开头

Computer Algebra in Scientific Computing978-3-540-45195-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

教义

系列

intellect