The aim of this paper is to expound an original algebraic model for managing the knowledge provided by different expert humans when developing expert systems. This model is conceived as an extension of classical propositional logics in which each proposition is associated with a set of human...

The paper presents the results concerning a new problem of homogenization of the fluids filled with a random volume fraction of nanoparticles. We use a variety of probabilistic and statistical methods applied for numerical determination of the effective physical properties of different fluids...

This paper is concerned with expounding a new representation paradigm for modeling expert systems based on computing Groebner Bases. Previous research on Groebner Bases expert systems has so far been connected to modeling expert systems based on propositional logics. Our approach instead is...

Nowadays, most scientists and engineers rely on computer simulations to analyze, design, and prototype complex systems. Scientific and engineering system models are implemented in a variety of simulation environments; however, limited model libraries are often provided to users who are compelled...

Dynamic geometry programs provide environments where accurate construction of geometric configurations can be done. Nevertheless, intrinsic limitations in their standard development technology mostly produce objects that are equationally unknown and so can not be further used in constructions....

We describe the capabilities of Lugares for obtaining the equations and graphs of plane loci. Lugares is a Windows program written in Prolog that offers a standard dynamic geometry environment and uses the symbolic capabilities of CoCoA, a computer algebra system specialized in Groebner basis...

In this article we analyse the thermodynamics of steam reforming by using computing techniques from symbolics, numerics and graphics. It is shown that the integration of the various computing methods normally used separately in scientific problem-solving allows the development of efficient and...