Mathematics Commons^™

Super Special Codes Using Super Matrices, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

The new classes of super special codes are constructed in this book using the specially constructed super special vector spaces. These codes mainly use the super matrices. These codes can be realized as a special type of concatenated codes. This book has four chapters. In chapter one basic properties of codes and super matrices are given. A new type of super special vector space is constructed in chapter two of this book. Three new classes of super special codes namely, super special row code, super special column code and super special codes are introduced in chapter three. Applications of these …

Interval Groupoids, Florentin Smarandache, W.B. Vasantha Kandasamy, Moon Kumar Chetry

Branch Mathematics and Statistics Faculty and Staff Publications

This book introduces several new classes of groupoid, like polynomial groupoids, matrix groupoids, interval groupoids, polynomial interval groupoids, matrix interval groupoids and their neutrosophic analogues.

Fusion Of Sources Of Evidence With Different Importances And Reliabilities, Florentin Smarandache, Jean Dezert, J.M. Tacnet

Branch Mathematics and Statistics Faculty and Staff Publications

This paper presents a new approach for combining sources of evidences with different importances and reliabilities. Usually, the combination of sources of evidences with different reliabilities is done by the classical Shafer’s discounting approach. Therefore, to consider unequal importances of sources, if any, a similar reliability discounting process is generally used, making no difference between the notion of importance and reliability. In fact, in multicriteria decision context, these notions should be clearly distinguished. This paper shows how this can be done and we provide simple examples to show the differences between both solutions for managing importances and reliabilities of sources. …

New Classes Of Neutrosophic Linear Algebras, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we introduce mainly three new classes of linear algebras; neutrosophic group linear algebras, neutrosophic semigroup linear algebras and neutrosophic set linear algebras. The authors also define the fuzzy analogue of these three structures. This book is organized into seven chapters. Chapter one is introductory in content. The notion of neutrosophic set linear algebras and neutrosophic neutrosophic set linear algebras are introduced and their properties analysed in chapter two. Chapter three introduces the notion of neutrosophic semigroup linear algebras and neutrosophic group linear algebras. A study of their substructures are systematically carried out in this chapter. The fuzzy …

Advances And Applications Of Dsmt For Information Fusion (In Chinese), Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Interval Linear Algebra, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

This Interval arithmetic or interval mathematics developed in 1950’s and 1960’s by mathematicians as an approach to putting bounds on rounding errors and measurement error in mathematical computations. However no proper interval algebraic structures have been defined or studies. In this book we for the first time introduce several types of interval linear algebras and study them. This structure has become indispensable for these concepts will find applications in numerical optimization and validation of structural designs. In this book we use only special types of intervals and introduce the notion of different types of interval linear algebras and interval vector …

Is The Notion Of Mathematical Object An Historical Notion?, Marco Panza

MPP Published Research

"Both historians and philosophers of mathematics frequently speak of mathematical objects. Are they speaking of the same or of similar things? Better: are they appealing to the same notion or to similar notions?"

Transparency In Formal Proof, Cap Petschulat

Boise State University Theses and Dissertations

The oft-emphasized virtue of formal proof is correctness; a machine-checked proof adds greatly to our confidence in a result. But the rigors of formalization give rise to another possible virtue, namely clarity. Given the state of the art, clarity and formality are at odds: complexity of formalization obscures the content of proof. To address this, we develop a notion of proof strategies which extend the well-known notion of proof tactics. Beginning with the foundations of logic, we describe the methods and structures necessary to implement proof strategies, concluding with a proof-of-concept implementation in CheQED, a web-based proof assistant.

Neutrosophic Logic, Wave Mechanics, And Other Stories: Selected Works 2005-2008, Florentin Smarandache, Victor Christianto

Branch Mathematics and Statistics Faculty and Staff Publications

There is beginning for anything; we used to hear that phrase. The same wisdom word applies to us too. What began in 2005 as a short email on some ideas related to interpretation of the Wave Mechanics results in a number of papers and books up to now. Some of these papers can be found in Progress in Physics or elsewhere. It is often recognized that when a mathematician meets a physics-inclined mind then the result is either a series of endless debates or publication. In our story, we prefer to publish rather than perish. Therefore, our purpose with this …

Equational Coalgebraic Logic, Alexander Kurz, Raul Leal

Engineering Faculty Articles and Research

Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviours of the system. A fundamental question in this area is how to obtain, for an arbitrary functor T, a logic for T-coalgebras. We compare two existing proposals, Moss’s coalgebraic logic and the logic of all predicate liftings, by providing one-step translations between them, extending the results in [21] by making systematic use of Stone duality. Our main contribution then is a novel coalgebraic logic, which can be seen as an equational axiomatization of Moss’s logic. The three logics are …

Groups As Graphs, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Through this book, for the first time we represent every finite group in the form of a graph. The authors choose to call these graphs as identity graph, since the main role in obtaining the graph is played by the identity element of the group. This study is innovative because through this description one can immediately look at the graph and say the number of elements in the group G which are self-inversed. Also study of different properties like the subgroups of a group, normal subgroups of a group, p-sylow subgroups of a group and conjugate elements of a group …

