Mathematics Commons^™

Subset Non Associative Topological Spaces, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The concept of non associative topological space is new and innovative. In general topological spaces are defined as union and intersection of subsets of a set X. In this book authors for the first time define non associative topological spaces using subsets of groupoids or subsets of loops or subsets of groupoid rings or subsets of loop rings. This study leads to several interesting results in this direction.

Over hundred problems on non associative topological spaces using of subsets of loops or groupoids is suggested at the end of chapter two. Also conditions for these non associative subset topological spaces …

Subset Polynomial Semirings And Subset Matrix Semirings, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors introduce the notion of subset polynomial semirings and subset matrix semirings. The study of algebraic structures using subsets were recently carried out by the authors. Here we define the notion of subset row matrices, subset column matrices and subset m × n matrices. Study of this kind is developed in chapter two of this book. If we use subsets of a set X; say P(X), the power set of the set X....

Hence if P(X) is replaced by a group or a semigroup we get the subset matrix to be only a subset matrix semigroup. If …

Subset Interval Groupoids, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The study of groupoids is meager and we have recently introduced the new notion of subset groupoids and have studied them. It is interesting to keep on record that interval groupoids have been studied by us in 2010. Further when the subsets of a loop are taken they also form only a subset groupoid and not a subset loop. Thus we do not have the concept of subset interval loop they only form a subset interval groupoid. Special elements like subset interval zero divisors, subset interval idempotents and subset interval units are studied. Concept of subset interval groupoid homomorphism is …

Algebraic Structures Using Subsets, Florentin Smarandache, W.B Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The study of subsets and giving algebraic structure to these subsets of a set started in the mid 18th century by George Boole. The first systematic presentation of Boolean algebra emerged in 1860s in papers written by William Jevons and Charles Sanders Peirce. Thus we see if P(X) denotes the collection of all subsets of the set X, then P(X) under the op erations of union and intersection is a Boolean algebra. Next the subsets of a set was used in the construction of topological spaces. We in this book consider subsets of a semigroup or a group or a …

Algebraic Structures Using [0,N), Florentin Smarandache, Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce a new method of building algebraic structures on the interval [0, n). This study is interesting and innovative. However, [0, n) is a semigroup under product, × modulo n and a semigroup under min or max operation. Further [0, n) is a group under addition modulo n. We see [0, n) under both max and min operation is a semiring. [0, n) under + and × is not in general a ring. We define S = {[0, n), +, ×} to be a pseudo special ring as the distributive law is …

Set Theoretic Approach To Algebraic Structures In Mathematics - A Revelation, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors bring out how sets in algebraic structure can be used to construct most generalized algebraic structures, like set linear algebra/vector space, set ideals in rings and semigroups. This sort of study is not only innovative but infact very helpful in cases instead of working with a large data we can work with a considerably small data. Thus instead of working with a vector space or a linear algebra V over a field F we can work with a subset in V and a needed subset in F, this can save both time and economy. The concept …

Fuzzy Neutrosophic Models For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book, authors give the notion of different neutrosophic models like, neutrosophic cognitive maps (NCMs), neutrosophic relational maps (NEMs), neutrosophic relational equations (NREs), neutrosophic bidirectional associative memories (NBAMs) and neutrosophic associative memories (NAMs) for socio scientists. This book has six chapters. The first chapter introduces the basic concepts of neutrosophic numbers and notions about neutrosophic graphs which are essential to construct these neutrosophic models. In chapter two we describe the concept of neutrosophic matrices and the essential operations related with them which are used in the study and working of these neutrosophic models. However the reader must be familiar …

Variance On Topics Of Plane Geometry, Florentin Smarandache, Ion Patrascu

Branch Mathematics and Statistics Faculty and Staff Publications

This book contains 21 papers of plane geometry. It deals with various topics, such as: quasi-isogonal cevians, nedians, polar of a point with respect to a circle, anti-bisector, aalsonti-symmedian, anti-height and their isogonal. A nedian is a line segment that has its origin in a triangle’s vertex and divides the opposite side in Q equal segments. The papers also study distances between remarkable points in the 2D-geometry, the circumscribed octagon and the inscribable octagon, the circles adjointly ex-inscribed associated to a triangle, and several classical results such as: Carnot circles, Euler’s line, Desargues theorem, Sondat’s theorem, Dergiades theorem, Stevanovic’s theorem, …

Nominal Computation Theory (Dagstuhl Seminar 13422), Mikołaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 13422 “Nominal Computation Theory”. The underlying theme of the seminar was nominal sets (also known as sets with atoms or Fraenkel-Mostowski sets) and they role and applications in three distinct research areas: automata over infinite alphabets, program semantics using nominal sets and nominal calculi of concurrent processes.

Dynamic Sequent Calculus For The Logic Of Epistemic Actions And Knowledge, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

