Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Informatique --- Computer algebra --- Programmation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume celebrates the first decade of the Computer Algebra system Magma. With a design based on the ontology and semantics of algebra, Magma enables users to rapidly formulate and perform calculations in the more abstract parts of mathematics. This book introduces the reader to the role Magma plays in advanced mathematical research through 14 case studies which, in most cases, describe computations underpinning new theoretical results. The authors of the chapters were chosen both for their expertise in the particular field and for their innovative use of Magma. Although by no means exhaustive, the topics range over much of Magma's coverage of algorithmic algebra: from number theory and algebraic geometry, via representation theory and group theory to some branches of discrete mathematics and graph theory. A basic introduction to the Magma language is given in an appendix. The book is simultaneously an invitation to learn a new programming language in the context of contemporary research problems, and an exposition of the types of problem that can be investigated using computational algebra.

Algebra --- Computer programs. --- Magma (Computer algebra system) --- Computer software. --- Algebra. --- Algorithms. --- Mathematical Software. --- Symbolic and Algebraic Manipulation. --- Data processing. --- Algorism --- Arithmetic --- Mathematics --- Mathematical analysis --- Software, Computer --- Computer systems --- Foundations --- Computer science—Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers not only various expanding applications of computer algebra to scienti?c computing but also the computer algebra systems themselves and the CA algorithms. The eight earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, CASC 2004, and CASC 2005 were held, - spectively, in St. Petersburg, Russia, in Munich, Germany, in Samarkand, Uzb- istan, in Konstanz, Germany, in Crimea, Ukraine, in Passau, Germany, in St. Petersburg, Russia, and in Kalamata, Greece, and they proved to be successful. It was E. A. Grebenikow (Computing Center of the Russian Academy of S- ences, Moscow) who drew our attention to the group of mathematicians and c- puter scientists at the Academy of Sciences of Moldova conducting research in the ?eld of computer algebra. We were impressed that this group not only is concerned with applications of CA methods to problems of scienti?c computing but also c- ries out research on the fundamental principles underlying the current computer algebra systems themselves, see also their papers in the present proceedings v- ume. It was therefore decided to organize the 9th workshop on Computer Algebra in Scienti?c Computing, CASC 2006, in Chi¸ sin? au, the capital of Moldova.

Algebra --- Science --- Algèbre --- Sciences --- Data processing --- Congresses. --- Informatique --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Mathematics --- Physical Sciences & Mathematics --- Computer science. --- Computer programming. --- Algorithms. --- Computer science --- Computer Science. --- Symbolic and Algebraic Manipulation. --- Programming Techniques. --- Discrete Mathematics in Computer Science. --- Algorithm Analysis and Problem Complexity. --- Math Applications in Computer Science. --- Mathematics. --- Algorism --- Arithmetic --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Computer mathematics --- Discrete mathematics --- Foundations --- Programming --- Computational complexity. --- Computer software. --- Data processing. --- Software, Computer --- Computer systems --- Complexity, Computational --- Machine theory --- Computer science—Mathematics. --- Computer algebra --- Scientific computing --- CASC --- Discrete mathematics. --- Mathematical Applications in Computer Science. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book aims to provide a new vision of how algorithms are the core of decision support systems (DSSs), which are increasingly important information systems that help to make decisions related to unstructured and semi-unstructured decision problems that do not have a simple solution from a human point of view. It begins with a discussion of how DSSs will be vital to improving the health of the population. The following article deals with how DSSs can be applied to improve the performance of people doing a specific task, like playing tennis. It continues with a work in which authors apply DSSs to insect pest management, together with an interactive platform for fitting data and carrying out spatial visualization. The next article improves how to reschedule trains whenever disturbances occur, together with an evaluation framework. The final works focus on different relevant areas of DSSs: 1) a comparison of ensemble and dimensionality reduction models based on an entropy criterion; 2) a radar emitter identification method based on semi-supervised and transfer learning; 3) design limitations, errors, and hazards in creating very large-scale DSSs; and 4) efficient rule generation for associative classification. We hope you enjoy all the contents in the book.

History of engineering & technology --- semi-supervised learning --- transfer learning --- radar emitter --- decision support systems --- population health management --- big data --- machine learning --- deep learning --- personalized patient care --- Nonlinear regression --- interactive platform --- component-based approach --- software architecture --- Eclipse-RCP (Rich Client Platform) --- spatial prediction --- rule-based expert systems --- tennis hitting technique --- computer algebra systems --- Groebner bases --- Boolean logic --- data envelopment analysis --- dimensionality reduction --- ensembles --- exhaustive state space search --- entropy --- associative classification --- class association rule --- vertical data representation --- classification --- algorithm evaluation --- parallel algorithms --- multi-objective optimization --- train rescheduling --- very large-scale decision support systems --- very large-scale data and program cores of information systems --- meta-database --- teleological meta-database --- thematic list --- indicators list --- computational methods list --- geographically dispersed systems --- external sources

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book aims to provide a new vision of how algorithms are the core of decision support systems (DSSs), which are increasingly important information systems that help to make decisions related to unstructured and semi-unstructured decision problems that do not have a simple solution from a human point of view. It begins with a discussion of how DSSs will be vital to improving the health of the population. The following article deals with how DSSs can be applied to improve the performance of people doing a specific task, like playing tennis. It continues with a work in which authors apply DSSs to insect pest management, together with an interactive platform for fitting data and carrying out spatial visualization. The next article improves how to reschedule trains whenever disturbances occur, together with an evaluation framework. The final works focus on different relevant areas of DSSs: 1) a comparison of ensemble and dimensionality reduction models based on an entropy criterion; 2) a radar emitter identification method based on semi-supervised and transfer learning; 3) design limitations, errors, and hazards in creating very large-scale DSSs; and 4) efficient rule generation for associative classification. We hope you enjoy all the contents in the book.

semi-supervised learning --- transfer learning --- radar emitter --- decision support systems --- population health management --- big data --- machine learning --- deep learning --- personalized patient care --- Nonlinear regression --- interactive platform --- component-based approach --- software architecture --- Eclipse-RCP (Rich Client Platform) --- spatial prediction --- rule-based expert systems --- tennis hitting technique --- computer algebra systems --- Groebner bases --- Boolean logic --- data envelopment analysis --- dimensionality reduction --- ensembles --- exhaustive state space search --- entropy --- associative classification --- class association rule --- vertical data representation --- classification --- algorithm evaluation --- parallel algorithms --- multi-objective optimization --- train rescheduling --- very large-scale decision support systems --- very large-scale data and program cores of information systems --- meta-database --- teleological meta-database --- thematic list --- indicators list --- computational methods list --- geographically dispersed systems --- external sources