Reservation For Other Backward Classes In Indian Central Government Institutions Like Iits, Iims And Aiims – A Study Of The Role Of Media Using Fuzzy Super Frm Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The new notions of super column FRM model, super row FRM model and mixed super FRM model are introduced in this book. These three models are introduced specially to analyze the biased role of the print media on 27 percent reservation for the Other Backward Classes (OBCs) in educational institutions run by the Indian Central Government. This book has four chapters. In chapter one the authors introduce the three types of super FRM models. Chapter two uses these three new super fuzzy models to study the role of media which feverishly argued against 27 percent reservation for OBCs in Central …

Superbimatrices And Their Generalizations, Florentin Smarandache, W.B Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The systematic study of supermatrices and super linear algebra has been carried out in 2008. These new algebraic structures find their applications in fuzzy models, Leontief economic models and data-storage in computers. In this book the authors introduce the new notion of superbimatrices and generalize it to super trimatrices and super n-matrices. Study of these structures is not only interesting and innovative but is also best suited for the computerized world. The main difference between simple bimatrices and super bimatrices is that in case of simple bimatrices we have only one type of product defined on them, whereas in case …

Functorial Coalgebraic Logic: The Case Of Many-Sorted Varieties, Alexander Kurz, Daniela Petrişan

Engineering Faculty Articles and Research

Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This paper makes two contributions. First, a previous result characterizing those functors that have presentations is generalized from endofunctors on one-sorted varieties to functors between many-sorted varieties. This yields an equational logic for the presheaf semantics of higher-order abstract syntax. As another application, we show how the move to functors between many-sorted varieties allows to modularly combine syntax and proof systems of different logics. Second, we show how to associate …

Chinese Neutrosophy And Taoist Natural Philosophy, Florentin Smarandache, Jiang Zhengjie

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

N- Linear Algebra Of Type I And Its Applications, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

With the advent of computers one needs algebraic structures that can simultaneously work with bulk data. One such algebraic structure namely n-linear algebras of type I are introduced in this book and its applications to n-Markov chains and n-Leontief models are given. These structures can be thought of as the generalization of bilinear algebras and bivector spaces. Several interesting n-linear algebra properties are proved. This book has four chapters. The first chapter just introduces n-group which is essential for the definition of nvector spaces and n-linear algebras of type I. Chapter two gives the notion of n-vector spaces and several …

Special Classes Of Set Codes And Their Applications, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduce the notion of set codes, set bicodes and set n-codes. These are the most generalized notions of semigroup n-codes and group n-codes. Several types of set ncodes are defined. Several examples are given to enable the reader to understand the concept. These new classes of codes will find applications in cryptography, computer networking (where fragmenting of codes is to be carried out) and data storage (where confidentiality is to be maintained). We also describe the error detection and error correction of these codes. The authors feel that these codes would be appropriate to the …

The Role Of Algebraic Inferences In Naîm Ibn Mûsa’S Collection Of Geometrical Propositions, Marco Panza

MPP Published Research

Na‘im ibn Musa's lived in Baghdad in the second half of the 9th century. He was probably not a major mathematician. Still his Collection of geometrical propositions---recently edited and translated in French by Roshdi Rashed and Christian Houzel---reflects quite well the mathematical practice that was common in Thabit ibn Qurra's school. A relevant characteristic of Na‘im's treatise is its large use of a form of inferences that can be said ‘algebric' in a sense that will be explained. They occur both in proofs of theorems and in solutions of problems. In the latter case, they enter different sorts of problematic …

Population Modeling By Differential Equations, Hui Luo

Theses, Dissertations and Capstones

A general model for the population of Tibetan antelope is constructed. The present model shows that the given data is reasonably logistic. From this model the extinction of antelopes in China is predicted if we don’t consider the effects of humans on the population. Moreover, this model shows that the population is limited. A projected limiting number is given by this model. Some typical mathematical models are introduced such as exponential model and logistic model. The solutions of those models are analyzed.

A Philosophical Examination Of Proofs In Mathematics, Eric Almeida

Undergraduate Review

No abstract provided.

Pi-Calculus In Logical Form, Marcello M. Bonsangue, Alexander Kurz

Engineering Faculty Articles and Research

Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is done by defining a logical counterpart of categorical constructions including dynamic name allocation and name exponentiation, and showing that they are dual to standard constructs in functor categories. We show that initial algebras of functors defined in terms of these constructs give rise to a logic that is sound, complete, and characterises bisimilarity. The approach is modular, and we apply it to derive a logical formulation of pi-calculus. The resulting logic is a …

Techno-Art Of Selariu Supermathematics Functions, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this album we include the so called Super-Mathematics functions (SMF), which constitute the base for, most often, generating, technical, neo-geometrical objects, therefore less artistic. These functions are the results of 38 years of research, which began at University of Stuttgart in 1969. Since then, 42 related works have been published, written by over 19 authors, as shown in the References. The name was given by the regretted mathematician Professor Emeritus Doctor Engineer Gheorghe Silas who, at the presentation of the very first work in this domain, during the First National Conference of Vibrations in Machine Constructions, Timişoara, Romania, 1978, …

