The classical algebraic modelling approach for integer programming (IP) is not suitable for some real world IP problems, since the algebraic formulations allow only for the ...

Taking into account uncertainties on data or parameters while certifying results of computations in terms of bounding of errors is a big challenge that has to be faced by ...

QCMPI is a quantum computer (QC) simulation package written in Fortran 90 with parallel processing capabilities. It is an accessible research tool that permits rapid ...

Interval computations are becoming a well-accepted method of rigorous mathematical proofs. We discuss some possibilities of deploying Mathematica into interval-computation ...

Defined benefit pension plans are the predominant method of retirement compensation for state government employees. They create entitlements to annuities whose value is ...

Transient multiphase fluid dynamics presents a unique problem in domain discretization. Instead of preserving geometrical accuracy, it is more important to preserve liquid ...

Analog Insydes is a Mathematica application package for modeling, analysis, and design of analog electronic circuits, tailored specifically for industrial applications. Here ...

Linkages are widely used in agricultural and construction machinery as well as in all kinds of industrial equipment. Design of different linkages becomes more and more ...

Explore some of the most fascinating topics in mathematics, from ancient Greece up to the 21st century. Walk in the computational footsteps of history's greatest ...

Rapid development of Mathematica built-in functions and interfaces provides the possibility for solving a large variety of problems arising in mathematics, physics, ...