Oege De Moor Mathematical Structures in Computer Science / Volume 4 / Issue 01 / March 1994, pp 33 ­ 69 DOI: 10.1017/S0960129500000360, Published online: 04 March 2009 Link to this article: http://journals.cambridge.org/abstract_S0960129500000360 How to cite this article: Oege De Moor (1994). Categories, relations and dynamic programming. Mathematical Structures in Computer Science, 4, pp 33­69...

This paper explores two-way relations between visualizations in mathematics and mathematical art, as well as art in general. A collection of vignettes illustrates connection points, including visualizing higher dimensions, tessellations, knots and links, plotting zeros of polynomials, and new and rapidly developing mathematical discipline, diagrammatic categorification.

1 A Few Preliminaries 2 1.1 Mathematics and Proofs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Sets and Equivalence Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 Mathematical Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.4 Complex and Matrix Arithmetic . . . . . . . . . ...

s for the 38th Human Genetics Society of Australasia Annual Scientific Meeting Adelaide, South Australia

We deal with the statistical matching problem and in particular we study the problem related to the managing of inconsistencies. In fact, when logical relations among the variables are present incoherence can arise in the probability evaluations. The aim of this paper is to remove such incoherences by using different methods. Specific precise distances minimization or least committal imprecise ...

in this research, the activity of mno, produced during steel making in aluminate-rich slags, was investigated.according to thermodynamic equations and mathematical calculation, a series of relations was obtained forevaluation of oxide activity using masson’s theory. the obtained relations were solved according to levenberg- marquardt method and using matlab software. the results were correlated...

Intuitionistic preference relations are becoming increasingly important in the field of group decision making since they present a flexible and simple way to the experts to provide their preference relations, while at the same time allowing them to accommodate a certain degree of hesitation inherent to all decision making processes. In this contribution, we prove the mathematical equivalence be...

Mathematical theories are pervaded with the use of partial orders and more general preorders also called quasi orders i e re exive and transitive binary rela tions Preorders also play an important role in appli cations for instance as preference relations in multi criteria decision aid techniques The observation that classical relations do not allow to express partial or graded relationships ha...

A theory about the implication structure in graph coloring is presented. Discovering hidden relations is one of the most relevant activities in every scientific discipline. The development of mathematical models to study and discover such hidden relations is of the most highest interest. The main contribution presented in this work is a model of hidden relations materialized as implicit edges i...

In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities that may coincide without overlapping. Some examples are: cavities and invading particles, passageways and valves, geographic regions and tropical storms. The purpose of this paper is to develop a formal theory of spatial relations for domains that include coincident entities. The core of t...