The package NLControl, developed in the Institute of Cybernetics at Tallinn University of Technology within the Mathematica environment, has been made partially available over the internet using webMathematica tools. The package consists of functions that assist the solution of different modelling, analysis, and synthesis problems for nonlinear control systems, described either by state or by i...

The internal and external Robin problems for the Laplace equation in bounded starlike domains are addressed. We show how to derive the relevant solutions by using a suitable Fourier series-like method. Numerical results are specifically obtained considering threedimensional domains whose boundary is defined by a generalization of the so-called ‘‘superformula’’ introduced by Gielis. By using the...

A tutorial of the Mathematica1 package CGAlgebra, for conformal geometric algebra calculations is presented. Using rule-based programming, the 5-dimensional conformal geometric algebra is implemented and defined functions simplify the calculations of geometric, outer and inner products, as well as many other calculations related with geometric transformations. CGAlgebra is available from https:...

In [3], Springer studies a poset V which depends on a Coxeter group W with generating set S. IfW is a finite Weyl group, then V indexes the B×Borbits in the wonderful compactification of the adjoint semi-simple group G with Weyl group W . In that case Springer shows for instance that one has positivity results for the analogues cx,v of Kazhdan-Lusztig polynomials. But the poset V is much more c...

Millions of mathematical formulas are typeset annually. Most of the numbers we see in print are produced by computer. So are the indexes and catalogs issued by database publishers. Charts and diagrams and other products of computer graphics have replaced manually drafted copy. But most of the formulas in mathematics, engineering and science publications are still derived and coded by hand. The ...

Grammatica is a prototype implementation of algebraic graph transformation based on relation algebra. It has been implemented using Mathematica on top of the Combinatorica package, and runs therefore on most platforms. It consists of Mathematica routines for representing, manipulating, displaying and transforming graphs, as well as routines implementing some relation algebra-theoretic operation...

We describe a Mathematica package for dealing with q-holonomic sequences and power series. The package is intended as a q-analogue of the Maple package gfun and the Mathematica package GeneratingFunctions. It provides commands for addition, multiplication, and substitution of these objects, for converting between various representations (q-differential equations, q-recurrence equations, q-shift...

We implement a user-extensible ad hoc connection between the Lean proof assistant and the computer algebra system Mathematica. By reflecting the syntax of each system in the other and providing a flexible interface for extending translation, our connection allows for the exchange of arbitrary information between the two systems. We show how to make use of the Lean metaprogramming framework to v...