The theory of NP-completeness is fundamental to computational complexity and the SATISFIABILITY problem of Boolean Logic is the seminal NP-complete problem on which the ...

In this talk, we will present a report on the progress of development of a Mathematica-based package for design and an analysis of large-scale control systems in standard ...

The application of computer algebra system Mathematica is well-documented in control-related literature. Mostly, calculations are carried out to provide reliable solutions of ...

The [H, C,N] molecular system is a very important model system to many fields of chemical physics. The experimental characterization of highly excited vibrational states of ...

'Gravity, a Geometrical Course' presents general relativity (GR) in a systematic and exhaustive way, covering three aspects that are homogenized into a single texture: i) the ...

Demonstrates the simplicity and effectiveness of Mathematica as the solution to practical problems in composite materials. Designed for those who need to learn how ...

Differential Equations with Mathematica, Fourth Edition is a supplementing reference which uses the fundamental concepts of the popular platform to solve (analytically, ...

While group theory and its application to solid state physics is well established, this textbook raises two completely new aspects. First, it provides a better understanding ...

In this paper we present a package written in Mathematica for teaching and researching in robotics. Robotics is an interdisciplinary field and involves mechanics, control ...

Electrodynamica is a Mathematica package for predicting the values of electromagnetic fields for a wide variety of physical situations. It is written to be useful to both ...