"Dynamic Logics (DLs) form a large family of nonclassical logics, and perhaps the one enjoying the widest range of applications. Indeed, they are designed to formalize change caused by actions of diverse nature: updates on the memory state of a computer, displacements of moving robots in an environment, measurements in models of quantum physics, belief revisions, knowledge updates, etc. In each of these areas, DL-formulas express properties of the model encoding the present state of affairs, as well as the pre- and post-conditions of a given action. Actions are semantically represented as transformations of one model into another, encoding the …

Epistemic Updates On Algebras, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss-Solecki, without the common knowledge operator. We dually characterize the product update construction of EAK as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. This dual characterization naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). As an application of this dual characterization, we …

Nominal Coalgebraic Data Types With Applications To Lambda Calculus, Alexander Kurz, Daniela Petrişan, Paula Severi, Fer-Jan De Vries

Engineering Faculty Articles and Research

We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. We give applications to the infinitary lambda calculus.

A New Approach For Computing Wz Factorization, Effat Golpar-Raboky

Applications and Applied Mathematics: An International Journal (AAM)

Linear systems arise frequently in scientific and engineering computing. Various serial and parallel algorithms have been introduced for their solution. This paper seeks to compute the WZ and the ZW factorizations of a nonsingular matrix A using the right inverse of nested submatrices of A. We introduce two new matrix factorizations, the QZ and the QW factorizations, and compute the factorizations using our proposed approach.

Solution Of Fuzzy System Of Linear Equations With Polynomial Parametric Form, Diptiranjan Behera, S. Chakraverty

Applications and Applied Mathematics: An International Journal (AAM)

This paper proposed two new and simple solution methods to solve a fuzzy system of linear equations having fuzzy coefficients and crisp variables using a polynomial parametric form of fuzzy numbers. Related theorems are stated and proved. The proposed methods are used to solve example problems. The results obtained are also compared with the known solutions and are found to be in good agreement.

An Analysis Of Differences In Approaches To Systems Of Linear Equations Problems Given Multiple Choice Answers, Amber Lagasse

Honors Theses and Capstones

This descriptive study focuses on the approaches college students (ages 20 -24) use when solving systems of linear equations problems that have multiple choice answers. Participants were from a midsize public university in the northeast. Four approaches were considered – three forwards approaches: 1) substitution, 2) elimination, and 3) graphing, and one backwards approach: plugging in the x and y values from each multiple choice option. Participants solved systems of linear equations problems and answered questions based on their methods in a structured clinical interview. Each participant also filled out a questionnaire. It was shown from the results of this …

Weierstrass Points On Families Of Graphs, William D. Lindsay Jr.

Master's Theses

No abstract provided.

Cognitively Guided Instruction (Cgi): Whats The Point? A Look Into Cgi And Cgi’S Potential Role In An 8th Grade Mathematics Class, Bryan C. Anderson

Mathematics Graduate Theses

This study examined the current research that exists on Cognitively Guided Instruction (CGI) and how it would look when implemented into an 8th grade mathematics classroom. Additional questions examined are if CGI would develop strong student understanding between mathematical concepts and their real world applications; if CGI techniques and questioning impact the interest level of mathematics students; and what type of extra resources would be needed by teachers to implement Cognitively Guided Instruction into their curriculum. Although much of the CGI research has been done on elementary students, by also examining key algebra practices the author was able to synthesize …

Characterizing And Supporting Change In Algebra Students' Representational Fluency In A Cas/Paper-And-Pencil Environment, Nicole L. Fonger

Dissertations

Representational fluency (RF) includes an ability to interpret, create, move within and among, and connect tool-based representations of mathematical objects. Taken as an indicator of conceptual understanding, there is a need to better support school algebra students’ RF in learning environments that utilize both computer algebra systems (CAS) and paper-and-pencil. The purpose of this research was to: (a) characterize change in ninth-grade algebra students’ RF in solving problems involving linear equations, and (b) determine conditions of a CAS and paper-and-pencil learning environment in which those students changed their RF.

Change in RF was measured by comparing results from initial to …

Commutative Rings Graded By Abelian Groups, Brian P. Johnson

Department of Mathematics: Dissertations, Theses, and Student Research

Rings graded by Z and Z^d play a central role in algebraic geometry and commutative algebra, and the purpose of this thesis is to consider rings graded by any abelian group. A commutative ring is graded by an abelian group if the ring has a direct sum decomposition by additive subgroups of the ring indexed over the group, with the additional condition that multiplication in the ring is compatible with the group operation. In this thesis, we develop a theory of graded rings by defining analogues of familiar properties---such as chain conditions, dimension, and Cohen-Macaulayness. We then study the …

Prime Ideals In Two-Dimensional Noetherian Domains And Fiber Products And Connected Sums, Ela Celikbas

Department of Mathematics: Dissertations, Theses, and Student Research

This thesis concerns three topics in commutative algebra:

1) The projective line over the integers (Chapter 2),

2) Prime ideals in two-dimensional quotients of mixed power series-polynomial rings (Chapter 3),

3) Fiber products and connected sums of local rings (Chapter 4),

In the first chapter we introduce basic terminology used in this thesis for all three topics.

