Finely homogeneous computations in free Lie algebras.
Free associative algebras, noncommutative Gröbner bases, and universal associative envelopes for nonassociative structures
First, we provide an introduction to the theory and algorithms for noncommutative Gröbner bases for ideals in free associative algebras. Second, we explain how to construct universal associative envelopes for nonassociative structures defined by multilinear operations. Third, we extend the work of Elgendy (2012) for nonassociative structures on the 2-dimensional simple associative triple system to the 4- and 6-dimensional systems.
From classical numerical mathematics to scientific computing.
Further results on supernumary polylogarithmic ladders.
Generalized polar varieties and an efficient real elimination
Let be a closed algebraic subvariety of the -dimensional projective space over the complex or real numbers and suppose that is non-empty and equidimensional. In this paper we generalize the classic notion of polar variety of associated with a given linear subvariety of the ambient space of . As particular instances of this new notion of generalized polar variety we reobtain the classic ones and two new types of polar varieties, called dual and (in case that is affine) conic. We show that...
Generalized reciprocity laws for sums of harmonic numbers.
Generalized sine equations, III.
Gröbner bases and generation of difference schemes for partial differential equations.
Gröbner bases and Stanley decompositions of determinantal rings.
Gröbner bases in geometry theorem proving and simplest degeneracy conditions.
Gröbner δ-bases and Gröbner bases for differential operators
This paper deals with the notion of Gröbner δ-base for some rings of linear differential operators by adapting the works of W. Trinks, A. Assi, M. Insa and F. Pauer. We compare this notion with the one of Gröbner base for such rings. As an application we give some results on finiteness and on flatness of finitely generated left modules over these rings.
Growth functions and automatic groups.
Heuristics for the Whitehead minimization problem.
HYPERG: a Maple package for manipulating hypergeometric series.
Ideal decompositions and computation of tensor normal forms.
Identifiability and estimation of pharmacokinetic parameters for the ligands of the macrophage mannose receptor
The aim of this paper is numerical estimation of pharmacokinetic parameters of the ligands of the macrophage mannose receptor, without knowing it a priori the values of these parameters. However, it first requires a model identifiability analysis, which is done by applying an algorithm implemented in a symbolic computation language. It is shown that this step can lead to a direct numerical estimation algorithm. In this way, a first estimate is computed from noisy simulated observations without it...
Integral inequalities and computer algebra systems.
Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique
On considère le problème de déterminer les solutions d’une équation différentielle ordinaire, dite de Risch sur une courbe algébrique. En fait une généralisation assez évidente de la méthode de Risch suffit mais elle nous permet de généraliser son algorithme d’intégration à toute extension élémentairement transcendante d’une extension algébrique des fonctions rationnelles.
Introduction to the Maple Power Tool Intpakx
The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006The Maple Power Tool intpakX [24] de nes Maple types for real intervals and complex disc intervals. On the level of basic operations, intpakX includes the four basic arithmetic operators, including extended interval division as an extra function. Furthermore, there are power, square, square root, logarithm and exponential functions, a set of standard functions, union,...
Irreducible cyclic presentations of the trivial group.