Symbolic computation of potential energy functions
We derive potential energy functions for a shallow cylindrical panel. The starting point is a system of two coupled partial differential equations based on Donnell's shallow shell theory. The total potential energy is approximated using a finite number ...
A Maple package for the decomposition of certain tensor products and restrictions of representations using crystal graphs
This document is an introduction to the Maple package crystal, version 2.
NAOMI one: North American OpenMath Initiative goes online
The North American OpenMath Initiative (NAOMI) is a recently formed organization to promote, develop, and implement the OpenMath standard in North America. NAOMI held its first workshop in Vancouver this February, and launched full-scale operations.
Completeness of a rewrite system for proving geometric theorems using Clifford algebra
In a coordinate-free method proposed by D. Wang and the author for proving geometric theorems, the computations are achieved using an equational theory for Clifford algebra and rewriting techniques. In this note we prove the termination, confluence and ...
On the greatest common right divisor of Ore polynomials with polynomial coefficients which depend on a parameter
The problem of search for the dependence of GCD of algebraic parametrized objects on a parameter appears in some algorithms of computer algebra. In the case of usual polynomials such problem appears in solving systems of algebraic equations by the ...
On computing the Weierstrass points of a plane algebraic curve
Weierstrass points are an important geometric feature and birational invariant of an algebraic curve. A place P on a curve of genus g is a Weierstrass point if the corresponding point on the canonical embedding of the curve is an inflection point where ...