A Unifying Field In Logics: Neutrosophic Logic. Neutrosophy, Neutrosophic Set, Neutrosophic Probability And Statistics - 6th Ed., Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

It was a surprise for me when in 1995 I received a manuscript from the mathematician, experimental writer and innovative painter Florentin Smarandache, especially because the treated subject was of philosophy - revealing paradoxes - and logics. He had generalized the fuzzy logic, and introduced two new concepts: a) “neutrosophy” – study of neutralities as an extension of dialectics; b) and its derivative “neutrosophic”, such as “neutrosophic logic”, “neutrosophic set”, “neutrosophic probability”, and “neutrosophic statistics” and thus opening new ways of research in four fields: philosophy, logics, set theory, and probability/statistics. It was known to me his setting up in …

Special Fuzzy Matrices For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

This book is a continuation of the book, "Elementary fuzzy matrix and fuzzy models for socio-scientists" by the same authors. This book is a little advanced because we introduce a multi-expert fuzzy and neutrosophic models. It mainly tries to help social scientists to analyze any problem in which they need multi-expert systems with multi-models. To cater to this need, we have introduced new classes of fuzzy and neutrosophic special matrices. The first chapter is essentially spent on introducing the new notion of different types of special fuzzy and neutrosophic matrices, and the simple operations on them which are needed in …

Elementary Fuzzy Matrix Theory And Fuzzy Models For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

This book aims to assist social scientists to analyze their problems using fuzzy models. The basic and essential fuzzy matrix theory is given. The book does not promise to give the complete properties of basic fuzzy theory or basic fuzzy matrices. Instead, the authors have only tried to give those essential basically needed to develop the fuzzy model. The authors do not present elaborate mathematical theories to work with fuzzy matrices; instead they have given only the needed properties by way of examples. The authors feel that the book should mainly help social scientists who are interested in finding out …

Neutrosophy In Arabic Philosophy, Florentin Smarandache, Salah Osman

Branch Mathematics and Statistics Faculty and Staff Publications

Is there an absolute reality? Yes, “God” is the only absolute reality. The three main religions: Judaism, Christianity and Islam have all claimed that God is a supreme reality, and that all other creatures are finite beings. Since they relatively continue and also relatively change, so they can not be absolute. The world is full of paradoxes, there is no absolute persistence, and also there is no change at a stretch. There is no absolute truth and there is no continuous falsehood. What exist are many faces or aspects between the two terms. Those faces are reduced to a neutral …

Neutrality And Many-Valued Logics, Florentin Smarandache, Andrew Schumann

Branch Mathematics and Statistics Faculty and Staff Publications

ThisbookwrittenbyA. Schumann &F. Smarandache isdevotedtoadvances of non-Archimedean multiple-validity idea and its applications to logical reasoning. Leibnitz was the first who proposed Archimedes’ axiom to be rejected. He postulated infinitesimals (infinitely small numbers) of the unit interval [0,1] which are larger than zero, but smaller than each positive real number. Robinson applied this idea into modern mathematics in [117] and developed so-called non-standard analysis. In the framework of non-standard analysis there were obtained many interesting results examined in [37], [38], [74], [117].

There exists also a different version of mathematical analysis in that Archimedes’ axiom is rejected, namely, p-adic analysis (e.g., …

Lowness And Π Nullsets, Rod Downey, Andre Nies, Rebecca Weber, Liang Yu

Dartmouth Scholarship

We prove that there exists a noncomputable c.e. real which is low for weak 2-randomness, a definition of randomness due to Kurtz, and that all reals which are low for weak 2-randomness are low for Martin-Lof randomness.

François Viète, Between Analysis And Cryptanalysis, Marco Panza

MPP Published Research

François Viète is considered the father both of modern algebra and of modern cryptanalysis. The paper outlines Viète's major contributions in these two mathematical fields and argues that, despite an obvious parallel between them, there is an essential difference. Viète's 'new algebra' relies on his reform of the classical method of analysis and synthesis, in particular on a new conception of analysis and the introduction of a new formalism. The procedures he suggests to decrypt coded messages are particular forms of analysis based on the use of formal methods. However, Viète's algebraic analysis is not an analysis in the same …

Application Of Fuzzy State Aggregation And Policy Hill Climbing To Multi-Agent Systems In Stochastic Environments, Dean C. Wardell

Theses and Dissertations

Reinforcement learning is one of the more attractive machine learning technologies, due to its unsupervised learning structure and ability to continually even as the operating environment changes. Applying this learning to multiple cooperative software agents (a multi-agent system) not only allows each individual agent to learn from its own experience, but also opens up the opportunity for the individual agents to learn from the other agents in the system, thus accelerating the rate of learning. This research presents the novel use of fuzzy state aggregation, as the means of function approximation, combined with the policy hill climbing methods of Win …