We present SpinorsExtras package implementing massive spinor-helicity formalism in Mathematica on top of S@M package. Package defines new objects for Mathematica - massive ...

Abstract To implement finite structures in a symbolic computation program such as Mathematica, we consider a skeletal topos N which is equiva- lent to the category Set f of ...

We consider an algebraic completion of the conventional interval arithmetic, called here extended (directed) interval arithmetic, as suitable for embedding in computer ...

Mathematica is one of the most reliable pieces of software ever written, and every version must pass a great number of tests before it is shipped. But no piece of software is ...

This book is an overview of state-of-the-art analytical homogenization formalisms used to estimate the effective electromagnetic properties of complex composite materials. ...

This book is devoted to applications: differential equations, elements of special functions and differential geometry of curves and surfaces with a specific focus on ...

We use Mathematica to prove that a tangent line to the graph of ay cubic polynomial with real roots, at a location halfway between any two roots, crosses the x-axis at the ...

Computer models for calculating the radiation chemistry of water-cooled nuclear reactors must simulate radiolysis, chemical reactions, and transport--phenomena that occur ...

Presented in this paper is the development of a computer program using Mathematica as an instruction aid for teaching robotics. The overall functions and the structure of ...

One of the most interesting and less known two-dimensional transformations is the so-called circle inversion. This paper presents a new Mathematica package, CircleInversion, ...