A solution method is derived for determining the free-edge stresses in composite laminates. The method is based on expanding stress functions in terms of a harmonic series in ...

With the help of Mathematica, many travelling for a class of nonlinear evolution equations u (subscript)u + au(subscript)xx + bu + cu^2 + du^3 = 0 are obtained by using ...

This talk presents an overview of the design of NDSolve for one-step integration methods. Decomposing a differential system into simpler subsystems often allows the ...

In this contribution we illustrate different methods available for solving Global Positionig System N-points problem using built-in functions of Computer Algebra Systems ...

Background: Identifying differentially expressed genes (DEG) is a fundamental step in studies that perform genome wide expression profiling. Typically, DEG are identified by ...

Mathematica functions Minimize and Maximize allow users to compute exact global extrema of functions on sets constrained by systems of equations and inequalities. When the ...

We describe an innovative method for proving total correctness of tail recursive programs having a specific structure, namely programs in which an auxiliary tail recursive ...

In recent decades a lot of research has been done on the numerical solution of the time-dependent Schrodinger equation. On the one hand, some of the proposed numerical ...

For linear dynamic circuits, the condition of the index to be higher than one is calculated symbolically. Using Analog Insydes a function for the computer algebra system ...

This paper proposes a new symbolic method for solving a class of higher-order equations with an unknown function over the complex domain. Our method exploits the closure ...