In the second chapter we consider the partially ordered set (poset) of prime ideals of the projective line Proj(Z[h,k]) over the integers Z, and we interpret this poset as Spec(Z[x]) U Spec(Z[1/x]) with an appropriate identification. …

How To Create A Lie Algebra, Ian M. Anderson

How to... in 10 minutes or less

We show how to create a Lie algebra in Maple using three of the most common approaches: matrices, vector fields and structure equations. PDF and Maple worksheets can be downloaded from the links below.

A New Four Point Circular-Invariant Corner-Cutting Subdivision For Curve Design, Jian-Ao Lian

Applications and Applied Mathematics: An International Journal (AAM)

A 4-point nonlinear corner-cutting subdivision scheme is established. It is induced from a special C-shaped biarc circular spline structure. The scheme is circular-invariant and can be effectively applied to 2-dimensional (2D) data sets that are locally convex. The scheme is also extended adaptively to non-convex data. Explicit examples are demonstrated.

Numerical Solution Of Interval And Fuzzy System Of Linear Equations, Suparna Das, S. Chakraverty

Applications and Applied Mathematics: An International Journal (AAM)

A system of linear equations, in general is solved in open literature for crisp unknowns, but in actual case the parameters (coefficients) of the system of linear equations contain uncertainty and are less crisp. The uncertainties may be considered in term of interval or fuzzy number. In this paper, a detail of study of linear simultaneous equations with interval and fuzzy parameter (triangular and trapezoidal) has been performed. New methods have been proposed for solving such systems. First, the methods have been tested for known problems viz. a circuit analysis solved in the literature and the results are found to …

A Novel Algorithm To Forecast Enrollment Based On Fuzzy Time Series, Haneen T. Jasim, Abdul G. Jasim Salim, Kais I. Ibraheem

Applications and Applied Mathematics: An International Journal (AAM)

In this paper we propose a new method to forecast enrollments based on fuzzy time series. The proposed method belongs to the first order and time-variant methods. Historical enrollments of the University of Alabama from year 1948 to 2009 are used in this study to illustrate the forecasting process. By comparing the proposed method with other methods we will show that the proposed method has a higher accuracy rate for forecasting enrollments than the existing methods.

On Lattice Structure Of The Probability Functions On L*, Mashaallah Mashinchi, Ghader Khaledi

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, the set of all probability functions on L* is studied, where L* is the lattice of bothvalued fuzzy sets or intuitionistic fuzzy sets. It is shown that the set of all probability functions on L* endowed with two appropriate operations has a monoid structure which is also a distributive complete lattice. Also the lattice structure of the set of all probability functions on L* induced by an appropriate function on [0, 1] to itself is studied. Some lattice (dual) isomorphisms are discussed that suggests probabilities on L* could be considered in the framework of theories modeling imprecision.

The Effects Of Goal Setting In A Developmental Algebra Course, Richard Leo Hunt

Masters Theses & Specialist Projects

The purpose of this study was to study the effects of goal setting on students in a developmental algebra course. This study examined the effects on test scores for students that were prescribed a test score goal, students that created their own test score goal, and then compared to a control group. Three classes of developmental algebra were chosen with a total of 25 participants with reported results. Results showed that students with a goal on a test did not score significantly better than students without a goal, but did score significantly better on a test after the goal than …

The Rook-Brauer Algebra, Elise G. Delmas

Mathematics, Statistics, and Computer Science Honors Projects

We introduce an associative algebra RB_k(x) that has a basis of rook-Brauer diagrams. These diagrams correspond to partial matchings on 2k vertices. The rook-Brauer algebra contains the group algebra of the symmetric group, the Brauer algebra, and the rook monoid algebra as subalgebras. We show that the basis of RB_k(x) is generated by special diagrams s_i, t_i (1 <= i < k) and p_j (1 <= j <= k), where the s_i are the simple transpositions that generated the symmetric group S_k, the t_i are the "contraction maps" which generate the …

Matrix Product Application To Fibonacci Sequence, Abigail Damaris Muniz^, Jesus Loya^, Hamide Dogan*

COURI Symposium Abstracts, Spring 2012

No abstract provided.

Splitting Fields And Periods Of Fibonacci Sequences Modulo Primes, Sanjai Gupta, Parousia Rockstroh '08, Francis E. Su

All HMC Faculty Publications and Research

We consider the period of a Fibonacci sequence modulo a prime and provide an accessible, motivated treatment of this classical topic using only ideas from linear and abstract algebra. Our methods extend to general recurrences with prime moduli and provide some new insights. And our treatment highlights a nice application of the use of splitting fields that might be suitable to present in an undergraduate course in abstract algebra or Galois theory.

Session D-3: Discrete Mathematics: A Great Curriculum Connector, Donald Porzio

Professional Learning Day

Many topics that fall under the umbrella of Discrete Mathematics cut across the traditional high school curriculum areas of algebra, geometry, and pre-calculus. Come try some classroom-ready hands-on Discrete Mathematics activities that illustrate the true interconnectedness of mathematics.