We study the problem of deciding whether a system of real polynomial equations and inequalities has solutions, and if yes finding a sample solution. For polynomials with ...

In this paper, we present FaRe, a package for Mathematica that implements the decomposition of a generic tensor Feynman integral, with arbitrary loop number, into scalar ...

The Banach-Tarski Paradox asserts that a solid ball in 3-space may be decomposed into five disjoint sets that can be rearranged to form two solid balls, each the same size as ...

In this paper, we study the eventual periodicity of the initial boundary value problem (IBVP) for Korteweg-de Vries equation posed on a bounded domain. We show that if the ...

We present the program SecDec 2.0, which contains various new features. First, it allows the numerical evaluation of multi-loop integrals with no restriction on the ...

Mathematica, Maple, and similar software packages provide programs that carry out sophisticated mathematical operations. Applying the ideas introduced in Computer Algebra and ...

Through many examples and real-world applications, Practical Linear Algebra: A Geometry Toolbox, Third Edition teaches undergraduate-level linear algebra in a comprehensive, ...

The Oriented Difference of Gaussians (ODOG) model of brightness (perceived intensity) by Blakeslee and McCourt (Vision Research 39:4361-4377, 1999), which is based on linear ...

SplineWavelet.m is a Mathematica package in which functions to deal with a sequence of data are defined. Using the compactly supported scaling functions and wavelets besed on ...

A root-solving approach has been designed to solve the two- point nonlinear boundary value problems by the use of all embedded functions in Mathematica. Without attributing ...