Solving inequalities is a very important topic in computational algebra. This paper presents a new Maple package, IneqGraphics, for displaying the two-dimensional solution sets of several inequalities of real variables. The package also deals with inequalities involving complex variables by displaying the corresponding solutions on the complex plane. The package provides graphical solutions to ...

Abstract This paper takes the mathematical software Maple as the auxiliary tool to study four types of integrals. We can obtain the Fourier series expansions of these four types of integrals by using integration term by term theorem. On the other hand, we provide two examples to do calculation practically. The research methods adopted in this study involved finding solutions through manual calc...

We describe an interface between version 6 of the Maple computer algebra system with the PVS automated theorem prover. The interface is designed to allow Maple users access to the robust and checkable proof environment of PVS. We also extend this environment by the provision of a library of proof strategies for use in real analysis. We demonstrate examples using the interface and the real analy...

In this paper, we present a new and efficient algorithm for computing minimal polynomial of matrices over algebraic extension fields using the Gröbner bases technique. We have implemented our algorithm in Maple and we evaluate its performance and compare it to the performance of the function MinimalPolynomial of Maple 15 and also of the Bia las algorithm as a new algorithm to compute minimal po...

This study uses the mathematical software Maple for the auxiliary tool to evaluate two types of definite integrals. We can obtain the closed forms of these two types of definite integrals by using differentiation with respect to a parameter and Leibniz differential rule. At the same time, we provide some definite integrals to do calculation practically. The research methods adopted in this stud...

We describe a parallel solution to the problem of resolving non-ordinary singularities of a plane algebraic curve. The original sequential program is implemented in the software library CASA on top of the computer algebra system Maple. The new parallel version is based on Distributed Maple, a distributed programming extension written in Java. We evaluate the performance of the program in a clus...

Matrix Assisted Pulsed Laser Evaporation (MAPLE) is a thin film deposition technique derived from Pulsed Laser Deposition (PLD) for deposition of delicate (polymers, complex biological molecules, etc.) materials in undamaged form. The main difference of MAPLE technique with respect to PLD is the target: it is a frozen solution or suspension of the (guest) molecules to be deposited in a volatile...

Candida rugosa lipase (CRL) was deposited by matrix assisted pulsed laser evaporation (MAPLE) in order to immobilize the enzyme with a preserved native conformation, which ensures its catalytic functionality. For this purpose, the composition of the MAPLE target was optimized by adding the oil phase pentane to a water solution of the amino acid 3-(3,4-dihydroxyphenyl)-2-methyl-l-alanine (m-DOPA...

Forest fragmentation arising from modern forestry practices has dramatically increased the amount of edge habitat relative to interior habitat. Edge habitats have unique microenvironments that have the potential to profoundly impact forest communities. In this study, we characterized the forest composition and structure of edge and interior plots within a second growth big leaf maple-Douglas fi...

Maple sugar urine disease is an inborn error of metabolism, in which the symptoms such as feeding difficulty, weak crying or irregular, jerky respirations occur soon after birth, consequently growth failure is brought about and finally the death comes mostly due to a complication of bronchopneumonia within several weeks or months of life.1) Outstanding features of the disease are known to be a ...