Science.gov

Sample records for algebra geometry trigonometry

  1. Algebraic trigonometry

    NASA Astrophysics Data System (ADS)

    Vaninsky, Alexander

    2011-04-01

    This article introduces a trigonometric field (TF) that extends the field of real numbers by adding two new elements: sin and cos - satisfying an axiom sin2 + cos2 = 1. It is shown that by assigning meaningful names to particular elements of the field, all known trigonometric identities may be introduced and proved. Two different interpretations of the TF are discussed with many others potentially possible. The main objective of this article is to introduce a broader view of trigonometry that can serve as motivation for mathematics students and teachers to study and teach abstract algebraic structures.

  2. Application of Computer Graphics to Graphing in Algebra and Trigonometry. Final Report.

    ERIC Educational Resources Information Center

    Morris, J. Richard

    This project was designed to improve the graphing competency of students in elementary algebra, intermediate algebra, and trigonometry courses at Virginia Commonwealth University. Computer graphics programs were designed using an Apple II Plus computer and implemented using Pascal. The software package is interactive and gives students control…

  3. Numerical algebraic geometry and algebraic kinematics

    NASA Astrophysics Data System (ADS)

    Wampler, Charles W.; Sommese, Andrew J.

    In this article, the basic constructs of algebraic kinematics (links, joints, and mechanism spaces) are introduced. This provides a common schema for many kinds of problems that are of interest in kinematic studies. Once the problems are cast in this algebraic framework, they can be attacked by tools from algebraic geometry. In particular, we review the techniques of numerical algebraic geometry, which are primarily based on homotopy methods. We include a review of the main developments of recent years and outline some of the frontiers where further research is occurring. While numerical algebraic geometry applies broadly to any system of polynomial equations, algebraic kinematics provides a body of interesting examples for testing algorithms and for inspiring new avenues of work.

  4. Algebraic Trigonometry

    ERIC Educational Resources Information Center

    Vaninsky, Alexander

    2011-01-01

    This article introduces a trigonometric field (TF) that extends the field of real numbers by adding two new elements: sin and cos--satisfying an axiom sin[superscript 2] + cos[superscript 2] = 1. It is shown that by assigning meaningful names to particular elements of the field, all known trigonometric identities may be introduced and proved. Two…

  5. Investigating the purpose of trigonometry in the modern sciences

    NASA Astrophysics Data System (ADS)

    Hertel, Joshua T.

    This dissertation reports the results of a qualitative research project that aimed to develop a research-based perspective on the purpose of trigonometry in the modern sciences. The investigation was guided by three objectives. First, the study sought to identify the purpose of trigonometry as described by educators and high school textbooks. Second, the research investigated the perspectives these sources held about definitions of the trigonometric functions. Third, the investigation examined the potential benefits and drawbacks of a line-segment definition of the trigonometric functions. The study followed a grounded theory methodology with data collection and analysis intertwined. Participants included faculty from two large Midwestern research universities, high school teachers, and authors of standards documents. Textbooks were drawn from introductory algebra, geometry, advanced algebra, precalculus, and calculus texts. Data collected included surveys, interviews, and textbook excerpts. Analysis used the constant comparative method (Corbin & Strauss, 2008; Glaser & Strauss, 2006/1967). Analysis resulted in the emergence of a grounded theory, the tensions of trigonometry, which described three interrelated themes within the data: definition, application, and role. Two ideas emerged that connected the tensions of trigonometry, the regions of interaction, which described the interplay between the three tensions, and the idealized dichotomy of trigonometry education, which outlined opposing perspectives on trigonometry: trigonometry for all and trigonometry for some. The grounded theory outlines a range of competing purposes for trigonometry in the modern sciences. It suggests that educators are engaged in a process of continual negotiation that results in the formation of a localized purpose of trigonometry. The benefits and drawbacks of different definitions are not based on mathematical sophistication, but are situational. Furthermore, the theory suggests that

  6. A Trigonometry of Quantum States

    NASA Astrophysics Data System (ADS)

    Gustafson, Karl

    2010-05-01

    I introduce a trigonometry to accompany the geometry of quantum states. This trigonometry is based upon my noncommutative operator trigonometry in which central entities are antieigen-values, antieigenvectors, and operator turning angles. The outcome of this paper is new understandings from this trigonometric viewpoint of important quantum state properties of entanglement, entropy, Bloch spheres, disentanglement, decoherence, Schmidt angles, quantum channels, and orbit stratification.

  7. Math Sense: Algebra and Geometry.

    ERIC Educational Resources Information Center

    Howett, Jerry

    This book is designed to help students gain the range of math skills they need to succeed in life, work, and on standardized tests; overcome math anxiety; discover math as interesting and purposeful; and develop good number sense. Topics covered in this book include algebra and geometry. Lessons are organized around four strands: (1) skill lessons…

  8. Trigonometry Learning

    ERIC Educational Resources Information Center

    Gur, Hulya

    2009-01-01

    Background: Trigonometry is an area of mathematics that students believe to be particularly difficult and abstract compared with the other subjects of mathematics. Trigonometry is often introduced early in year 8 with most textbooks traditionally starting with naming sides of right-angled triangles. Students need to see and understand why their…

  9. Weaving Geometry and Algebra Together

    ERIC Educational Resources Information Center

    Cetner, Michelle

    2015-01-01

    When thinking about student reasoning and sense making, teachers must consider the nature of tasks given to students along with how to plan to use the tasks in the classroom. Students should be presented with tasks in a way that encourages them to draw connections between algebraic and geometric concepts. This article focuses on the idea that it…

  10. Wartime Trigonometry

    ERIC Educational Resources Information Center

    Goetz, Albert

    2016-01-01

    "Media Clips" appears in every issue of "Mathematics Teacher," offering readers contemporary, authentic applications of quantitative reasoning based on print or electronic media. Based on "In All the Light We Cannot See" (2014), by Anthony Doerr, this article provides a brief trigonometry problem that was solved by…

  11. Duncan F. Gregory, William Walton and the development of British algebra: 'algebraical geometry', 'geometrical algebra', abstraction.

    PubMed

    Verburgt, Lukas M

    2016-01-01

    This paper provides a detailed account of the period of the complex history of British algebra and geometry between the publication of George Peacock's Treatise on Algebra in 1830 and William Rowan Hamilton's paper on quaternions of 1843. During these years, Duncan Farquharson Gregory and William Walton published several contributions on 'algebraical geometry' and 'geometrical algebra' in the Cambridge Mathematical Journal. These contributions enabled them not only to generalize Peacock's symbolical algebra on the basis of geometrical considerations, but also to initiate the attempts to question the status of Euclidean space as the arbiter of valid geometrical interpretations. At the same time, Gregory and Walton were bound by the limits of symbolical algebra that they themselves made explicit; their work was not and could not be the 'abstract algebra' and 'abstract geometry' of figures such as Hamilton and Cayley. The central argument of the paper is that an understanding of the contributions to 'algebraical geometry' and 'geometrical algebra' of the second generation of 'scientific' symbolical algebraists is essential for a satisfactory explanation of the radical transition from symbolical to abstract algebra that took place in British mathematics in the 1830s-1840s. PMID:26806075

  12. Duncan F. Gregory, William Walton and the development of British algebra: 'algebraical geometry', 'geometrical algebra', abstraction.

    PubMed

    Verburgt, Lukas M

    2016-01-01

    This paper provides a detailed account of the period of the complex history of British algebra and geometry between the publication of George Peacock's Treatise on Algebra in 1830 and William Rowan Hamilton's paper on quaternions of 1843. During these years, Duncan Farquharson Gregory and William Walton published several contributions on 'algebraical geometry' and 'geometrical algebra' in the Cambridge Mathematical Journal. These contributions enabled them not only to generalize Peacock's symbolical algebra on the basis of geometrical considerations, but also to initiate the attempts to question the status of Euclidean space as the arbiter of valid geometrical interpretations. At the same time, Gregory and Walton were bound by the limits of symbolical algebra that they themselves made explicit; their work was not and could not be the 'abstract algebra' and 'abstract geometry' of figures such as Hamilton and Cayley. The central argument of the paper is that an understanding of the contributions to 'algebraical geometry' and 'geometrical algebra' of the second generation of 'scientific' symbolical algebraists is essential for a satisfactory explanation of the radical transition from symbolical to abstract algebra that took place in British mathematics in the 1830s-1840s.

  13. Mathematics: Algebra and Geometry. GED Scoreboost.

    ERIC Educational Resources Information Center

    Hoyt, Cathy

    GED "Scoreboost" materials target exactly the skills one needs to pass the General Educational Development (GED) tests. This book focuses on the GED Mathematics test. To prepare for the test, the test taker needs to learn skills in number and operation sense, data and statistics, geometry and measurement, and algebra. To pass the test, the test…

  14. Connecting Functions in Geometry and Algebra

    ERIC Educational Resources Information Center

    Steketee, Scott; Scher, Daniel

    2016-01-01

    One goal of a mathematics education is that students make significant connections among different branches of mathematics. Connections--such as those between arithmetic and algebra, between two-dimensional and three-dimensional geometry, between compass-and-straight-edge constructions and transformations, and between calculus and analytic…

  15. Computational algebraic geometry of epidemic models

    NASA Astrophysics Data System (ADS)

    Rodríguez Vega, Martín.

    2014-06-01

    Computational Algebraic Geometry is applied to the analysis of various epidemic models for Schistosomiasis and Dengue, both, for the case without control measures and for the case where control measures are applied. The models were analyzed using the mathematical software Maple. Explicitly the analysis is performed using Groebner basis, Hilbert dimension and Hilbert polynomials. These computational tools are included automatically in Maple. Each of these models is represented by a system of ordinary differential equations, and for each model the basic reproductive number (R0) is calculated. The effects of the control measures are observed by the changes in the algebraic structure of R0, the changes in Groebner basis, the changes in Hilbert dimension, and the changes in Hilbert polynomials. It is hoped that the results obtained in this paper become of importance for designing control measures against the epidemic diseases described. For future researches it is proposed the use of algebraic epidemiology to analyze models for airborne and waterborne diseases.

  16. PREFACE: Algebra, Geometry, and Mathematical Physics 2010

    NASA Astrophysics Data System (ADS)

    Stolin, A.; Abramov, V.; Fuchs, J.; Paal, E.; Shestopalov, Y.; Silvestrov, S.

    2012-02-01

    This proceedings volume presents results obtained by the participants of the 6th Baltic-Nordic workshop 'Algebra, Geometry, and Mathematical Physics (AGMP-6)' held at the Sven Lovén Centre for Marine Sciences in Tjärnö, Sweden on October 25-30, 2010. The Baltic-Nordic Network AGMP 'Algebra, Geometry, and Mathematical Physics' http://www.agmp.eu was created in 2005 on the initiative of two Estonian universities and two Swedish universities: Tallinn University of Technology represented by Eugen Paal (coordinator of the network), Tartu University represented by Viktor Abramov, Lund University represented by Sergei Silvestrov, and Chalmers University of Technology and the University of Gothenburg represented by Alexander Stolin. The goal was to promote international and interdisciplinary cooperation between scientists and research groups in the countries of the Baltic-Nordic region in mathematics and mathematical physics, with special emphasis on the important role played by algebra and geometry in modern physics, engineering and technologies. The main activities of the AGMP network consist of a series of regular annual international workshops, conferences and research schools. The AGMP network also constitutes an important educational forum for scientific exchange and dissimilation of research results for PhD students and Postdocs. The network has expanded since its creation, and nowadays its activities extend beyond countries in the Baltic-Nordic region to universities in other European countries and participants from elsewhere in the world. As one of the important research-dissimilation outcomes of its activities, the network has a tradition of producing high-quality research proceedings volumes after network events, publishing them with various international publishers. The PDF also contains the following: List of AGMP workshops and other AGMP activities Main topics discussed at AGMP-6 Review of AGMP-6 proceedings Acknowledgments List of Conference Participants

  17. Differential geometry on Hopf algebras and quantum groups

    SciTech Connect

    Watts, P.

    1994-12-15

    The differential geometry on a Hopf algebra is constructed, by using the basic axioms of Hopf algebras and noncommutative differential geometry. The space of generalized derivations on a Hopf algebra of functions is presented via the smash product, and used to define and discuss quantum Lie algebras and their properties. The Cartan calculus of the exterior derivative, Lie derivative, and inner derivation is found for both the universal and general differential calculi of an arbitrary Hopf algebra, and, by restricting to the quasitriangular case and using the numerical R-matrix formalism, the aforementioned structures for quantum groups are determined.

  18. The Bell states in noncommutative algebraic geometry

    NASA Astrophysics Data System (ADS)

    Beil, Charlie

    2014-10-01

    We introduce new mathematical aspects of the Bell states using matrix factorizations, non-noetherian singularities, and noncommutative blowups. A matrix factorization of a polynomial p consists of two matrices ϕ1, ϕ2 such that ϕ1ϕ2 = ϕ2ϕ1 = p id. Using this notion, we show how the Bell states emerge from the separable product of two mixtures, by defining pure states over complex matrices rather than just the complex numbers. We then show in an idealized algebraic setting that pure states are supported on non-noetherian singularities. Moreover, we find that the collapse of a Bell state is intimately related to the representation theory of the noncommutative blowup along its singular support. This presents an exchange in geometry: the nonlocal commutative spacetime of the entangled state emerges from an underlying local noncommutative spacetime.

  19. Elements of Mathematics, Book 9: Linear Algebra and Geometry with Trigonometry.

    ERIC Educational Resources Information Center

    Exner, Robert; And Others

    One of 12 books developed for use with the core material (Book O) of the Elements of Mathematics Program, this text covers material well beyond the scope of the usual secondary mathematics sequences. These materials are designed for highly motivated students with strong verbal abilities; mathematical theories and ideas are developed through…

  20. From geometry to algebra: the Euclidean way with technology

    NASA Astrophysics Data System (ADS)

    Ferrarello, Daniela; Flavia Mammana, Maria; Pennisi, Mario

    2016-05-01

    In this paper, we present the results of an experimental classroom activity, history-based with a phylogenetic approach, to achieve algebra properties through geometry. In particular, we used Euclidean propositions, processed them by a dynamic geometry system and translate them into algebraic special products.

  1. Trigonometry, Including Snell's Theorem.

    ERIC Educational Resources Information Center

    Kent, David

    1980-01-01

    Aspects of the instruction of trigonometry in secondary school mathematics are reviewed. Portions of this document cover basic introductions, a student-developed theorem, the cosine rule, inverse functions, and a sample outdoor activity. (MP)

  2. Enumerative Geometry, Tau-Functions and Heisenberg-Virasoro Algebra

    NASA Astrophysics Data System (ADS)

    Alexandrov, A.

    2015-08-01

    In this paper we establish relations between three enumerative geometry tau-functions, namely the Kontsevich-Witten, Hurwitz and Hodge tau-functions. The relations allow us to describe the tau-functions in terms of matrix integrals, Virasoro constraints and Kac-Schwarz operators. All constructed operators belong to the algebra (or group) of symmetries of the KP hierarchy.

  3. Misconceptions in Rational Numbers, Probability, Algebra, and Geometry

    ERIC Educational Resources Information Center

    Rakes, Christopher R.

    2010-01-01

    In this study, the author examined the relationship of probability misconceptions to algebra, geometry, and rational number misconceptions and investigated the potential of probability instruction as an intervention to address misconceptions in all 4 content areas. Through a review of literature, 5 fundamental concepts were identified that, if…

  4. From string theory to algebraic geometry and back

    SciTech Connect

    Brinzanescu, Vasile

    2011-02-10

    We describe some facts in physics which go up to the modern string theory and the related concepts in algebraic geometry. Then we present some recent results on moduli-spaces of vector bundles on non-Kaehler Calabi-Yau 3-folds and their consequences for heterotic string theory.

  5. Math Sense: Algebra and Geometry. Teacher's Resource Guide.

    ERIC Educational Resources Information Center

    Phillips, Jan; Osmus, Kathy

    This book is a teacher's resource guide designed to help students gain the range of math skills they need to succeed in life, work, and on standardized tests; overcome math anxiety; discover math as interesting and purposeful; and develop good number sense. Topics covered in this book include algebra and geometry. Lessons are organized around four…

  6. Trigonometry with Year 8: Part 3

    ERIC Educational Resources Information Center

    Steer, Jessica; de Vila, Maria Antonieta; Eaton, James

    2009-01-01

    This final article focuses in particular on the engagement of year 8 students who were taught trigonometry using dynamic geometry software ("Geometer's SketchPad"), as outlined in "MT214" and with resources from the ATM website. The project was implemented in three different classrooms in two different, multiracial, comprehensive and…

  7. Examining the Effects of Gender, Poverty, Attendance, and Ethnicity on Algebra, Geometry, and Trigonometry Performance in a Public High School

    ERIC Educational Resources Information Center

    Shafiq, Hasan

    2013-01-01

    Over the last few decades school accountability for student performance has become an issue at the forefront of education. The federal No Child Left Behind Act of 2001 (NCLB) and various regulations by individual states have set standards for student performance at both the district and individual public and charter school levels, and certain…

  8. Integrating the Study of Trigonometry, Vectors, and Force Through Modeling.

    ERIC Educational Resources Information Center

    Doerr, Helen M.

    1996-01-01

    Investigates the construction of understanding of the motion of an object down an inclined plane which takes place through the process of model building in an integrated algebra, trigonometry, and physics class. Discusses four major themes related to student learning through modeling that emerged from the results. Discusses implications for…

  9. Brain activity associated with translation from a visual to a symbolic representation in algebra and geometry.

    PubMed

    Leikin, Mark; Waisman, Ilana; Shaul, Shelley; Leikin, Roza

    2014-03-01

    This paper presents a small part of a larger interdisciplinary study that investigates brain activity (using event related potential methodology) of male adolescents when solving mathematical problems of different types. The study design links mathematics education research with neurocognitive studies. In this paper we performed a comparative analysis of brain activity associated with the translation from visual to symbolic representations of mathematical objects in algebra and geometry. Algebraic tasks require translation from graphical to symbolic representation of a function, whereas tasks in geometry require translation from a drawing of a geometric figure to a symbolic representation of its property. The findings demonstrate that electrical activity associated with the performance of geometrical tasks is stronger than that associated with solving algebraic tasks. Additionally, we found different scalp topography of the brain activity associated with algebraic and geometric tasks. Based on these results, we argue that problem solving in algebra and geometry is associated with different patterns of brain activity.

  10. [Thomas Fincke and trigonometry].

    PubMed

    Schönbeck, Jürgen

    2004-01-01

    Thomas Fincke (January 6th, 1561 - April 24th, 1650), born in Flensburg (Germany), was one of the very most important and significant scientists in Denmark during the seventeenth century, a mathematician and astrologer and physician in the beginning of modern science, a representative of humanism and an influentual academic organizer. He studied in Strasbourg (since 1577) and Padua (since 1583) and received his M.D. in Basel (1587), he practised as a physician throughtout his life (since 1587 or 1590) and became a professor at Copenhagen (1591). But he was best known because of his Geometriae rotundi libri XIIII (1583), a famous book on plane and spherical trigonometry, based not on Euclid but on Petrus Ramus. In this influentual work, in which Fincke introduced the terms tangent and secant and probable first noticed the Law of Tangents and the so-called Newton-Oppel-Mauduit-Simpson-Mollweide-Gauss-formula, he showed himself to be ,,abreast of the mathematics of his time".

  11. [Thomas Fincke and trigonometry].

    PubMed

    Schönbeck, Jürgen

    2004-01-01

    Thomas Fincke (January 6th, 1561 - April 24th, 1650), born in Flensburg (Germany), was one of the very most important and significant scientists in Denmark during the seventeenth century, a mathematician and astrologer and physician in the beginning of modern science, a representative of humanism and an influentual academic organizer. He studied in Strasbourg (since 1577) and Padua (since 1583) and received his M.D. in Basel (1587), he practised as a physician throughtout his life (since 1587 or 1590) and became a professor at Copenhagen (1591). But he was best known because of his Geometriae rotundi libri XIIII (1583), a famous book on plane and spherical trigonometry, based not on Euclid but on Petrus Ramus. In this influentual work, in which Fincke introduced the terms tangent and secant and probable first noticed the Law of Tangents and the so-called Newton-Oppel-Mauduit-Simpson-Mollweide-Gauss-formula, he showed himself to be ,,abreast of the mathematics of his time". PMID:15290836

  12. Numerical algebraic geometry: a new perspective on gauge and string theories

    NASA Astrophysics Data System (ADS)

    Mehta, Dhagash; He, Yang-Hui; Hauensteine, Jonathan D.

    2012-07-01

    There is a rich interplay between algebraic geometry and string and gauge theories which has been recently aided immensely by advances in computational algebra. However, symbolic (Gröbner) methods are severely limited by algorithmic issues such as exponential space complexity and being highly sequential. In this paper, we introduce a novel paradigm of numerical algebraic geometry which in a plethora of situations overcomes these shortcomings. The so-called `embarrassing parallelizability' allows us to solve many problems and extract physical information which elude symbolic methods. We describe the method and then use it to solve various problems arising from physics which could not be otherwise solved.

  13. The role of difficulty and gender in numbers, algebra, geometry and mathematics achievement

    NASA Astrophysics Data System (ADS)

    Rabab'h, Belal Sadiq Hamed; Veloo, Arsaythamby; Perumal, Selvan

    2015-05-01

    This study aims to identify the role of difficulty and gender in numbers, algebra, geometry and mathematics achievement among secondary schools students in Jordan. The respondent of the study were 337 students from eight public secondary school in Alkoura district by using stratified random sampling. The study comprised of 179 (53%) males and 158 (47%) females students. The mathematics test comprises of 30 items which has eight items for numbers, 14 items for algebra and eight items for geometry. Based on difficulties among male and female students, the findings showed that item 4 (fractions - 0.34) was most difficult for male students and item 6 (square roots - 0.39) for females in numbers. For the algebra, item 11 (inequality - 0.23) was most difficult for male students and item 6 (algebraic expressions - 0.35) for female students. In geometry, item 3 (reflection - 0.34) was most difficult for male students and item 8 (volume - 0.33) for female students. Based on gender differences, female students showed higher achievement in numbers and algebra compare to male students. On the other hand, there was no differences between male and female students achievement in geometry test. This study suggest that teachers need to give more attention on numbers and algebra when teaching mathematics.

  14. Mollweide's Formula in Teaching Trigonometry

    ERIC Educational Resources Information Center

    Karjanto, Natanael

    2011-01-01

    Trigonometry is one of the topics in mathematics that the students in both high school and pre-undergraduate levels need to learn. Generally, the topic covers trigonometric functions, trigonometric equations, trigonometric identities and solving oblique triangles using the Laws of Sines and Cosines. However, when solving the oblique triangles,…

  15. The Circle Approach to Trigonometry

    ERIC Educational Resources Information Center

    Moore, Kevin c.; LaForest, Kevin R.

    2014-01-01

    How do students think about an angle measure of ninety degrees? How do they think about ratios and values on the unit circle? How might angle measure be used to connect right-triangle trigonometry and circular functions? And why might asking these questions be important when introducing trigonometric functions to students? When teaching…

  16. Algebra with Introduction to Trigonometry Curriculum.

    ERIC Educational Resources Information Center

    EASTCONN Regional Educational Services Center, North Windham, CT.

    In 1988-89 the Connecticut Vocational-Technical School System initiated a program for the ongoing review and upgrading of all trade and academic curricula used in the system's 17 schools to insure that each curriculum is consistent with current standards. Every 3 years the Curriculum Steering Committee for the trade or academic subject conducts a…

  17. Quantum error-correcting codes from algebraic geometry codes of Castle type

    NASA Astrophysics Data System (ADS)

    Munuera, Carlos; Tenório, Wanderson; Torres, Fernando

    2016-10-01

    We study algebraic geometry codes producing quantum error-correcting codes by the CSS construction. We pay particular attention to the family of Castle codes. We show that many of the examples known in the literature in fact belong to this family of codes. We systematize these constructions by showing the common theory that underlies all of them.

  18. Quantum error-correcting codes from algebraic geometry codes of Castle type

    NASA Astrophysics Data System (ADS)

    Munuera, Carlos; Tenório, Wanderson; Torres, Fernando

    2016-07-01

    We study algebraic geometry codes producing quantum error-correcting codes by the CSS construction. We pay particular attention to the family of Castle codes. We show that many of the examples known in the literature in fact belong to this family of codes. We systematize these constructions by showing the common theory that underlies all of them.

  19. Bridging Algebra & Geometry with "n"-Gram Proofs

    ERIC Educational Resources Information Center

    Craven, Joshua D.

    2010-01-01

    For many students, geometry is the first course in which mathematical proof takes center stage. To help ease students into writing proofs, the author tries to create lessons and activities throughout the year that challenge students to prove their own conjectures by using tools learned in previous mathematics courses. Teachers cannot get all…

  20. From matrix models' topological expansion to topological string theories: counting surfaces with algebraic geometry

    NASA Astrophysics Data System (ADS)

    Orantin, N.

    2007-09-01

    The 2-matrix model has been introduced to study Ising model on random surfaces. Since then, the link between matrix models and combinatorics of discrete surfaces has strongly tightened. This manuscript aims to investigate these deep links and extend them beyond the matrix models, following my work's evolution. First, I take care to define properly the hermitian 2 matrix model which gives rise to generating functions of discrete surfaces equipped with a spin structure. Then, I show how to compute all the terms in the topological expansion of any observable by using algebraic geometry tools. They are obtained as differential forms on an algebraic curve associated to the model: the spectral curve. In a second part, I show how to define such differentials on any algebraic curve even if it does not come from a matrix model. I then study their numerous symmetry properties under deformations of the algebraic curve. In particular, I show that these objects coincide with the topological expansion of the observable of a matrix model if the algebraic curve is the spectral curve of this model. Finally, I show that fine tuning the parameters ensure that these objects can be promoted to modular invariants and satisfy the holomorphic anomaly equation of the Kodaira-Spencer theory. This gives a new hint that the Dijkgraaf-Vafa conjecture is correct.

  1. An analytical approach to bistable biological circuit discrimination using real algebraic geometry.

    PubMed

    Siegal-Gaskins, Dan; Franco, Elisa; Zhou, Tiffany; Murray, Richard M

    2015-07-01

    Biomolecular circuits with two distinct and stable steady states have been identified as essential components in a wide range of biological networks, with a variety of mechanisms and topologies giving rise to their important bistable property. Understanding the differences between circuit implementations is an important question, particularly for the synthetic biologist faced with determining which bistable circuit design out of many is best for their specific application. In this work we explore the applicability of Sturm's theorem--a tool from nineteenth-century real algebraic geometry--to comparing 'functionally equivalent' bistable circuits without the need for numerical simulation. We first consider two genetic toggle variants and two different positive feedback circuits, and show how specific topological properties present in each type of circuit can serve to increase the size of the regions of parameter space in which they function as switches. We then demonstrate that a single competitive monomeric activator added to a purely monomeric (and otherwise monostable) mutual repressor circuit is sufficient for bistability. Finally, we compare our approach with the Routh-Hurwitz method and derive consistent, yet more powerful, parametric conditions. The predictive power and ease of use of Sturm's theorem demonstrated in this work suggest that algebraic geometric techniques may be underused in biomolecular circuit analysis.

  2. Algebraic geometry methods associated to the one-dimensional Hubbard model

    NASA Astrophysics Data System (ADS)

    Martins, M. J.

    2016-06-01

    In this paper we study the covering vertex model of the one-dimensional Hubbard Hamiltonian constructed by Shastry in the realm of algebraic geometry. We show that the Lax operator sits in a genus one curve which is not isomorphic but only isogenous to the curve suitable for the AdS/CFT context. We provide an uniformization of the Lax operator in terms of ratios of theta functions allowing us to establish relativistic like properties such as crossing and unitarity. We show that the respective R-matrix weights lie on an Abelian surface being birational to the product of two elliptic curves with distinct J-invariants. One of the curves is isomorphic to that of the Lax operator but the other is solely fourfold isogenous. These results clarify the reason the R-matrix can not be written using only difference of spectral parameters of the Lax operator.

  3. Boolean Algebra. Geometry Module for Use in a Mathematics Laboratory Setting.

    ERIC Educational Resources Information Center

    Brotherton, Sheila; And Others

    This module is recommended as an honors unit to follow a unit on logic. There are four basic parts: (1) What is a Boolean Algebra; (2) Using Boolean Algebra to Prove Theorems; (3) Using Boolean Algebra to Simplify Logical Statements; and (4) Circuit Problems with Logic and Boolean Algebra. Of these, sections 1, 2, and 3 are primarily written…

  4. Using Trigonometry in Earth Science Astronomy Labs

    ERIC Educational Resources Information Center

    Starr, Richard R.

    1973-01-01

    Describes methods using basic trigonometry which enable secondary earth science students to make astronomical calculations. The literature and mathematics available to high school students allow calculation of the earth's dimensions, which in turn permit calculation of the sun's distance. Once the sun's distance is known, stellar distances can be…

  5. Geometry and Algebra: Glow with the Flow. NASA Connect: Program 2 in the 2000-2001 Series.

    ERIC Educational Resources Information Center

    National Aeronautics and Space Administration, Hampton, VA. Langley Research Center.

    This teaching unit is designed to help students in grades 5 to 8 explore the concepts of geometry and algebra in the context of the force of drag. The units in the series have been developed to enhance and enrich mathematics, science, and technology education and to accommodate different teaching and learning styles. Each unit consists of…

  6. The Trigonometry of Twistors and Elementary Particles

    SciTech Connect

    Gustafson, Karl

    2009-03-10

    A new trigonometry for twistors is presented. The operator-theoretic maximum twistor turning angle is shown to be related to the space-time geometric angle within the light cone. The corresponding maximally turned twistor antieigenvectors are calculated and interpretted. The two weak interaction CP eigenvectors of neutral kaons are shown to be exactly the two strong interaction strangeness antieigenvectors. Quark mixing is seen trigonometrically. 't Hooft's microcosmos model is connected to the theories of normal degree and complex dynamics.

  7. An Algebraic Route to Pi

    ERIC Educational Resources Information Center

    Deakin, Michael A. B.

    1974-01-01

    Euler's famous formula, e to the (i, pi) power equals -1, is developed by a purely algebraic method that avoids the use of both trigonometry and calculus. A heuristic outline is given followed by the rigorous theory. Pedagogical considerations for classroom presentation are suggested. (LS)

  8. Investigating the Purpose of Trigonometry in the Modern Sciences

    ERIC Educational Resources Information Center

    Hertel, Joshua T.

    2013-01-01

    This dissertation reports the results of a qualitative research project that aimed to develop a research-based perspective on the purpose of trigonometry in the modern sciences. The investigation was guided by three objectives. First, the study sought to identify the purpose of trigonometry as described by educators and high school textbooks.…

  9. Math 1715/1613 (PIPI): Algebra and Trigonometry.

    ERIC Educational Resources Information Center

    Blose, Murray M.; And Others

    This study guide, designed for use at Oklahoma State University, contains lists of activities for students to perform based on the "mastery of learning" concept. The activities include readings, problems, self evaluations, and assessment tasks. The units included are: Functions, Exponential and Logarithmic Functions, Trigonometric Functions,…

  10. Math 3011--College Algebra and Trigonometry. Course Outline.

    ERIC Educational Resources Information Center

    New York Inst. of Tech., Old Westbury.

    This document contains the course syllabus and 12 independent practice modules for a college level mathematics course designed to provide the necessary foundation for success in calculus, develop logical thinking skills, and enhance analytic skills through problem solving. Topics include relations and functions; inequalities; complex numbers;…

  11. A Visual Approach to Simplifying Square Roots Applied in Geometry and Advanced Algebra Courses.

    ERIC Educational Resources Information Center

    Walz, Kevin

    This report describes a program for increasing students' ability to simplify square roots. The targeted population consisted of high school students in a rural community in a midwestern plains state. The problem of the ability to understand the abstract algebraic process of simplifying square roots was documented through teacher-made tests,…

  12. Editors' preface for the topical issue on Seven papers on Noncommutative Geometry and Operator Algebras

    NASA Astrophysics Data System (ADS)

    Guido, Daniele; Landi, Giovanni; Vassout, Stéphane

    2016-07-01

    This topical issue grew out of the International Conference "Noncommutative Geometry and Applications" held 16-21 June 2014 at Villa Mondragone, Frascati (Roma). The main purpose of the conference was to have a unified view of different incarnations of noncommutative geometry and its applications. The seven papers collected in the present topical issue represent a good sample of the topics covered at the workshop. The conference itself was one of the climaxes of the Franco-Italian project GREFI-GENCO, which was initiated in 2007 by CNRS and INDAM to promote and enhance collaboration and exchanges between French and Italian researchers in the area of noncommutative geometry.

  13. Quantum Algorithms for Problems in Number Theory, Algebraic Geometry, and Group Theory

    NASA Astrophysics Data System (ADS)

    van Dam, Wim; Sasaki, Yoshitaka

    2013-09-01

    Quantum computers can execute algorithms that sometimes dramatically outperform classical computation. Undoubtedly the best-known example of this is Shor's discovery of an efficient quantum algorithm for factoring integers, whereas the same problem appears to be intractable on classical computers. Understanding what other computational problems can be solved significantly faster using quantum algorithms is one of the major challenges in the theory of quantum computation, and such algorithms motivate the formidable task of building a large-scale quantum computer. This article will review the current state of quantum algorithms, focusing on algorithms for problems with an algebraic flavor that achieve an apparent superpolynomial speedup over classical computation.

  14. An analytical approach to bistable biological circuit discrimination using real algebraic geometry

    PubMed Central

    Siegal-Gaskins, Dan; Franco, Elisa; Zhou, Tiffany; Murray, Richard M.

    2015-01-01

    Biomolecular circuits with two distinct and stable steady states have been identified as essential components in a wide range of biological networks, with a variety of mechanisms and topologies giving rise to their important bistable property. Understanding the differences between circuit implementations is an important question, particularly for the synthetic biologist faced with determining which bistable circuit design out of many is best for their specific application. In this work we explore the applicability of Sturm's theorem—a tool from nineteenth-century real algebraic geometry—to comparing ‘functionally equivalent’ bistable circuits without the need for numerical simulation. We first consider two genetic toggle variants and two different positive feedback circuits, and show how specific topological properties present in each type of circuit can serve to increase the size of the regions of parameter space in which they function as switches. We then demonstrate that a single competitive monomeric activator added to a purely monomeric (and otherwise monostable) mutual repressor circuit is sufficient for bistability. Finally, we compare our approach with the Routh–Hurwitz method and derive consistent, yet more powerful, parametric conditions. The predictive power and ease of use of Sturm's theorem demonstrated in this work suggest that algebraic geometric techniques may be underused in biomolecular circuit analysis. PMID:26109633

  15. The Interpretative Flexibility, Instrumental Evolution, and Institutional Adoption of Mathematical Software in Educational Practice: The Examples of Computer Algebra and Dynamic Geometry

    ERIC Educational Resources Information Center

    Ruthven, Kenneth

    2008-01-01

    This article examines three important facets of the incorporation of new technologies into educational practice, focusing on emergent usages of the mathematical tools of computer algebra and dynamic geometry. First, it illustrates the interpretative flexibility of these tools, highlighting important differences in ways of conceptualizing and…

  16. Pre-Service Elementary Teachers Make Connections between Geometry and Algebra through the Use of Technology

    ERIC Educational Resources Information Center

    Mohr, Doris J.

    2008-01-01

    In a geometry content course for pre-service elementary teachers, technology was utilized to assist students in making sense of shapes. They learned to write simple procedures in Logo that would program a turtle to draw various quadrilaterals. In the context of writing these procedures, the pre-service teachers used variables to represent the…

  17. Using Dynamic Geometry and Computer Algebra Systems in Problem Based Courses for Future Engineers

    ERIC Educational Resources Information Center

    Tomiczková, Svetlana; Lávicka, Miroslav

    2015-01-01

    It is a modern trend today when formulating the curriculum of a geometric course at the technical universities to start from a real-life problem originated in technical praxis and subsequently to define which geometric theories and which skills are necessary for its solving. Nowadays, interactive and dynamic geometry software plays a more and more…

  18. Learning Activity Package, Algebra 124, LAPs 46-55.

    ERIC Educational Resources Information Center

    Holland, Bill

    A series of 10 teacher-prepared Learning Activity Packages (LAPs) in advanced algebra and trigonometry, these units cover absolute value, inequalities, exponents, radicals, and complex numbers; functions; higher degree equations and the derivative; the trigonometric functions; graphs and applications of the trigonometric functions; sequences and…

  19. An extension of the classical theory of algebraic invariants to pseudo-Riemannian geometry and Hamiltonian mechanics

    NASA Astrophysics Data System (ADS)

    McLenaghan, Raymond G.; Smirnov, Roman G.; The, Dennis

    2004-03-01

    We develop a new approach to the study of Killing tensors defined in pseudo-Riemannian spaces of constant curvature that is ideologically close to the classical theory of invariants. The main idea, which provides the foundation of the new approach, is to treat a Killing tensor as an algebraic object determined by a set of parameters of the corresponding vector space of Killing tensors under the action of the isometry group. The spaces of group invariants and conformal group invariants of valence two Killing tensors defined in the Minkowski plane are described. The group invariants, which are the generators of the space of invariants, are applied to the problem of classification of orthogonally separable Hamiltonian systems defined in the Minkowski plane. Transformation formulas to separable coordinates expressed in terms of the parameters of the corresponding space of Killing tensors are presented. The results are applied to the problem of orthogonal separability of the Drach superintegrable potentials.

  20. Teaching Algebra without Algebra

    ERIC Educational Resources Information Center

    Kalman, Richard S.

    2008-01-01

    Algebra is, among other things, a shorthand way to express quantitative reasoning. This article illustrates ways for the classroom teacher to convert algebraic solutions to verbal problems into conversational solutions that can be understood by students in the lower grades. Three reasonably typical verbal problems that either appeared as or…

  1. Discrimination in a General Algebraic Setting.

    PubMed

    Fine, Benjamin; Gaglione, Anthony; Lipschutz, Seymour; Spellman, Dennis

    2015-01-01

    Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures. In this paper we explore the notion of discrimination in a general universal algebra context. As an application we provide a different proof of a theorem of Malcev on axiomatic classes of Ω-algebras.

  2. Discrimination in a General Algebraic Setting

    PubMed Central

    Fine, Benjamin; Gaglione, Anthony; Lipschutz, Seymour; Spellman, Dennis

    2015-01-01

    Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures. In this paper we explore the notion of discrimination in a general universal algebra context. As an application we provide a different proof of a theorem of Malcev on axiomatic classes of Ω-algebras. PMID:26171421

  3. Geometric Algebra for Physicists

    NASA Astrophysics Data System (ADS)

    Doran, Chris; Lasenby, Anthony

    2007-11-01

    Preface; Notation; 1. Introduction; 2. Geometric algebra in two and three dimensions; 3. Classical mechanics; 4. Foundations of geometric algebra; 5. Relativity and spacetime; 6. Geometric calculus; 7. Classical electrodynamics; 8. Quantum theory and spinors; 9. Multiparticle states and quantum entanglement; 10. Geometry; 11. Further topics in calculus and group theory; 12. Lagrangian and Hamiltonian techniques; 13. Symmetry and gauge theory; 14. Gravitation; Bibliography; Index.

  4. Teaching Harmonic Motion in Trigonometry: Inductive Inquiry Supported by Physics Simulations

    ERIC Educational Resources Information Center

    Sokolowski, Andrzej; Rackley, Robin

    2011-01-01

    In this article, the authors present a lesson whose goal is to utilise a scientific environment to immerse a trigonometry student in the process of mathematical modelling. The scientific environment utilised during this activity is a physics simulation called "Wave on a String" created by the PhET Interactive Simulations Project at Colorado…

  5. Mathematics Teacher-Candidates' Performance in Solving Problems with Different Representation Styles: The Trigonometry Example

    ERIC Educational Resources Information Center

    Dündar, Sefa

    2015-01-01

    Using multiple representations of a problem can reveal the relationship between complex concepts by expressing the same mathematical condition differently and can contribute to the meaningful learning of mathematical concepts. The purpose of this study is to assess the performances of mathematics teacher-candidates on trigonometry problems…

  6. A Qualitative Study Comparing the Instruction on Vectors between a Physics Course and a Trigonometry Course

    ERIC Educational Resources Information Center

    James, Wendy Michelle

    2013-01-01

    Science and engineering instructors often observe that students have difficulty using or applying prerequisite mathematics knowledge in their courses. This qualitative project uses a case-study method to investigate the instruction in a trigonometry course and a physics course based on a different methodology and set of assumptions about student…

  7. Geometry of Higgs bundles over elliptic curves related to automorphisms of simple Lie algebras, Calogero-Moser systems, and KZB equations

    NASA Astrophysics Data System (ADS)

    Levin, A. M.; Olshanetsky, M. A.; Zotov, A. V.

    2016-08-01

    We construct twisted Calogero-Moser systems with spins as Hitchin systems derived from the Higgs bundles over elliptic curves, where the transition operators are defined by arbitrary finite-order automorphisms of the underlying Lie algebras. We thus obtain a spin generalization of the twisted D'Hoker-Phong and Bordner-Corrigan-Sasaki-Takasaki systems. In addition, we construct the corresponding twisted classical dynamical r-matrices and the Knizhnik-Zamolodchikov-Bernard equations related to the automorphisms of Lie algebras.

  8. Notes for Applied Mathematics in Trigonometry and Earth Geometry/Navigation

    ERIC Educational Resources Information Center

    Faulkner, Peter

    2004-01-01

    As time has progressed, the role of applied mathematics has become increasingly important. Indeed there are now more students enrolled in applied mathematics courses in senior high schools and colleges than in pure mathematics. Such courses become more relevant both to the student and to future employers, if the same constants and equations that…

  9. Algebraic treatments of the problems of the spin-1/2 particles in the one- and two-dimensional geometry: A systematic study

    SciTech Connect

    Koc, Ramazan . E-mail: koc@gantep.edu.tr; Tuetuencueler, Hayriye; Koca, Mehmet; Olgar, Eser

    2005-10-01

    We consider solutions of the 2 x 2 matrix Hamiltonians of the physical systems within the context of the su (2) and su (1, 1) Lie algebras. Our technique is relatively simple when compared with those of others and treats those Hamiltonians which can be treated in a unified framework of the Sp (4, R) algebra. The systematic study presented here reproduces a number of earlier results in a natural way as well as leads to a novel finding. Possible generalizations of the method are also suggested.

  10. Perceptions of 9th and 10th Grade Students on How Their Environment, Cognition, and Behavior Motivate Them in Algebra and Geometry Courses

    ERIC Educational Resources Information Center

    Harootunian, Alen

    2012-01-01

    In this study, relationships were examined between students' perception of their cognition, behavior, environment, and motivation. The purpose of the research study was to explore the extent to which 9th and 10th grade students' perception of environment, cognition, and behavior can predict their motivation in Algebra and Geometry…

  11. Using the Quaternions to Compose Rotations. Applications of Linear Algebra to Geometry. Modules and Monographs in Undergraduate Mathematics and Its Applications Project. UMAP Unit 313.

    ERIC Educational Resources Information Center

    Solomon, Frederick

    This module applies linear algebraic methods to solve the following problem: If an object in a three-dimensional coordinate system is first rotated about a given axis through the origin by a given angle, and then rotated about another axis through the origin by another angle, there is a straightforward way to calculate the combined result of the…

  12. Twining characters and orbit Lie algebras

    SciTech Connect

    Fuchs, Jurgen; Ray, Urmie; Schellekens, Bert; Schweigert, Christoph

    1996-12-05

    We associate to outer automorphisms of generalized Kac-Moody algebras generalized character-valued indices, the twining characters. A character formula for twining characters is derived which shows that they coincide with the ordinary characters of some other generalized Kac-Moody algebra, the so-called orbit Lie algebra. Some applications to problems in conformal field theory, algebraic geometry and the theory of sporadic simple groups are sketched.

  13. Computer Algebra.

    ERIC Educational Resources Information Center

    Pavelle, Richard; And Others

    1981-01-01

    Describes the nature and use of computer algebra and its applications to various physical sciences. Includes diagrams illustrating, among others, a computer algebra system and flow chart of operation of the Euclidean algorithm. (SK)

  14. The Algebraic Way

    NASA Astrophysics Data System (ADS)

    Hiley, B. J.

    In this chapter, we examine in detail the non-commutative symplectic algebra underlying quantum dynamics. By using this algebra, we show that it contains both the Weyl-von Neumann and the Moyal quantum algebras. The latter contains the Wigner distribution as the kernel of the density matrix. The underlying non-commutative geometry can be projected into either of two Abelian spaces, so-called `shadow phase spaces'. One of these is the phase space of Bohmian mechanics, showing that it is a fragment of the basic underlying algebra. The algebraic approach is much richer, giving rise to two fundamental dynamical time development equations which reduce to the Liouville equation and the Hamilton-Jacobi equation in the classical limit. They also include the Schrödinger equation and its wave-function, showing that these features are a partial aspect of the more general non-commutative structure. We discuss briefly the properties of this more general mathematical background from which the non-commutative symplectic algebra emerges.

  15. Adaptive Algebraic Multigrid Methods

    SciTech Connect

    Brezina, M; Falgout, R; MacLachlan, S; Manteuffel, T; McCormick, S; Ruge, J

    2004-04-09

    Our ability to simulate physical processes numerically is constrained by our ability to solve the resulting linear systems, prompting substantial research into the development of multiscale iterative methods capable of solving these linear systems with an optimal amount of effort. Overcoming the limitations of geometric multigrid methods to simple geometries and differential equations, algebraic multigrid methods construct the multigrid hierarchy based only on the given matrix. While this allows for efficient black-box solution of the linear systems associated with discretizations of many elliptic differential equations, it also results in a lack of robustness due to assumptions made on the near-null spaces of these matrices. This paper introduces an extension to algebraic multigrid methods that removes the need to make such assumptions by utilizing an adaptive process. The principles which guide the adaptivity are highlighted, as well as their application to algebraic multigrid solution of certain symmetric positive-definite linear systems.

  16. Earth Algebra.

    ERIC Educational Resources Information Center

    Schaufele, Christopher; Zumoff, Nancy

    Earth Algebra is an entry level college algebra course that incorporates the spirit of the National Council of Teachers of Mathematics (NCTM) Curriculum and Evaluation Standards for School Mathematics at the college level. The context of the course places mathematics at the center of one of the major current concerns of the world. Through…

  17. Kiddie Algebra

    ERIC Educational Resources Information Center

    Cavanagh, Sean

    2009-01-01

    As educators and policymakers search for ways to prepare students for the rigors of algebra, teachers in the Helena, Montana, school system are starting early by attempting to nurture students' algebraic-reasoning ability, as well as their basic number skills, in early elementary school, rather than waiting until middle or early high school.…

  18. An Investigation of the Differences Between "Successful" and "Unsuccessful" Students in Trigonometry, at Miami-Dade Community College, South Campus.

    ERIC Educational Resources Information Center

    Greenberg, Barry; Tuckfield, Gloria

    Research was conducted to develop a means of identifying, upon entry into the course, the students most likely not to succeed in trigonometry, with the intention of using the prediction to apply an intervention strategy. A 64-item questionnaire was developed and administered to a sample of students enrolled in the course in the winter 1973…

  19. Computational trigonometry

    SciTech Connect

    Gustafson, K.

    1994-12-31

    By means of the author`s earlier theory of antieigenvalues and antieigenvectors, a new computational approach to iterative methods is presented. This enables an explicit trigonometric understanding of iterative convergence and provides new insights into the sharpness of error bounds. Direct applications to Gradient descent, Conjugate gradient, GCR(k), Orthomin, CGN, GMRES, CGS, and other matrix iterative schemes will be given.

  20. Differential laser trigonometry for measuring the oil film thickness on water

    NASA Astrophysics Data System (ADS)

    Lü, Qieni; Lu, Lin; Ge, Baozhen; Wu, Di; Wu, Hao

    2012-06-01

    A differential laser trigonometry method is presented for measurement of the oil film thickness on a water surface. The thickness of an oil film can be obtained with two off-plane displacements to a benchmark plane obtained by the imaging spot displacement and the configuration parameter of the imaging system subtracted. The method has been tested in the laboratory via the examination of diesel oil and petroleum films. An experimental system setup has been developed, by which the maximum measurable thickness is 12 mm and the average measurement error is 6.05 µm. The results show that the method presented is feasible, and applicable to dynamic online measurement of oil film thickness of oil spills on the sea surface.

  1. A method for measuring the thickness of transparent oil film on water surface using laser trigonometry

    NASA Astrophysics Data System (ADS)

    Qieni, Lü; Baozhen, Ge; Wenda, Yao; Yimo, Zhang

    2011-01-01

    We present a method for measurement of thickness of transparent oil film on water surface based on laser trigonometry. With an oblique incident mode of single-point laser triangulation ranging system, laser light is incident on the upper and lower surfaces of the oil film being measured and an ellipse light spot is formed on the upper and lower surfaces of the oil film. The two light spots are imaged on an image plane CCD by an imaging lens and the image spot is formed and stored in a computer. The thickness of oil film being measured can be obtained by displacement of the image spot and the configuration parameter of the imaging system. The experiment is conducted using edible peanut oil and diesel oil. The research results show that the method presented in this paper is feasible and applicable to dynamic on-line measurement of oil film thickness of oil spill on sea surface.

  2. Geometry and physics

    PubMed Central

    Atiyah, Michael; Dijkgraaf, Robbert; Hitchin, Nigel

    2010-01-01

    We review the remarkably fruitful interactions between mathematics and quantum physics in the past decades, pointing out some general trends and highlighting several examples, such as the counting of curves in algebraic geometry, invariants of knots and four-dimensional topology. PMID:20123740

  3. The effect of a county's public high school summer remediation program on student gains on end-of-course standard of learning tests in Algebra I, Biology, Chemistry, Geometry and World History and Geography II

    NASA Astrophysics Data System (ADS)

    Aiken, Brenda L.

    The Commonwealth of Virginia requires high school students to receive a passing grade in core courses and a passing score on End-of-Course Standards of Learning (EOC SOL) tests to receive verified credits that lead to a Virginia high school diploma. These tests are believed to accurately reflect what students should know and be able to do in order to experience success in their endeavors beyond high school. For some students remediation is required to experience success on EOC SOL tests. This study sought to determine the effect of a County's public high school summer remediation program on student gains on EOC SOL tests in Algebra I, Biology, Chemistry, Geometry, and World History and Geography II. Specifically, the purpose of the study sought to determine the following: (a) If significant gains were made by students who attended the summer remediation program; (b) If significant gains were made by students who did not attend the summer remediation program; (c) If there were differences in gain scores of students who attended and those who did not attend the summer remediation program; and (d) If there were differences in gain scores among students who attended the summer remediation program related to school site, gender, ethnicity, learning ability group, socioeconomic status, and level of English proficiency. The results of the study indicate that students who attended and those who did not attend the summer remediation program made significant gains. However, the gains for students who attended the summer remediation program were significantly greater than the gains made by students who did not attend. The study also found that there were no significant differences in gain scores among students who attended the summer remediation program related to gender, ethnicity, learning ability group, socioeconomic status, and level of English proficiency. There were significant differences in Algebra I gain scores related to school site. Recommendations for

  4. Approximate solution of Schrodinger equation in D-dimensions for Scarf trigonometry potential using Nikiforov-Uvarov method

    NASA Astrophysics Data System (ADS)

    Deta, U. A.; Suparmi, Cari

    2013-09-01

    The approximate analytical solution of Schrodinger equation in D-Dimensions for Scarf trigonometry potential were investigated using Nikiforov-Uvarov method. The bound state energy are given in the close form and the corresponding wave function for arbitary l-state in D-dimensions are formulated in the form of generalized Jacobi Polynomials. The example of bound state energy and wave function in 3, 4, and 5 dimensions presented in condition of ground state to second excited state. The existence of arbitrary dimensions increase bound state energy and the amplitude of the wave function of this potential. The effect of the presence of Scarf trigonometry potential increase the energy spectrum of this potential.

  5. Algebraic multigrid

    NASA Technical Reports Server (NTRS)

    Ruge, J. W.; Stueben, K.

    1987-01-01

    The state of the art in algebraic multgrid (AMG) methods is discussed. The interaction between the relaxation process and the coarse grid correction necessary for proper behavior of the solution probes is discussed in detail. Sufficient conditions on relaxation and interpolation for the convergence of the V-cycle are given. The relaxation used in AMG, what smoothing means in an algebraic setting, and how it relates to the existing theory are considered. Some properties of the coarse grid operator are discussed, and results on the convergence of two-level and multilevel convergence are given. Details of an algorithm particularly studied for problems obtained by discretizing a single elliptic, second order partial differential equation are given. Results of experiments with such problems using both finite difference and finite element discretizations are presented.

  6. Can a Crescent Mars Ever Be Seen from Earth?

    ERIC Educational Resources Information Center

    Lamb, John F., Jr.

    1990-01-01

    Described is an activity that incorporates a computer, geometry, algebra, trigonometry, and calculus to answer questions about the planet Mars. A possible crescent of Mars is compared to those of Venus and Mercury. (KR)

  7. Moving frames and prolongation algebras

    NASA Technical Reports Server (NTRS)

    Estabrook, F. B.

    1982-01-01

    Differential ideals generated by sets of 2-forms which can be written with constant coefficients in a canonical basis of 1-forms are considered. By setting up a Cartan-Ehresmann connection, in a fiber bundle over a base space in which the 2-forms live, one finds an incomplete Lie algebra of vector fields in the fields in the fibers. Conversely, given this algebra (a prolongation algebra), one can derive the differential ideal. The two constructs are thus dual, and analysis of either derives properties of both. Such systems arise in the classical differential geometry of moving frames. Examples of this are discussed, together with examples arising more recently: the Korteweg-de Vries and Harrison-Ernst systems.

  8. Comparative Effects of Concept Mapping and Cooperative Learning Strategies on Senior Secondary School Students' Achievement in Mathematics-Trigonometry in Kano State, Nigeria

    ERIC Educational Resources Information Center

    Bot, Thomas D.; Eze, John E.

    2016-01-01

    This article presents the findings from an experimental study on the effectiveness of concept mapping and cooperative learning strategies on SSII students' achievement in trigonometry in mathematics. The research design used in conducting the study was quasi-experimental pre-test and post-test non-equivalent control group. The sample consisted of…

  9. Analytic Methods in Investigative Geometry.

    ERIC Educational Resources Information Center

    Dobbs, David E.

    2001-01-01

    Suggests an alternative proof by analytic methods, which is more accessible than rigorous proof based on Euclid's Elements, in which students need only apply standard methods of trigonometry to the data without introducing new points or lines. (KHR)

  10. Quantization of Algebraic Reduction

    SciTech Connect

    Sniatycki, Jeodrzej

    2007-11-14

    For a Poisson algebra obtained by algebraic reduction of symmetries of a quantizable system we develop an analogue of geometric quantization based on the quantization structure of the original system.

  11. Learning Algebra in a Computer Algebra Environment

    ERIC Educational Resources Information Center

    Drijvers, Paul

    2004-01-01

    This article summarises a doctoral thesis entitled "Learning algebra in a computer algebra environment, design research on the understanding of the concept of parameter" (Drijvers, 2003). It describes the research questions, the theoretical framework, the methodology and the results of the study. The focus of the study is on the understanding of…

  12. Algebraic theory of molecules

    NASA Technical Reports Server (NTRS)

    Iachello, Franco

    1995-01-01

    An algebraic formulation of quantum mechanics is presented. In this formulation, operators of interest are expanded onto elements of an algebra, G. For bound state problems in nu dimensions the algebra G is taken to be U(nu + 1). Applications to the structure of molecules are presented.

  13. Profiles of Algebraic Competence

    ERIC Educational Resources Information Center

    Humberstone, J.; Reeve, R.A.

    2008-01-01

    The algebraic competence of 72 12-year-old female students was examined to identify profiles of understanding reflecting different algebraic knowledge states. Beginning algebraic competence (mapping abilities: word-to-symbol and vice versa, classifying, and solving equations) was assessed. One week later, the nature of assistance required to map…

  14. Orientation in operator algebras

    PubMed Central

    Alfsen, Erik M.; Shultz, Frederic W.

    1998-01-01

    A concept of orientation is relevant for the passage from Jordan structure to associative structure in operator algebras. The research reported in this paper bridges the approach of Connes for von Neumann algebras and ourselves for C*-algebras in a general theory of orientation that is of geometric nature and is related to dynamics. PMID:9618457

  15. Developing Thinking in Algebra

    ERIC Educational Resources Information Center

    Mason, John; Graham, Alan; Johnson-Wilder, Sue

    2005-01-01

    This book is for people with an interest in algebra whether as a learner, or as a teacher, or perhaps as both. It is concerned with the "big ideas" of algebra and what it is to understand the process of thinking algebraically. The book has been structured according to a number of pedagogic principles that are exposed and discussed along the way,…

  16. Connecting Arithmetic to Algebra

    ERIC Educational Resources Information Center

    Darley, Joy W.; Leapard, Barbara B.

    2010-01-01

    Algebraic thinking is a top priority in mathematics classrooms today. Because elementary school teachers lay the groundwork to develop students' capacity to think algebraically, it is crucial for teachers to have a conceptual understanding of the connections between arithmetic and algebra and be confident in communicating these connections. Many…

  17. Exceptional geometry and Borcherds superalgebras

    NASA Astrophysics Data System (ADS)

    Palmkvist, Jakob

    2015-11-01

    We study generalized diffeomorphisms in exceptional geometry with U-duality group E n( n) from an algebraic point of view. By extending the Lie algebra {e}_n to an infinite-dimensional Borcherds superalgebra, involving also the extension to {e}_{n+1} , the generalized Lie derivatives can be expressed in a simple way, and the expressions take the same form for any n ≤ 7. The closure of the transformations then follows from the Jacobi identity and the grading of {e}_{n+1} with respect to {e}_n.

  18. Specialized Mathematics Courses, Secondary Level: Learning Objectives, Scope and Sequence.

    ERIC Educational Resources Information Center

    Lehigh County Community Coll., Schnecksville, PA.

    In this document, detailed objectives for the following courses are listed: Algebra I, Algebra II, Geometry, Trigonometry, Analytic Geometry, Advanced Mathematics, Personal Business Mathematics, and Business Mathematics. Each objective is keyed to an expected level of achievement: awareness, knowledge, application, mastery, reinforcement, and…

  19. Computer algebra and operators

    NASA Technical Reports Server (NTRS)

    Fateman, Richard; Grossman, Robert

    1989-01-01

    The symbolic computation of operator expansions is discussed. Some of the capabilities that prove useful when performing computer algebra computations involving operators are considered. These capabilities may be broadly divided into three areas: the algebraic manipulation of expressions from the algebra generated by operators; the algebraic manipulation of the actions of the operators upon other mathematical objects; and the development of appropriate normal forms and simplification algorithms for operators and their actions. Brief descriptions are given of the computer algebra computations that arise when working with various operators and their actions.

  20. Discrete Minimal Surface Algebras

    NASA Astrophysics Data System (ADS)

    Arnlind, Joakim; Hoppe, Jens

    2010-05-01

    We consider discrete minimal surface algebras (DMSA) as generalized noncommutative analogues of minimal surfaces in higher dimensional spheres. These algebras appear naturally in membrane theory, where sequences of their representations are used as a regularization. After showing that the defining relations of the algebra are consistent, and that one can compute a basis of the enveloping algebra, we give several explicit examples of DMSAs in terms of subsets of sln (any semi-simple Lie algebra providing a trivial example by itself). A special class of DMSAs are Yang-Mills algebras. The representation graph is introduced to study representations of DMSAs of dimension d ≤ 4, and properties of representations are related to properties of graphs. The representation graph of a tensor product is (generically) the Cartesian product of the corresponding graphs. We provide explicit examples of irreducible representations and, for coinciding eigenvalues, classify all the unitary representations of the corresponding algebras.

  1. Weak Lie symmetry and extended Lie algebra

    SciTech Connect

    Goenner, Hubert

    2013-04-15

    The concept of weak Lie motion (weak Lie symmetry) is introduced. Applications given exhibit a reduction of the usual symmetry, e.g., in the case of the rotation group. In this context, a particular generalization of Lie algebras is found ('extended Lie algebras') which turns out to be an involutive distribution or a simple example for a tangent Lie algebroid. Riemannian and Lorentz metrics can be introduced on such an algebroid through an extended Cartan-Killing form. Transformation groups from non-relativistic mechanics and quantum mechanics lead to such tangent Lie algebroids and to Lorentz geometries constructed on them (1-dimensional gravitational fields).

  2. Problem Solving in Calculus with Symbolic Geometry and CAS

    ERIC Educational Resources Information Center

    Todd, Philip; Wiechmann, James

    2008-01-01

    Computer algebra systems (CAS) have been around for a number of years, as has dynamic geometry. Symbolic geometry software is new. It bears a superficial similarity to dynamic geometry software, but differs in that problems may be set up involving symbolic variables and constants, and measurements are given as symbolic expressions. Mathematical…

  3. A Richer Understanding of Algebra

    ERIC Educational Resources Information Center

    Foy, Michelle

    2008-01-01

    Algebra is one of those hard-to-teach topics where pupils seem to struggle to see it as more than a set of rules to learn, but this author recently used the software "Grid Algebra" from ATM, which engaged her Year 7 pupils in exploring algebraic concepts for themselves. "Grid Algebra" allows pupils to experience number, pre-algebra, and algebra…

  4. Connecting Algebra and Chemistry.

    ERIC Educational Resources Information Center

    O'Connor, Sean

    2003-01-01

    Correlates high school chemistry curriculum with high school algebra curriculum and makes the case for an integrated approach to mathematics and science instruction. Focuses on process integration. (DDR)

  5. The Krichever map, vector bundles over algebraic curves, and Heisenberg algebras

    NASA Astrophysics Data System (ADS)

    Adams, M. R.; Bergvelt, M. J.

    1993-06-01

    We study the Grassmannian Gr {/x n } consisting of equivalence classes of rank n algebraic vector bundles over a Riemann surface X with an holomorphic trivialization at a fixed point p. Commutative subalgebras of gl(n, H λ), H λ being the ring of functions holomorphic on a punctured disc about p, define flows on the Grassmannian, giving rise to classes of solutions to multi-component KP hierarchies. These commutative subalgebras correspond to Heisenberg algebras in the Kac-Moody algebra associated to gl(n, H λ). One can obtain, by the Krichever map, points of Gr {/x n } (and solutions of mcKP) from coverings f: Y→X and other geometric data. Conversely for every point of Gr {/x n } and for every choice of Heisenberg algebra we construct, using the cotangent bundle of Gr {/x n }, an algebraic curve covering X and other data, thus inverting the Krichever map. We show the explicit relation between the choice of Heisenberg algebra and the geometry of the covering space.

  6. Linear-Algebra Programs

    NASA Technical Reports Server (NTRS)

    Lawson, C. L.; Krogh, F. T.; Gold, S. S.; Kincaid, D. R.; Sullivan, J.; Williams, E.; Hanson, R. J.; Haskell, K.; Dongarra, J.; Moler, C. B.

    1982-01-01

    The Basic Linear Algebra Subprograms (BLAS) library is a collection of 38 FORTRAN-callable routines for performing basic operations of numerical linear algebra. BLAS library is portable and efficient source of basic operations for designers of programs involving linear algebriac computations. BLAS library is supplied in portable FORTRAN and Assembler code versions for IBM 370, UNIVAC 1100 and CDC 6000 series computers.

  7. Ready, Set, Algebra?

    ERIC Educational Resources Information Center

    Levy, Alissa Beth

    2012-01-01

    The California Department of Education (CDE) has long asserted that success Algebra I by Grade 8 is the goal for all California public school students. In fact, the state's accountability system penalizes schools that do not require all of their students to take the Algebra I end-of-course examination by Grade 8 (CDE, 2009). In this…

  8. Algebraic Reasoning through Patterns

    ERIC Educational Resources Information Center

    Rivera, F. D.; Becker, Joanne Rossi

    2009-01-01

    This article presents the results of a three-year study that explores students' performance on patterning tasks involving prealgebra and algebra. The findings, insights, and issues drawn from the study are intended to help teach prealgebra and algebra. In the remainder of the article, the authors take a more global view of the three-year study on…

  9. Teaching Structure in Algebra

    ERIC Educational Resources Information Center

    Merlin, Ethan M.

    2013-01-01

    This article describes how the author has developed tasks for students that address the missed "essence of the matter" of algebraic transformations. Specifically, he has found that having students practice "perceiving" algebraic structure--by naming the "glue" in the expressions, drawing expressions using…

  10. New symbolic tools for differential geometry, gravitation, and field theory

    NASA Astrophysics Data System (ADS)

    Anderson, I. M.; Torre, C. G.

    2012-01-01

    DifferentialGeometry is a Maple software package which symbolically performs fundamental operations of calculus on manifolds, differential geometry, tensor calculus, spinor calculus, Lie algebras, Lie groups, transformation groups, jet spaces, and the variational calculus. These capabilities, combined with dramatic recent improvements in symbolic approaches to solving algebraic and differential equations, have allowed for development of powerful new tools for solving research problems in gravitation and field theory. The purpose of this paper is to describe some of these new tools and present some advanced applications involving: Killing vector fields and isometry groups, Killing tensors, algebraic classification of solutions of the Einstein equations, and symmetry reduction of field equations.

  11. Lie algebra extensions of current algebras on S3

    NASA Astrophysics Data System (ADS)

    Kori, Tosiaki; Imai, Yuto

    2015-06-01

    An affine Kac-Moody algebra is a central extension of the Lie algebra of smooth mappings from S1 to the complexification of a Lie algebra. In this paper, we shall introduce a central extension of the Lie algebra of smooth mappings from S3 to the quaternization of a Lie algebra and investigate its root space decomposition. We think this extension of current algebra might give a mathematical tool for four-dimensional conformal field theory as Kac-Moody algebras give it for two-dimensional conformal field theory.

  12. Leibniz algebras associated with representations of filiform Lie algebras

    NASA Astrophysics Data System (ADS)

    Ayupov, Sh. A.; Camacho, L. M.; Khudoyberdiyev, A. Kh.; Omirov, B. A.

    2015-12-01

    In this paper we investigate Leibniz algebras whose quotient Lie algebra is a naturally graded filiform Lie algebra nn,1. We introduce a Fock module for the algebra nn,1 and provide classification of Leibniz algebras L whose corresponding Lie algebra L / I is the algebra nn,1 with condition that the ideal I is a Fock nn,1-module, where I is the ideal generated by squares of elements from L. We also consider Leibniz algebras with corresponding Lie algebra nn,1 and such that the action I ×nn,1 → I gives rise to a minimal faithful representation of nn,1. The classification up to isomorphism of such Leibniz algebras is given for the case of n = 4.

  13. Algebraic Systems Biology: A Case Study for the Wnt Pathway.

    PubMed

    Gross, Elizabeth; Harrington, Heather A; Rosen, Zvi; Sturmfels, Bernd

    2016-01-01

    Steady-state analysis of dynamical systems for biological networks gives rise to algebraic varieties in high-dimensional spaces whose study is of interest in their own right. We demonstrate this for the shuttle model of the Wnt signaling pathway. Here, the variety is described by a polynomial system in 19 unknowns and 36 parameters. It has degree 9 over the parameter space. This case study explores multistationarity, model comparison, dynamics within regions of the state space, identifiability, and parameter estimation, from a geometric point of view. We employ current methods from computational algebraic geometry, polyhedral geometry, and combinatorics.

  14. Algebraic Systems Biology: A Case Study for the Wnt Pathway.

    PubMed

    Gross, Elizabeth; Harrington, Heather A; Rosen, Zvi; Sturmfels, Bernd

    2016-01-01

    Steady-state analysis of dynamical systems for biological networks gives rise to algebraic varieties in high-dimensional spaces whose study is of interest in their own right. We demonstrate this for the shuttle model of the Wnt signaling pathway. Here, the variety is described by a polynomial system in 19 unknowns and 36 parameters. It has degree 9 over the parameter space. This case study explores multistationarity, model comparison, dynamics within regions of the state space, identifiability, and parameter estimation, from a geometric point of view. We employ current methods from computational algebraic geometry, polyhedral geometry, and combinatorics. PMID:26645985

  15. Differential Geometry and Lie Groups for Physicists

    NASA Astrophysics Data System (ADS)

    Fecko, Marián.

    2006-10-01

    Introduction; 1. The concept of a manifold; 2. Vector and tensor fields; 3. Mappings of tensors induced by mappings of manifolds; 4. Lie derivative; 5. Exterior algebra; 6. Differential calculus of forms; 7. Integral calculus of forms; 8. Particular cases and applications of Stoke's Theorem; 9. Poincaré Lemma and cohomologies; 10. Lie Groups - basic facts; 11. Differential geometry of Lie Groups; 12. Representations of Lie Groups and Lie Algebras; 13. Actions of Lie Groups and Lie Algebras on manifolds; 14. Hamiltonian mechanics and symplectic manifolds; 15. Parallel transport and linear connection on M; 16. Field theory and the language of forms; 17. Differential geometry on TM and T*M; 18. Hamiltonian and Lagrangian equations; 19. Linear connection and the frame bundle; 20. Connection on a principal G-bundle; 21. Gauge theories and connections; 22. Spinor fields and Dirac operator; Appendices; Bibliography; Index.

  16. Differential Geometry and Lie Groups for Physicists

    NASA Astrophysics Data System (ADS)

    Fecko, Marián.

    2011-03-01

    Introduction; 1. The concept of a manifold; 2. Vector and tensor fields; 3. Mappings of tensors induced by mappings of manifolds; 4. Lie derivative; 5. Exterior algebra; 6. Differential calculus of forms; 7. Integral calculus of forms; 8. Particular cases and applications of Stoke's Theorem; 9. Poincaré Lemma and cohomologies; 10. Lie Groups - basic facts; 11. Differential geometry of Lie Groups; 12. Representations of Lie Groups and Lie Algebras; 13. Actions of Lie Groups and Lie Algebras on manifolds; 14. Hamiltonian mechanics and symplectic manifolds; 15. Parallel transport and linear connection on M; 16. Field theory and the language of forms; 17. Differential geometry on TM and T*M; 18. Hamiltonian and Lagrangian equations; 19. Linear connection and the frame bundle; 20. Connection on a principal G-bundle; 21. Gauge theories and connections; 22. Spinor fields and Dirac operator; Appendices; Bibliography; Index.

  17. Generalizing the Connes Moscovici Hopf algebra to contain all rooted trees

    SciTech Connect

    Agarwala, Susama; Delaney, Colleen

    2015-04-15

    This paper defines a generalization of the Connes-Moscovici Hopf algebra, H(1), that contains the entire Hopf algebra of rooted trees. A relationship between the former, a much studied object in non-commutative geometry, and the latter, a much studied object in perturbative quantum field theory, has been established by Connes and Kreimer. The results of this paper open the door to study the cohomology of the Hopf algebra of rooted trees.

  18. A Mathematics Software Database Update.

    ERIC Educational Resources Information Center

    Cunningham, R. S.; Smith, David A.

    1987-01-01

    Contains an update of an earlier listing of software for mathematics instruction at the college level. Topics are: advanced mathematics, algebra, calculus, differential equations, discrete mathematics, equation solving, general mathematics, geometry, linear and matrix algebra, logic, statistics and probability, and trigonometry. (PK)

  19. University of Chicago School Mathematics Project 6-12 Curriculum. What Works Clearinghouse Intervention Report

    ERIC Educational Resources Information Center

    What Works Clearinghouse, 2011

    2011-01-01

    The "University of Chicago School Mathematics Project ("UCSMP") 6-12 Curriculum" is a series of yearlong courses--(1) Transition Mathematics; (2) Algebra; (3) Geometry; (4) Advanced Algebra; (5) Functions, Statistics, and Trigonometry; and (6) Precalculus and Discrete Mathematics--emphasizing problem solving, real-world applications, and the use…

  20. Curriculum Guide for Baccalaureate Oriented Courses in Mathematics.

    ERIC Educational Resources Information Center

    Darnes, G. Robert, Ed.

    A mathematics curriculum guide is presented for the purpose of offering statewide guidelines to colleges for determining the content of those courses which might be considered standard courses in the first two years of the college curriculum. Courses covered include: intermediate algebra, college algebra, trigonometry, analytic geometry,…

  1. Degenerate Sklyanin algebras

    NASA Astrophysics Data System (ADS)

    Smirnov, Andrey

    2010-08-01

    New trigonometric and rational solutions of the quantum Yang-Baxter equation (QYBE) are obtained by applying some singular gauge transformations to the known Belavin-Drinfeld elliptic R-matrix for sl(2;?). These solutions are shown to be related to the standard ones by the quasi-Hopf twist. We demonstrate that the quantum algebras arising from these new R-matrices can be obtained as special limits of the Sklyanin algebra. A representation for these algebras by the difference operators is found. The sl( N;?)-case is discussed.

  2. Degenerate Sklyanin algebras

    NASA Astrophysics Data System (ADS)

    Smirnov, Andrey

    2010-08-01

    New trigonometric and rational solutions of the quantum Yang-Baxter equation (QYBE) are obtained by applying some singular gauge transformations to the known Belavin-Drinfeld elliptic R-matrix for sl(2;?). These solutions are shown to be related to the standard ones by the quasi-Hopf twist. We demonstrate that the quantum algebras arising from these new R-matrices can be obtained as special limits of the Sklyanin algebra. A representation for these algebras by the difference operators is found. The sl(N;?)-case is discussed.

  3. Geometry and the quantum: basics

    NASA Astrophysics Data System (ADS)

    Chamseddine, Ali H.; Connes, Alain; Mukhanov, Viatcheslav

    2014-12-01

    Motivated by the construction of spectral manifolds in noncommutative geometry, we introduce a higher degree Heisenberg commutation relation involving the Dirac operator and the Feynman slash of scalar fields. This commutation relation appears in two versions, one sided and two sided. It implies the quantization of the volume. In the one-sided case it implies that the manifold decomposes into a disconnected sum of spheres which will represent quanta of geometry. The two sided version in dimension 4 predicts the two algebras M 2(ℍ) and M 4(ℂ) which are the algebraic constituents of the Standard Model of particle physics. This taken together with the non-commutative algebra of functions allows one to reconstruct, using the spectral action, the Lagrangian of gravity coupled with the Standard Model. We show that any connected Riemannian Spin 4-manifold with quantized volume > 4 (in suitable units) appears as an irreducible representation of the two-sided commutation relations in dimension 4 and that these representations give a seductive model of the "particle picture" for a theory of quantum gravity in which both the Einstein geometric standpoint and the Standard Model emerge from Quantum Mechanics. Physical applications of this quantization scheme will follow in a separate publication.

  4. University of Chicago School Mathematics Project (UCSMP) Algebra. WWC Intervention Report

    ERIC Educational Resources Information Center

    What Works Clearinghouse, 2009

    2009-01-01

    University of Chicago School Mathematics Project (UCSMP) Algebra is a one-year course covering three primary topics: (1) linear and quadratic expressions, sentences, and functions; (2) exponential expressions and functions; and (3) linear systems. Topics from geometry, probability, and statistics are integrated with the appropriate algebra.…

  5. Authorized Course of Instruction for the Quinmester Program, Mathematics: Survey of Algebra 1.

    ERIC Educational Resources Information Center

    Moore, Mary N.; Rose, Patricia

    Outlined are the minimum requirements for a quinmester course intended to strengthen a student's experience in a first algebra course, prior to entry to high school geometry and the second algebra course. After a brief description of overall goals and strategies, further details are presented in eight sections. Each section gives performance…

  6. Algebraic integrability: a survey.

    PubMed

    Vanhaecke, Pol

    2008-03-28

    We give a concise introduction to the notion of algebraic integrability. Our exposition is based on examples and phenomena, rather than on detailed proofs of abstract theorems. We mainly focus on algebraic integrability in the sense of Adler-van Moerbeke, where the fibres of the momentum map are affine parts of Abelian varieties; as it turns out, most examples from classical mechanics are of this form. Two criteria are given for such systems (Kowalevski-Painlevé and Lyapunov) and each is illustrated in one example. We show in the case of a relatively simple example how one proves algebraic integrability, starting from the differential equations for the integrable vector field. For Hamiltonian systems that are algebraically integrable in the generalized sense, two examples are given, which illustrate the non-compact analogues of Abelian varieties which typically appear in such systems. PMID:17588863

  7. Algebraic Semantics for Narrative

    ERIC Educational Resources Information Center

    Kahn, E.

    1974-01-01

    This paper uses discussion of Edmund Spenser's "The Faerie Queene" to present a theoretical framework for explaining the semantics of narrative discourse. The algebraic theory of finite automata is used. (CK)

  8. Covariant deformed oscillator algebras

    NASA Technical Reports Server (NTRS)

    Quesne, Christiane

    1995-01-01

    The general form and associativity conditions of deformed oscillator algebras are reviewed. It is shown how the latter can be fulfilled in terms of a solution of the Yang-Baxter equation when this solution has three distinct eigenvalues and satisfies a Birman-Wenzl-Murakami condition. As an example, an SU(sub q)(n) x SU(sub q)(m)-covariant q-bosonic algebra is discussed in some detail.

  9. Aprepro - Algebraic Preprocessor

    2005-08-01

    Aprepro is an algebraic preprocessor that reads a file containing both general text and algebraic, string, or conditional expressions. It interprets the expressions and outputs them to the output file along witht the general text. Aprepro contains several mathematical functions, string functions, and flow control constructs. In addition, functions are included that, with some additional files, implement a units conversion system and a material database lookup system.

  10. Quantized Nambu-Poisson manifolds and n-Lie algebras

    NASA Astrophysics Data System (ADS)

    DeBellis, Joshua; Sämann, Christian; Szabo, Richard J.

    2010-12-01

    We investigate the geometric interpretation of quantized Nambu-Poisson structures in terms of noncommutative geometries. We describe an extension of the usual axioms of quantization in which classical Nambu-Poisson structures are translated to n-Lie algebras at quantum level. We demonstrate that this generalized procedure matches an extension of Berezin-Toeplitz quantization yielding quantized spheres, hyperboloids, and superspheres. The extended Berezin quantization of spheres is closely related to a deformation quantization of n-Lie algebras as well as the approach based on harmonic analysis. We find an interpretation of Nambu-Heisenberg n-Lie algebras in terms of foliations of {{R}}^n by fuzzy spheres, fuzzy hyperboloids, and noncommutative hyperplanes. Some applications to the quantum geometry of branes in M-theory are also briefly discussed.

  11. Quantized Nambu-Poisson manifolds and n-Lie algebras

    SciTech Connect

    DeBellis, Joshua; Saemann, Christian; Szabo, Richard J.

    2010-12-15

    We investigate the geometric interpretation of quantized Nambu-Poisson structures in terms of noncommutative geometries. We describe an extension of the usual axioms of quantization in which classical Nambu-Poisson structures are translated to n-Lie algebras at quantum level. We demonstrate that this generalized procedure matches an extension of Berezin-Toeplitz quantization yielding quantized spheres, hyperboloids, and superspheres. The extended Berezin quantization of spheres is closely related to a deformation quantization of n-Lie algebras as well as the approach based on harmonic analysis. We find an interpretation of Nambu-Heisenberg n-Lie algebras in terms of foliations of R{sup n} by fuzzy spheres, fuzzy hyperboloids, and noncommutative hyperplanes. Some applications to the quantum geometry of branes in M-theory are also briefly discussed.

  12. Molecular Geometry.

    ERIC Educational Resources Information Center

    Desseyn, H. O.; And Others

    1985-01-01

    Compares linear-nonlinear and planar-nonplanar geometry through the valence-shell electron pairs repulsion (V.S.E.P.R.), Mulliken-Walsh, and electrostatic force theories. Indicates that although the V.S.E.P.R. theory has more advantages for elementary courses, an explanation of the best features of the different theories offers students a better…

  13. Abstract Algebra for Algebra Teaching: Influencing School Mathematics Instruction

    ERIC Educational Resources Information Center

    Wasserman, Nicholas H.

    2016-01-01

    This article explores the potential for aspects of abstract algebra to be influential for the teaching of school algebra (and early algebra). Using national standards for analysis, four primary areas common in school mathematics--and their progression across elementary, middle, and secondary mathematics--where teaching may be transformed by…

  14. Computer Program For Linear Algebra

    NASA Technical Reports Server (NTRS)

    Krogh, F. T.; Hanson, R. J.

    1987-01-01

    Collection of routines provided for basic vector operations. Basic Linear Algebra Subprogram (BLAS) library is collection from FORTRAN-callable routines for employing standard techniques to perform basic operations of numerical linear algebra.

  15. Algebra for Gifted Third Graders.

    ERIC Educational Resources Information Center

    Borenson, Henry

    1987-01-01

    Elementary school children who are exposed to a concrete, hands-on experience in algebraic linear equations will more readily develop a positive mind-set and expectation for success in later formal, algebraic studies. (CB)

  16. Pseudo Algebraically Closed Extensions

    NASA Astrophysics Data System (ADS)

    Bary-Soroker, Lior

    2009-07-01

    This PhD deals with the notion of pseudo algebraically closed (PAC) extensions of fields. It develops a group-theoretic machinery, based on a generalization of embedding problems, to study these extensions. Perhaps the main result is that although there are many PAC extensions, the Galois closure of a proper PAC extension is separably closed. The dissertation also contains the following subjects. The group theoretical counterpart of pseudo algebraically closed extensions, the so-called projective pairs. Applications to seemingly unrelated subjects, e.g., an analog of Dirichlet's theorem about primes in arithmetic progression for polynomial rings in one variable over infinite fields.

  17. Calculus of Elementary Functions, Part I. Student Text. Revised Edition.

    ERIC Educational Resources Information Center

    Herriot, Sarah T.; And Others

    This course is intended for students who have a thorough knowledge of college preparatory mathematics, including algebra, axiomatic geometry, trigonometry, and analytic geometry. This text, Part I, contains the first five chapters of the course and two appendices. Chapters included are: (1) Polynomial Functions; (2) The Derivative of a Polynomial…

  18. Calculus of Elementary Functions, Part II. Student Text. Revised Edition.

    ERIC Educational Resources Information Center

    Herriot, Sarah T.; And Others

    This course is intended for students who have a thorough knowledge of college preparatory mathematics, including algebra, axiomatic geometry, trigonometry, and analytic geometry. This text, Part II, contains material designed to follow Part I. Chapters included in this text are: (6) Derivatives of Exponential and Related Functions; (7) Area and…

  19. Assessing Elementary Algebra with STACK

    ERIC Educational Resources Information Center

    Sangwin, Christopher J.

    2007-01-01

    This paper concerns computer aided assessment (CAA) of mathematics in which a computer algebra system (CAS) is used to help assess students' responses to elementary algebra questions. Using a methodology of documentary analysis, we examine what is taught in elementary algebra. The STACK CAA system, http://www.stack.bham.ac.uk/, which uses the CAS…

  20. FINAL REPORT: GEOMETRY AND ELEMENTARY PARTICLE PHYSICS

    SciTech Connect

    Singer, Isadore M.

    2008-03-04

    The effect on mathematics of collaborations between high-energy theoretical physics and modern mathematics has been remarkable. Mirror symmetry has revolutionized enumerative geometry, and Seiberg-Witten invariants have greatly simplified the study of four manifolds. And because of their application to string theory, physicists now need to know cohomology theory, characteristic classes, index theory, K-theory, algebraic geometry, differential geometry, and non-commutative geometry. Much more is coming. We are experiencing a deeper contact between the two sciences, which will stimulate new mathematics essential to the physicists’ quest for the unification of quantum mechanics and relativity. Our grant, supported by the Department of Energy for twelve years, has been instrumental in promoting an effective interaction between geometry and string theory, by supporting the Mathematical Physics seminar, postdoc research, collaborations, graduate students and several research papers.

  1. College Algebra II.

    ERIC Educational Resources Information Center

    Benjamin, Carl; And Others

    Presented are student performance objectives, a student progress chart, and assignment sheets with objective and diagnostic measures for the stated performance objectives in College Algebra II. Topics covered include: differencing and complements; real numbers; factoring; fractions; linear equations; exponents and radicals; complex numbers,…

  2. Thinking Visually about Algebra

    ERIC Educational Resources Information Center

    Baroudi, Ziad

    2015-01-01

    Many introductions to algebra in high school begin with teaching students to generalise linear numerical patterns. This article argues that this approach needs to be changed so that students encounter variables in the context of modelling visual patterns so that the variables have a meaning. The article presents sample classroom activities,…

  3. Computer Algebra versus Manipulation

    ERIC Educational Resources Information Center

    Zand, Hossein; Crowe, David

    2004-01-01

    In the UK there is increasing concern about the lack of skill in algebraic manipulation that is evident in students entering mathematics courses at university level. In this note we discuss how the computer can be used to ameliorate some of the problems. We take as an example the calculations needed in three dimensional vector analysis in polar…

  4. Algebraic Artful Aids.

    ERIC Educational Resources Information Center

    Glick, David

    1995-01-01

    Presents a technique that helps students concentrate more on the science and less on the mechanics of algebra while dealing with introductory physics formulas. Allows the teacher to do complex problems at a lower level and not be too concerned about the mathematical abilities of the students. (JRH)

  5. Computers in Abstract Algebra

    ERIC Educational Resources Information Center

    Nwabueze, Kenneth K.

    2004-01-01

    The current emphasis on flexible modes of mathematics delivery involving new information and communication technology (ICT) at the university level is perhaps a reaction to the recent change in the objectives of education. Abstract algebra seems to be one area of mathematics virtually crying out for computer instructional support because of the…

  6. Sparking Interest in Trigonometry

    ERIC Educational Resources Information Center

    Quinlan, Cyril

    2004-01-01

    The most important objective when starting a class on a previously unknown branch of mathematics is to ensure that the students enjoy and appreciate the significance of this new aspect of mathematics. Inundating them with a flood of technical terms and definitions without any reality experience is a fast way to send the students out of class…

  7. Algebraic connectivity and graph robustness.

    SciTech Connect

    Feddema, John Todd; Byrne, Raymond Harry; Abdallah, Chaouki T.

    2009-07-01

    Recent papers have used Fiedler's definition of algebraic connectivity to show that network robustness, as measured by node-connectivity and edge-connectivity, can be increased by increasing the algebraic connectivity of the network. By the definition of algebraic connectivity, the second smallest eigenvalue of the graph Laplacian is a lower bound on the node-connectivity. In this paper we show that for circular random lattice graphs and mesh graphs algebraic connectivity is a conservative lower bound, and that increases in algebraic connectivity actually correspond to a decrease in node-connectivity. This means that the networks are actually less robust with respect to node-connectivity as the algebraic connectivity increases. However, an increase in algebraic connectivity seems to correlate well with a decrease in the characteristic path length of these networks - which would result in quicker communication through the network. Applications of these results are then discussed for perimeter security.

  8. Handy elementary algebraic properties of the geometry of entanglement

    NASA Astrophysics Data System (ADS)

    Blair, Howard A.; Alsing, Paul M.

    2013-05-01

    The space of separable states of a quantum system is a hyperbolic surface in a high dimensional linear space, which we call the separation surface, within the exponentially high dimensional linear space containing the quantum states of an n component multipartite quantum system. A vector in the linear space is representable as an n-dimensional hypermatrix with respect to bases of the component linear spaces. A vector will be on the separation surface iff every determinant of every 2-dimensional, 2-by-2 submatrix of the hypermatrix vanishes. This highly rigid constraint can be tested merely in time asymptotically proportional to d, where d is the dimension of the state space of the system due to the extreme interdependence of the 2-by-2 submatrices. The constraint on 2-by-2 determinants entails an elementary closed formformula for a parametric characterization of the entire separation surface with d-1 parameters in the char- acterization. The state of a factor of a partially separable state can be calculated in time asymptotically proportional to the dimension of the state space of the component. If all components of the system have approximately the same dimension, the time complexity of calculating a component state as a function of the parameters is asymptotically pro- portional to the time required to sort the basis. Metric-based entanglement measures of pure states are characterized in terms of the separation hypersurface.

  9. Teaching Algebra and Geometry Concepts by Modeling Telescope Optics

    ERIC Educational Resources Information Center

    Siegel, Lauren M.; Dickinson, Gail; Hooper, Eric J.; Daniels, Mark

    2008-01-01

    This article describes preparation and delivery of high school mathematics lessons that integrate mathematics and astronomy through The Geometer's Sketchpad models, traditional proof, and inquiry-based activities. The lessons were created by a University of Texas UTeach preservice teacher as part of a project-based field experience in which high…

  10. Algebraic Mean Field Theory

    NASA Astrophysics Data System (ADS)

    Dankova, T. S.; Rosensteel, G.

    1998-10-01

    Mean field theory has an unexpected group theoretic mathematical foundation. Instead of representation theory which applies to most group theoretic quantum models, Hartree-Fock and Hartree-Fock-Bogoliubov have been formulated in terms of coadjoint orbits for the groups U(n) and O(2n). The general theory of mean fields is formulated for an arbitrary Lie algebra L of fermion operators. The moment map provides the correspondence between the Hilbert space of microscopic wave functions and the dual space L^* of densities. The coadjoint orbits of the group in the dual space are phase spaces on which time-dependent mean field theory is equivalent to a classical Hamiltonian dynamical system. Indeed it forms a finite-dimensional Lax system. The mean field theories for the Elliott SU(3) and symplectic Sp(3,R) algebras are constructed explicitly in the coadjoint orbit framework.

  11. The Algebra Artist

    ERIC Educational Resources Information Center

    Beigie, Darin

    2014-01-01

    Most people who are attracted to STEM-related fields are drawn not by a desire to take mathematics tests but to create things. The opportunity to create an algebra drawing gives students a sense of ownership and adventure that taps into the same sort of energy that leads a young person to get lost in reading a good book, building with Legos®,…

  12. Algebra of Majorana doubling.

    PubMed

    Lee, Jaehoon; Wilczek, Frank

    2013-11-27

    Motivated by the problem of identifying Majorana mode operators at junctions, we analyze a basic algebraic structure leading to a doubled spectrum. For general (nonlinear) interactions the emergent mode creation operator is highly nonlinear in the original effective mode operators, and therefore also in the underlying electron creation and destruction operators. This phenomenon could open up new possibilities for controlled dynamical manipulation of the modes. We briefly compare and contrast related issues in the Pfaffian quantum Hall state.

  13. Algebraic Multigrid Benchmark

    SciTech Connect

    2013-05-06

    AMG2013 is a parallel algebraic multigrid solver for linear systems arising from problems on unstructured grids. It has been derived directly from the Boomer AMG solver in the hypre library, a large linear solvers library that is being developed in the Center for Applied Scientific Computing (CASC) at LLNL. The driver provided in the benchmark can build various test problems. The default problem is a Laplace type problem on an unstructured domain with various jumps and an anisotropy in one part.

  14. Priority in Process Algebras

    NASA Technical Reports Server (NTRS)

    Cleaveland, Rance; Luettgen, Gerald; Natarajan, V.

    1999-01-01

    This paper surveys the semantic ramifications of extending traditional process algebras with notions of priority that allow for some transitions to be given precedence over others. These enriched formalisms allow one to model system features such as interrupts, prioritized choice, or real-time behavior. Approaches to priority in process algebras can be classified according to whether the induced notion of preemption on transitions is global or local and whether priorities are static or dynamic. Early work in the area concentrated on global pre-emption and static priorities and led to formalisms for modeling interrupts and aspects of real-time, such as maximal progress, in centralized computing environments. More recent research has investigated localized notions of pre-emption in which the distribution of systems is taken into account, as well as dynamic priority approaches, i.e., those where priority values may change as systems evolve. The latter allows one to model behavioral phenomena such as scheduling algorithms and also enables the efficient encoding of real-time semantics. Technically, this paper studies the different models of priorities by presenting extensions of Milner's Calculus of Communicating Systems (CCS) with static and dynamic priority as well as with notions of global and local pre- emption. In each case the operational semantics of CCS is modified appropriately, behavioral theories based on strong and weak bisimulation are given, and related approaches for different process-algebraic settings are discussed.

  15. On the cohomology of Leibniz conformal algebras

    NASA Astrophysics Data System (ADS)

    Zhang, Jiao

    2015-04-01

    We construct a new cohomology complex of Leibniz conformal algebras with coefficients in a representation instead of a module. The low-dimensional cohomology groups of this complex are computed. Meanwhile, we construct a Leibniz algebra from a Leibniz conformal algebra and prove that the category of Leibniz conformal algebras is equivalent to the category of equivalence classes of formal distribution Leibniz algebras.

  16. Assessing Algebraic Solving Ability: A Theoretical Framework

    ERIC Educational Resources Information Center

    Lian, Lim Hooi; Yew, Wun Thiam

    2012-01-01

    Algebraic solving ability had been discussed by many educators and researchers. There exists no definite definition for algebraic solving ability as it can be viewed from different perspectives. In this paper, the nature of algebraic solving ability in terms of algebraic processes that demonstrate the ability in solving algebraic problem is…

  17. Second-Order Algebraic Theories

    NASA Astrophysics Data System (ADS)

    Fiore, Marcelo; Mahmoud, Ola

    Fiore and Hur [10] recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This work completes the foundations of the subject from the viewpoint of categorical algebra. Specifically, the paper introduces the notion of second-order algebraic theory and develops its basic theory. Two categorical equivalences are established: at the syntactic level, that of second-order equational presentations and second-order algebraic theories; at the semantic level, that of second-order algebras and second-order functorial models. Our development includes a mathematical definition of syntactic translation between second-order equational presentations. This gives the first formalisation of notions such as encodings and transforms in the context of languages with variable binding.

  18. How Structure Sense for Algebraic Expressions or Equations Is Related to Structure Sense for Abstract Algebra

    ERIC Educational Resources Information Center

    Novotna, Jarmila; Hoch, Maureen

    2008-01-01

    Many students have difficulties with basic algebraic concepts at high school and at university. In this paper two levels of algebraic structure sense are defined: for high school algebra and for university algebra. We suggest that high school algebra structure sense components are sub-components of some university algebra structure sense…

  19. 2-Local derivations on matrix algebras over semi-prime Banach algebras and on AW*-algebras

    NASA Astrophysics Data System (ADS)

    Ayupov, Shavkat; Kudaybergenov, Karimbergen

    2016-03-01

    The paper is devoted to 2-local derivations on matrix algebras over unital semi-prime Banach algebras. For a unital semi-prime Banach algebra A with the inner derivation property we prove that any 2-local derivation on the algebra M 2n (A), n ≥ 2, is a derivation. We apply this result to AW*-algebras and show that any 2-local derivation on an arbitrary AW*-algebra is a derivation.

  20. On Some Algebraic and Combinatorial Properties of Dunkl Elements

    NASA Astrophysics Data System (ADS)

    Kirillov, Anatol N.

    2013-06-01

    We introduce and study a certain class of nonhomogeneous quadratic algebras together with the special set of mutually commuting elements inside of each, the so-called Dunkl elements. We describe relations among the Dunkl elements. This result is a further generalization of similar results obtained in [S. Fomin and A. N. Kirillov, Quadratic algebras, Dunkl elements and Schubert calculus, in Advances in Geometry (eds. J.-S. Brylinski, V. Nistor, B. Tsygan and P. Xu), Progress in Math. Vol. 172 (Birkhäuser Boston, Boston, 1995), pp. 147-182, A. Postnikov, On a quantum version of Pieri's formula, in Advances in Geometry (eds. J.-S. Brylinski, R. Brylinski, V. Nistor, B. Tsygan and P. Xu), Progress in Math. Vol. 172 (Birkhäuser Boston, 1995), pp. 371-383 and A. N. Kirillov and T. Maenor, A Note on Quantum K-Theory of Flag Varieties, preprint]. As an application we describe explicitly the set of relations among the Gaudin elements in the group ring of the symmetric group, cf. [E. Mukhin, V. Tarasov and A. Varchenko, Bethe Subalgebras of the Group Algebra of the Symmetric Group, preprint arXiv:1004.4248]. Also we describe a few combinatorial properties of some special elements in the associative quasi-classical Yang-Baxter algebra in a connection with the values of the β-Grothendieck polynomials for some special permutations, and on the other hand, with the Ehrhart polynomial of the Chan-Robbins polytope.

  1. On Some Algebraic and Combinatorial Properties of Dunkl Elements

    NASA Astrophysics Data System (ADS)

    Kirillov, Anatol N.

    2012-11-01

    We introduce and study a certain class of nonhomogeneous quadratic algebras together with the special set of mutually commuting elements inside of each, the so-called Dunkl elements. We describe relations among the Dunkl elements. This result is a further generalization of similar results obtained in [S. Fomin and A. N. Kirillov, Quadratic algebras, Dunkl elements and Schubert calculus, in Advances in Geometry (eds. J.-S. Brylinski, V. Nistor, B. Tsygan and P. Xu), Progress in Math. Vol. 172 (Birkhäuser Boston, Boston, 1995), pp. 147-182, A. Postnikov, On a quantum version of Pieri's formula, in Advances in Geometry (eds. J.-S. Brylinski, R. Brylinski, V. Nistor, B. Tsygan and P. Xu), Progress in Math. Vol. 172 (Birkhäuser Boston, 1995), pp. 371-383 and A. N. Kirillov and T. Maenor, A Note on Quantum K-Theory of Flag Varieties, preprint]. As an application we describe explicitly the set of relations among the Gaudin elements in the group ring of the symmetric group, cf. [E. Mukhin, V. Tarasov and A. Varchenko, Bethe Subalgebras of the Group Algebra of the Symmetric Group, preprint arXiv:1004.4248]. Also we describe a few combinatorial properties of some special elements in the associative quasi-classical Yang-Baxter algebra in a connection with the values of the β-Grothendieck polynomials for some special permutations, and on the other hand, with the Ehrhart polynomial of the Chan-Robbins polytope.

  2. Plethystic algebras and vector symmetric functions.

    PubMed Central

    Rota, G C; Stein, J A

    1994-01-01

    An isomorphism is established between the plethystic Hopf algebra Pleth(Super[L]) and the algebra of vector symmetric functions. The Hall inner product of symmetric function theory is extended to the Hopf algebra Pleth(Super[L]). PMID:11607504

  3. Algebra and Algebraic Thinking in School Math: 70th YB

    ERIC Educational Resources Information Center

    National Council of Teachers of Mathematics, 2008

    2008-01-01

    Algebra is no longer just for college-bound students. After a widespread push by the National Council of Teachers of Mathematics (NCTM) and teachers across the country, algebra is now a required part of most curricula. However, students' standardized test scores are not at the level they should be. NCTM's seventieth yearbook takes a look at the…

  4. Abstract Algebra to Secondary School Algebra: Building Bridges

    ERIC Educational Resources Information Center

    Christy, Donna; Sparks, Rebecca

    2015-01-01

    The authors have experience with secondary mathematics teacher candidates struggling to make connections between the theoretical abstract algebra course they take as college students and the algebra they will be teaching in secondary schools. As a mathematician and a mathematics educator, the authors collaborated to create and implement a…

  5. Handheld Computer Algebra Systems in the Pre-Algebra Classroom

    ERIC Educational Resources Information Center

    Gantz, Linda Ann Galofaro

    2010-01-01

    This mixed method analysis sought to investigate several aspects of student learning in pre-algebra through the use of computer algebra systems (CAS) as opposed to non-CAS learning. This research was broken into two main parts, one which compared results from both the experimental group (instruction using CAS, N = 18) and the control group…

  6. Statecharts Via Process Algebra

    NASA Technical Reports Server (NTRS)

    Luttgen, Gerald; vonderBeeck, Michael; Cleaveland, Rance

    1999-01-01

    Statecharts is a visual language for specifying the behavior of reactive systems. The Language extends finite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded system, precisely defining its semantics has proved extremely challenging. In this paper, a simple process algebra, called Statecharts Process Language (SPL), is presented, which is expressive enough for encoding Statecharts in a structure-preserving and semantic preserving manner. It is establish that the behavioral relation bisimulation, when applied to SPL, preserves Statecharts semantics

  7. Algebraic Multigrid Benchmark

    2013-05-06

    AMG2013 is a parallel algebraic multigrid solver for linear systems arising from problems on unstructured grids. It has been derived directly from the Boomer AMG solver in the hypre library, a large linear solvers library that is being developed in the Center for Applied Scientific Computing (CASC) at LLNL. The driver provided in the benchmark can build various test problems. The default problem is a Laplace type problem on an unstructured domain with various jumpsmore » and an anisotropy in one part.« less

  8. Structured adaptive grid generation using algebraic methods

    NASA Technical Reports Server (NTRS)

    Yang, Jiann-Cherng; Soni, Bharat K.; Roger, R. P.; Chan, Stephen C.

    1993-01-01

    of points to the grid redistribution scheme. The evaluation of the weighting mesh is accomplished by utilizing the weight function representing the solution variation and the equidistribution law. The selection of the weight function plays a key role in grid adaptation. A new weight function utilizing a properly weighted boolean sum of various flowfield characteristics is defined. The redistribution scheme is developed utilizing Non-Uniform Rational B-Splines (NURBS) representation. The application of NURBS representation results in a well distributed smooth grid by maintaining the fidelity of the geometry associated with boundary curves. Several algebraic methods are applied to smooth and/or nearly orthogonalize the grid lines. An elliptic solver is utilized to smooth the grid lines if there are grid crossings. Various computational examples of practical interest are presented to demonstrate the success of these methods.

  9. Near-horizon geometry and warped conformal symmetry

    NASA Astrophysics Data System (ADS)

    Afshar, Hamid; Detournay, Stéphane; Grumiller, Daniel; Oblak, Blagoje

    2016-03-01

    We provide boundary conditions for three-dimensional gravity including boosted Rindler spacetimes, representing the near-horizon geometry of non-extremal black holes or flat space cosmologies. These boundary conditions force us to make some unusual choices, like integrating the canonical boundary currents over retarded time and periodically identifying the latter. The asymptotic symmetry algebra turns out to be a Witt algebra plus a twisted u(1) current algebra with vanishing level, corresponding to a twisted warped CFT that is qualitatively different from the ones studied so far in the literature. We show that this symmetry algebra is related to BMS by a twisted Sugawara construction and exhibit relevant features of our theory, including matching micro- and macroscopic calculations of the entropy of zero-mode solutions. We confirm this match in a generalization to boosted Rindler-AdS. Finally, we show how Rindler entropy emerges in a suitable limit.

  10. Linear Algebra and Image Processing

    ERIC Educational Resources Information Center

    Allali, Mohamed

    2010-01-01

    We use the computing technology digital image processing (DIP) to enhance the teaching of linear algebra so as to make the course more visual and interesting. Certainly, this visual approach by using technology to link linear algebra to DIP is interesting and unexpected to both students as well as many faculty. (Contains 2 tables and 11 figures.)

  11. Linear algebra and image processing

    NASA Astrophysics Data System (ADS)

    Allali, Mohamed

    2010-09-01

    We use the computing technology digital image processing (DIP) to enhance the teaching of linear algebra so as to make the course more visual and interesting. Certainly, this visual approach by using technology to link linear algebra to DIP is interesting and unexpected to both students as well as many faculty.

  12. A Programmed Course in Algebra.

    ERIC Educational Resources Information Center

    Mewborn, Ancel C.; Hively, Wells II

    This programed textbook consists of short sections of text interspersed with questions designed to aid the student in understanding the material. The course is designed to increase the student's understanding of some of the basic ideas of algebra. Some general experience and manipulative skill with respect to high school algebra is assumed.…

  13. Astro Algebra [CD-ROM].

    ERIC Educational Resources Information Center

    1997

    Astro Algebra is one of six titles in the Mighty Math Series from Edmark, a comprehensive line of math software for students from kindergarten through ninth grade. Many of the activities in Astro Algebra contain a unique technology that uses the computer to help students make the connection between concrete and abstract mathematics. This software…

  14. Gamow functionals on operator algebras

    NASA Astrophysics Data System (ADS)

    Castagnino, M.; Gadella, M.; Betán, R. Id; Laura, R.

    2001-11-01

    We obtain the precise form of two Gamow functionals representing the exponentially decaying part of a quantum resonance and its mirror image that grows exponentially, as a linear, positive and continuous functional on an algebra containing observables. These functionals do not admit normalization and, with an appropriate choice of the algebra, are time reversal of each other.

  15. Online Algebraic Tools for Teaching

    ERIC Educational Resources Information Center

    Kurz, Terri L.

    2011-01-01

    Many free online tools exist to complement algebraic instruction at the middle school level. This article presents findings that analyzed the features of algebraic tools to support learning. The findings can help teachers select appropriate tools to facilitate specific topics. (Contains 1 table and 4 figures.)

  16. Patterns to Develop Algebraic Reasoning

    ERIC Educational Resources Information Center

    Stump, Sheryl L.

    2011-01-01

    What is the role of patterns in developing algebraic reasoning? This important question deserves thoughtful attention. In response, this article examines some differing views of algebraic reasoning, discusses a controversy regarding patterns, and describes how three types of patterns--in contextual problems, in growing geometric figures, and in…

  17. Algebra: Grades 8-12.

    ERIC Educational Resources Information Center

    Instructional Objectives Exchange, Los Angeles, CA.

    A complete set of behavioral objectives for first-year algebra taught in any of grades 8 through 12 is presented. Three to six sample test items and answers are provided for each objective. Objectives were determined by surveying the most used secondary school algebra textbooks. Fourteen major categories are included: (1) whole numbers--operations…

  18. Elementary maps on nest algebras

    NASA Astrophysics Data System (ADS)

    Li, Pengtong

    2006-08-01

    Let , be algebras and let , be maps. An elementary map of is an ordered pair (M,M*) such that for all , . In this paper, the general form of surjective elementary maps on standard subalgebras of nest algebras is described. In particular, such maps are automatically additive.

  19. Condensing Algebra for Technical Mathematics.

    ERIC Educational Resources Information Center

    Greenfield, Donald R.

    Twenty Algebra-Packets (A-PAKS) were developed by the investigator for technical education students at the community college level. Each packet contained a statement of rationale, learning objectives, performance activities, performance test, and performance test answer key. The A-PAKS condensed the usual sixteen weeks of algebra into a six-week…

  20. The Algebra of the Arches

    ERIC Educational Resources Information Center

    Buerman, Margaret

    2007-01-01

    Finding real-world examples for middle school algebra classes can be difficult but not impossible. As we strive to accomplish teaching our students how to solve and graph equations, we neglect to teach the big ideas of algebra. One of those big ideas is functions. This article gives three examples of functions that are found in Arches National…

  1. Thermodynamics. [algebraic structure

    NASA Technical Reports Server (NTRS)

    Zeleznik, F. J.

    1976-01-01

    The fundamental structure of thermodynamics is purely algebraic, in the sense of atopological, and it is also independent of partitions, composite systems, the zeroth law, and entropy. The algebraic structure requires the notion of heat, but not the first law. It contains a precise definition of entropy and identifies it as a purely mathematical concept. It also permits the construction of an entropy function from heat measurements alone when appropriate conditions are satisfied. Topology is required only for a discussion of the continuity of thermodynamic properties, and then the weak topology is the relevant topology. The integrability of the differential form of the first law can be examined independently of Caratheodory's theorem and his inaccessibility axiom. Criteria are established by which one can determine when an integrating factor can be made intensive and the pseudopotential extensive and also an entropy. Finally, a realization of the first law is constructed which is suitable for all systems whether they are solids or fluids, whether they do or do not exhibit chemical reactions, and whether electromagnetic fields are or are not present.

  2. Hermann-Bernoulli-Laplace-Hamilton-Runge-Lenz Vector.

    ERIC Educational Resources Information Center

    Subramanian, P. R.; And Others

    1991-01-01

    A way for students to refresh and use their knowledge in both mathematics and physics is presented. By the study of the properties of the "Runge-Lenz" vector the subjects of algebra, analytical geometry, calculus, classical mechanics, differential equations, matrices, quantum mechanics, trigonometry, and vector analysis can be reviewed. (KR)

  3. Tenth Year Mathematics.

    ERIC Educational Resources Information Center

    New York State Education Dept., Albany. Bureau of Secondary Curriculum Development.

    The booklet presents the minimum material for which students are responsible on the Tenth Year Regents examination of the state of New York. The syllabus is an attempt to integrate plane geometry with arithmetic, algebra and numerical trigonometry brought about by: (1) greater use of fractions and percents in mensuration problems; (2) use of…

  4. DIFFERENTIAL AND INTEGRAL CALCULUS. A TENTATIVE CURRICULUM GUIDE.

    ERIC Educational Resources Information Center

    BRANT, VINCENT; GERARDI, WILLIAM

    A GUIDE FOR A 1-YEAR COURSE IN DIFFERENTIAL AND INTEGRAL CALCULUS PREREQUISITED KNOWLEDGE IN ALGEBRA, ANALYTIC TRIGONOMETRY, AND ELEMENTARY ANALYSIS. EACH ASSIGNMENT CONTAINED BOTH NEW AND REVIEW WORK TO REINFORCE THE NEW WORK. THERE WERE ELEVEN UNITS OF STUDY USING THE FOLLOWING FOUR BOOKS--"CALCULUS AND ANALYTIC GEOMETRY, THIRD EDITIONS," BY…

  5. 46 CFR 310.55 - Scholastic requirements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... education at an accredited secondary school, or equivalent, and shall present at least 15 units of credit... Mathematics (from algebra, geometry and trigonometry); (B) 3 units of English; and (C) 1 unit of Physics or... education, or showing that such education will be completed no later than June 30 of the year in...

  6. Core-Plus Mathematics. What Works Clearinghouse Intervention Report

    ERIC Educational Resources Information Center

    What Works Clearinghouse, 2010

    2010-01-01

    "Core-Plus Mathematics" is a four-year curriculum that replaces the traditional sequence with courses that each feature interwoven strands of algebra and functions, statistics and probability, geometry and trigonometry, and discrete mathematics. The first three courses in the series provide a common core of broadly useful mathematics, while the…

  7. Using Technology to Promote Mathematical Discourse Concerning Women in Mathematics

    ERIC Educational Resources Information Center

    Phy, Lyn

    2008-01-01

    This paper discusses uses of technology to facilitate mathematical discourse concerning women in mathematics. Such a topic can be introduced in various traditional courses such as algebra, geometry, trigonometry, probability and statistics, or calculus, but it is not included in traditional textbooks. Through the ideas presented here, you can…

  8. Introducing Group Theory through Music

    ERIC Educational Resources Information Center

    Johnson, Craig M.

    2009-01-01

    The central ideas of postcalculus mathematics courses offered in college are difficult to introduce in middle and secondary schools, especially through the engineering and sciences examples traditionally used in algebra, geometry, and trigonometry textbooks. However, certain concepts in music theory can be used to expose students to interesting…

  9. Math That Measures Up.

    ERIC Educational Resources Information Center

    Ohanian, Susan

    1997-01-01

    Describes the Interactive Mathematics Program (IMP), a four-year curriculum that teaches algebra, geometry, and trigonometry together in a problem-solving process emphasizing logical analysis, inference, and deduction. Because the program presents mathematics in real-world contexts, teachers need time for consultation and planning. (LMI)

  10. Is This a Mathematics Class?

    ERIC Educational Resources Information Center

    Alper, Lynne; And Others

    1995-01-01

    Describes the Interactive Mathematics Program (IMP), a four-year program of problem-based mathematics that integrates algebra, geometry, and trigonometry with additional topics, such as probability and statistics, and uses calculator and computer technology to enhance student understanding. (MKR)

  11. Mathematical Preparation for General Physics.

    ERIC Educational Resources Information Center

    Marion, Jerry B.; Davidson, Ronald C.

    This textbook is intended to provide the requisite mathematical background for an introductory college course in general physics. The topics covered are: Numbers and Units; Experimental Error; Basic Algebra, Geometry and Trigonometry; Functions and Graphs; Vectors; The Slide Rule; and Physical Units and Conversions. Where possible, mathematical…

  12. 46 CFR 310.55 - Scholastic requirements.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... Mathematics (from algebra, geometry and trigonometry); (B) 3 units of English; and (C) 1 unit of Physics or Chemistry. (ii) 8 other units, preferably chosen from the following fields: (A) Additional mathematics and... candidate electing to use the College Board shall take both the mathematics and the verbal section of...

  13. Using Linear Algebra to Introduce Computer Algebra, Numerical Analysis, Data Structures and Algorithms (and To Teach Linear Algebra, Too).

    ERIC Educational Resources Information Center

    Gonzalez-Vega, Laureano

    1999-01-01

    Using a Computer Algebra System (CAS) to help with the teaching of an elementary course in linear algebra can be one way to introduce computer algebra, numerical analysis, data structures, and algorithms. Highlights the advantages and disadvantages of this approach to the teaching of linear algebra. (Author/MM)

  14. Students' misconceptions and errors in transformation geometry

    NASA Astrophysics Data System (ADS)

    Ada, Tuba; Kurtuluş, Aytaç

    2010-10-01

    This study analyses the students' performances in two-dimensional transformation geometry and explores the mistakes made by the students taking the analytic geometry course given by researchers. An examination was given to students of Education Faculties who have taken the analytic geometry course at Eskisehir Osmangazi University in Turkey. The subject of this study included 126 third-year students in the Department of Mathematics Education. Data were collected from a seven questions exam. This exam consisted of three procedural questions, two conceptual questions and two procedural-conceptual questions. In data analysis, a descriptor code key was used. When the students' overall performances were considered for all seven questions, the results showed that they did not understand how to apply rotation transformation. The mostly observed mistakes showed that the students seemed to know the algebraic meaning of translation and also rotation but they did not seem to understand the geometric meaning of them.

  15. Quantum algebra of N superspace

    SciTech Connect

    Hatcher, Nicolas; Restuccia, A.; Stephany, J.

    2007-08-15

    We identify the quantum algebra of position and momentum operators for a quantum system bearing an irreducible representation of the super Poincare algebra in the N>1 and D=4 superspace, both in the case where there are no central charges in the algebra, and when they are present. This algebra is noncommutative for the position operators. We use the properties of superprojectors acting on the superfields to construct explicit position and momentum operators satisfying the algebra. They act on the projected wave functions associated to the various supermultiplets with defined superspin present in the representation. We show that the quantum algebra associated to the massive superparticle appears in our construction and is described by a supermultiplet of superspin 0. This result generalizes the construction for D=4, N=1 reported recently. For the case N=2 with central charges, we present the equivalent results when the central charge and the mass are different. For the {kappa}-symmetric case when these quantities are equal, we discuss the reduction to the physical degrees of freedom of the corresponding superparticle and the construction of the associated quantum algebra.

  16. Constraint algebra in bigravity

    SciTech Connect

    Soloviev, V. O.

    2015-07-15

    The number of degrees of freedom in bigravity theory is found for a potential of general form and also for the potential proposed by de Rham, Gabadadze, and Tolley (dRGT). This aim is pursued via constructing a Hamiltonian formalismand studying the Poisson algebra of constraints. A general potential leads to a theory featuring four first-class constraints generated by general covariance. The vanishing of the respective Hessian is a crucial property of the dRGT potential, and this leads to the appearance of two additional second-class constraints and, hence, to the exclusion of a superfluous degree of freedom—that is, the Boulware—Deser ghost. The use of a method that permits avoiding an explicit expression for the dRGT potential is a distinctive feature of the present study.

  17. Constraint algebra in bigravity

    NASA Astrophysics Data System (ADS)

    Soloviev, V. O.

    2015-07-01

    The number of degrees of freedom in bigravity theory is found for a potential of general form and also for the potential proposed by de Rham, Gabadadze, and Tolley (dRGT). This aim is pursued via constructing a Hamiltonian formalismand studying the Poisson algebra of constraints. A general potential leads to a theory featuring four first-class constraints generated by general covariance. The vanishing of the respective Hessian is a crucial property of the dRGT potential, and this leads to the appearance of two additional second-class constraints and, hence, to the exclusion of a superfluous degree of freedom—that is, the Boulware—Deser ghost. The use of a method that permits avoiding an explicit expression for the dRGT potential is a distinctive feature of the present study.

  18. Algebraic distance on graphs.

    SciTech Connect

    Chen, J.; Safro, I.

    2011-01-01

    Measuring the connection strength between a pair of vertices in a graph is one of the most important concerns in many graph applications. Simple measures such as edge weights may not be sufficient for capturing the effects associated with short paths of lengths greater than one. In this paper, we consider an iterative process that smooths an associated value for nearby vertices, and we present a measure of the local connection strength (called the algebraic distance; see [D. Ron, I. Safro, and A. Brandt, Multiscale Model. Simul., 9 (2011), pp. 407-423]) based on this process. The proposed measure is attractive in that the process is simple, linear, and easily parallelized. An analysis of the convergence property of the process reveals that the local neighborhoods play an important role in determining the connectivity between vertices. We demonstrate the practical effectiveness of the proposed measure through several combinatorial optimization problems on graphs and hypergraphs.

  19. A New Reynolds Stress Algebraic Equation Model

    NASA Technical Reports Server (NTRS)

    Shih, Tsan-Hsing; Zhu, Jiang; Lumley, John L.

    1994-01-01

    A general turbulent constitutive relation is directly applied to propose a new Reynolds stress algebraic equation model. In the development of this model, the constraints based on rapid distortion theory and realizability (i.e. the positivity of the normal Reynolds stresses and the Schwarz' inequality between turbulent velocity correlations) are imposed. Model coefficients are calibrated using well-studied basic flows such as homogeneous shear flow and the surface flow in the inertial sublayer. The performance of this model is then tested in complex turbulent flows including the separated flow over a backward-facing step and the flow in a confined jet. The calculation results are encouraging and point to the success of the present model in modeling turbulent flows with complex geometries.

  20. Readiness and Preparation for Beginning Algebra.

    ERIC Educational Resources Information Center

    Rotman, Jack W.

    Drawing from experience at Lansing Community College (LCC), this paper discusses how to best prepare students for success in a beginning algebra course. First, an overview is presented of LCC's developmental math sequence, which includes Basic Arithmetic (MTH 008), Pre-Algebra (MTH 009), Beginning Algebra (MTH 012), and Intermediate Algebra (MTH…

  1. Hopf algebras and Dyson-Schwinger equations

    NASA Astrophysics Data System (ADS)

    Weinzierl, Stefan

    2016-06-01

    In this paper I discuss Hopf algebras and Dyson-Schwinger equations. This paper starts with an introduction to Hopf algebras, followed by a review of the contribution and application of Hopf algebras to particle physics. The final part of the paper is devoted to the relation between Hopf algebras and Dyson-Schwinger equations.

  2. Two-parameter twisted quantum affine algebras

    NASA Astrophysics Data System (ADS)

    Jing, Naihuan; Zhang, Honglian

    2016-09-01

    We establish Drinfeld realization for the two-parameter twisted quantum affine algebras using a new method. The Hopf algebra structure for Drinfeld generators is given for both untwisted and twisted two-parameter quantum affine algebras, which include the quantum affine algebras as special cases.

  3. Sound Off! Don't Sacrifice Geometry on the Common Core Altar

    ERIC Educational Resources Information Center

    Nirode, Wayne

    2013-01-01

    Although high school geometry could be a meaningful course in exploring, reasoning, proving, and communicating, it often lacks authentic proof and has become just another course in algebra. This article examines why geometry is important to learn and provides an outline of what that learning experience should be.

  4. Towards an invariant geometry of double field theory

    NASA Astrophysics Data System (ADS)

    Hohm, Olaf; Zwiebach, Barton

    2013-03-01

    We introduce a geometrical framework for double field theory in which generalized Riemann and torsion tensors are defined without reference to a particular basis. This invariant geometry provides a unifying framework for the frame-like and metric-like formulations developed before. We discuss the relation to generalized geometry and give an "index-free" proof of the algebraic Bianchi identity. Finally, we analyze to what extent the generalized Riemann tensor encodes the curvatures of Riemannian geometry. We show that it contains the conventional Ricci tensor and scalar curvature but not the full Riemann tensor, suggesting the possibility of a further extension of this framework.

  5. Cartooning in Algebra and Calculus

    ERIC Educational Resources Information Center

    Moseley, L. Jeneva

    2014-01-01

    This article discusses how teachers can create cartoons for undergraduate math classes, such as college algebra and basic calculus. The practice of cartooning for teaching can be helpful for communication with students and for students' conceptual understanding.

  6. Ada Linear-Algebra Program

    NASA Technical Reports Server (NTRS)

    Klumpp, A. R.; Lawson, C. L.

    1988-01-01

    Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.

  7. GCD, LCM, and Boolean Algebra?

    ERIC Educational Resources Information Center

    Cohen, Martin P.; Juraschek, William A.

    1976-01-01

    This article investigates the algebraic structure formed when the process of finding the greatest common divisor and the least common multiple are considered as binary operations on selected subsets of positive integers. (DT)

  8. Quanta of geometry: noncommutative aspects.

    PubMed

    Chamseddine, Ali H; Connes, Alain; Mukhanov, Viatcheslav

    2015-03-01

    In the construction of spectral manifolds in noncommutative geometry, a higher degree Heisenberg commutation relation involving the Dirac operator and the Feynman slash of real scalar fields naturally appears and implies, by equality with the index formula, the quantization of the volume. We first show that this condition implies that the manifold decomposes into disconnected spheres, which will represent quanta of geometry. We then refine the condition by involving the real structure and two types of geometric quanta, and show that connected spin manifolds with large quantized volume are then obtained as solutions. The two algebras M_{2}(H) and M_{4}(C) are obtained, which are the exact constituents of the standard model. Using the two maps from M_{4} to S^{4} the four-manifold is built out of a very large number of the two kinds of spheres of Planckian volume. We give several physical applications of this scheme such as quantization of the cosmological constant, mimetic dark matter, and area quantization of black holes. PMID:25793795

  9. Hopf algebras and topological recursion

    NASA Astrophysics Data System (ADS)

    Esteves, João N.

    2015-11-01

    We consider a model for topological recursion based on the Hopf algebra of planar binary trees defined by Loday and Ronco (1998 Adv. Math. 139 293-309 We show that extending this Hopf algebra by identifying pairs of nearest neighbor leaves, and thus producing graphs with loops, we obtain the full recursion formula discovered by Eynard and Orantin (2007 Commun. Number Theory Phys. 1 347-452).

  10. ALGEBRA v.1.27

    SciTech Connect

    Sjaardema, G.; Gilkey, A.; Smith, M.; Forsythe, C.

    2005-04-11

    The ALGEBRA program allows the user to manipulate data from a finite element analysis before it is plotted. The finite element output data is in the form of variable values (e.g., stress, strain, and velocity components) in an EXODUS II database. The ALGEBRA program evaluates user-supplied functions of the data and writes the results to an output EXODUS II database that can be read by plot programs.

  11. Algebraic Systems and Pushdown Automata

    NASA Astrophysics Data System (ADS)

    Petre, Ion; Salomaa, Arto

    We concentrate in this chapter on the core aspects of algebraic series, pushdown automata, and their relation to formal languages. We choose to follow here a presentation of their theory based on the concept of properness. We introduce in Sect. 2 some auxiliary notions and results needed throughout the chapter, in particular the notions of discrete convergence in semirings and C-cycle free infinite matrices. In Sect. 3 we introduce the algebraic power series in terms of algebraic systems of equations. We focus on interconnections with context-free grammars and on normal forms. We then conclude the section with a presentation of the theorems of Shamir and Chomsky-Schützenberger. We discuss in Sect. 4 the algebraic and the regulated rational transductions, as well as some representation results related to them. Section 5 is dedicated to pushdown automata and focuses on the interconnections with classical (non-weighted) pushdown automata and on the interconnections with algebraic systems. We then conclude the chapter with a brief discussion of some of the other topics related to algebraic systems and pushdown automata.

  12. Geometry in Medias Res

    ERIC Educational Resources Information Center

    Cukier, Mimi; Asdourian, Tony; Thakker, Anand

    2012-01-01

    Geometry provides a natural window into what it is like to do mathematics. In the world of geometry, playful experimentation is often more fruitful than following a procedure, and logic plus a few axioms can open new worlds. Nonetheless, teaching a geometry course in a way that combines both rigor and play can be difficult. Many geometry courses…

  13. Noncommutative spectral geometry, Bogoliubov transformations and neutrino oscillations

    NASA Astrophysics Data System (ADS)

    Vittoria Gargiulo, Maria; Sakellariadou, Mairi; Vitiello, Giuseppe

    2015-07-01

    In this report we show that neutrino mixing is intrinsically contained in Connes’ noncommutatives pectral geometry construction, thanks to the introduction of the doubling of algebra, which is connected to the Bogoliubov transformation. It is known indeed that these transformations are responsible for the mixing, turning the mass vacuum state into the flavor vacuum state, in such a way that mass and flavor vacuum states are not unitary equivalent. There is thus a red thread that binds the doubling of algebra of Connes’ model to the neutrino mixing.

  14. Invertible linear transformations and the Lie algebras

    NASA Astrophysics Data System (ADS)

    Zhang, Yufeng; Tam, Honwah; Guo, Fukui

    2008-07-01

    With the help of invertible linear transformations and the known Lie algebras, a way to generate new Lie algebras is given. These Lie algebras obtained have a common feature, i.e. integrable couplings of solitary hierarchies could be obtained by using them, specially, the Hamiltonian structures of them could be worked out. Some ways to construct the loop algebras of the Lie algebras are presented. It follows that some various loop algebras are given. In addition, a few new Lie algebras are explicitly constructed in terms of the classification of Lie algebras proposed by Ma Wen-Xiu, which are bases for obtaining new Lie algebras by using invertible linear transformations. Finally, some solutions of a (2 + 1)-dimensional partial-differential equation hierarchy are obtained, whose Hamiltonian form-expressions are manifested by using the quadratic-form identity.

  15. Causal structure and algebraic classification of non-dissipative linear optical media

    NASA Astrophysics Data System (ADS)

    Schuller, Frederic P.; Witte, Christof; Wohlfarth, Mattias N. R.

    2010-09-01

    In crystal optics and quantum electrodynamics in gravitational vacua, the propagation of light is not described by a metric, but an area metric geometry. In this article, this prompts us to study conditions for linear electrodynamics on area metric manifolds to be well-posed. This includes an identification of the timelike future cones and their duals associated to an area metric geometry, and thus paves the ground for a discussion of the related local and global causal structures in standard fashion. In order to provide simple algebraic criteria for an area metric manifold to present a consistent spacetime structure, we develop a complete algebraic classification of area metric tensors up to general transformations of frame. This classification, valuable in its own right, is then employed to prove a theorem excluding the majority of algebraic classes of area metrics as viable spacetimes. Physically, these results classify and drastically restrict the viable constitutive tensors of non-dissipative linear optical media.

  16. Quantum groups: Geometry and applications

    SciTech Connect

    Chu, C.S.

    1996-05-13

    The main theme of this thesis is a study of the geometry of quantum groups and quantum spaces, with the hope that they will be useful for the construction of quantum field theory with quantum group symmetry. The main tool used is the Faddeev-Reshetikhin-Takhtajan description of quantum groups. A few content-rich examples of quantum complex spaces with quantum group symmetry are treated in details. In chapter 1, the author reviews some of the basic concepts and notions for Hopf algebras and other background materials. In chapter 2, he studies the vector fields of quantum groups. A compact realization of these vector fields as pseudodifferential operators acting on the linear quantum spaces is given. In chapter 3, he describes the quantum sphere as a complex quantum manifold by means of a quantum stereographic projection. A covariant calculus is introduced. An interesting property of this calculus is the existence of a one-form realization of the exterior differential operator. The concept of a braided comodule is introduced and a braided algebra of quantum spheres is constructed. In chapter 4, the author considers the more general higher dimensional quantum complex projective spaces and the quantum Grassman manifolds. Differential calculus, integration and braiding can be introduced as in the one dimensional case. Finally, in chapter 5, he studies the framework of quantum principal bundle and construct the q-deformed Dirac monopole as a quantum principal bundle with a quantum sphere as the base and a U(1) with non-commutative calculus as the fiber. The first Chern class can be introduced and integrated to give the monopole charge.

  17. BRST charges for finite nonlinear algebras

    NASA Astrophysics Data System (ADS)

    Isaev, A. P.; Krivonos, S. O.; Ogievetsky, O. V.

    2010-07-01

    Some ingredients of the BRST construction for quantum Lie algebras are applied to a wider class of quadratic algebras of constraints. We build the BRST charge for a quantum Lie algebra with three generators and ghost-anti-ghosts commuting with constraints. We consider a one-parametric family of quadratic algebras with three generators and show that the BRST charge acquires the conventional form after a redefinition of ghosts. The modified ghosts form a quadratic algebra. The family possesses a nonlinear involution, which implies the existence of two independent BRST charges for each algebra in the family. These BRST charges anticommute and form a double BRST complex.

  18. Some Remarks on Kite Pseudo Effect Algebras

    NASA Astrophysics Data System (ADS)

    Dvurečenskij, Anatolij; Holland, W. Charles

    2014-05-01

    Recently a new family of pseudo effect algebras, called kite pseudo effect algebras, was introduced. Such an algebra starts with a po-group G, a set I and with two bijections λ, ρ: I→ I. Using a clever construction on the ordinal sum of ( G +) I and ( G -) I , we can define a pseudo effect algebra which can be non-commutative even if G is an Abelian po-group. In the paper we give a characterization of subdirect product of subdirectly irreducible kite pseudo effect algebras, and we show that every kite pseudo effect algebra is an interval in a unital po-loop.

  19. Space Mathematics: A Resource for Secondary School Teachers

    NASA Technical Reports Server (NTRS)

    Kastner, Bernice

    1985-01-01

    A collection of mathematical problems related to NASA space science projects is presented. In developing the examples and problems, attention was given to preserving the authenticity and significance of the original setting while keeping the level of mathematics within the secondary school curriculum. Computation and measurement, algebra, geometry, probability and statistics, exponential and logarithmic functions, trigonometry, matrix algebra, conic sections, and calculus are among the areas addressed.

  20. Operator product expansion algebra

    SciTech Connect

    Holland, Jan; Hollands, Stefan

    2013-07-15

    We establish conceptually important properties of the operator product expansion (OPE) in the context of perturbative, Euclidean φ{sup 4}-quantum field theory. First, we demonstrate, generalizing earlier results and techniques of hep-th/1105.3375, that the 3-point OPE, =Σ{sub C}C{sub A{sub 1A{sub 2A{sub 3}{sup C}}}}, usually interpreted only as an asymptotic short distance expansion, actually converges at finite, and even large, distances. We further show that the factorization identity C{sub A{sub 1A{sub 2A{sub 3}{sup B}}}}=Σ{sub C}C{sub A{sub 1A{sub 2}{sup C}}}C{sub CA{sub 3}{sup B}} is satisfied for suitable configurations of the spacetime arguments. Again, the infinite sum is shown to be convergent. Our proofs rely on explicit bounds on the remainders of these expansions, obtained using refined versions, mostly due to Kopper et al., of the renormalization group flow equation method. These bounds also establish that each OPE coefficient is a real analytic function in the spacetime arguments for non-coinciding points. Our results hold for arbitrary but finite loop orders. They lend support to proposals for a general axiomatic framework of quantum field theory, based on such “consistency conditions” and akin to vertex operator algebras, wherein the OPE is promoted to the defining structure of the theory.

  1. Focus in High School Mathematics: Reasoning and Sense Making in Algebra

    ERIC Educational Resources Information Center

    Graham, Karen; Cuoco, Albert; Zimmermann, Gwendolyn

    2010-01-01

    This book examines the five key elements (meaningful use of symbols, mindful manipulation, reasoned solving, connection algebra with geometry, and linking expressions and functions) identified in "Focus in High School Mathematics: Reasoning and Sense Making" in more detail and elaborates on the associated reasoning habits. This volume is one of a…

  2. Spectral geometry of {kappa}-Minkowski space

    SciTech Connect

    D'Andrea, Francesco

    2006-06-15

    After recalling Snyder's idea [Phys. Rev. 71, 38 (1947)] of using vector fields over a smooth manifold as 'coordinates on a noncommutative space', we discuss a two-dimensional toy-model whose 'dual' noncommutative coordinates form a Lie algebra: this is the well-known {kappa}-Minkowski space [Phys. Lett. B 334, 348 (1994)]. We show how to improve Snyder's idea using the tools of quantum groups and noncommutative geometry. We find a natural representation of the coordinate algebra of {kappa}-Minkowski as linear operators on an Hilbert space (a major problem in the construction of a physical theory), study its 'spectral properties', and discuss how to obtain a Dirac operator for this space. We describe two Dirac operators. The first is associated with a spectral triple. We prove that the cyclic integral of Dimitrijevic et al. [Eur. Phys. J. C 31, 129 (2003)] can be obtained as Dixmier trace associated to this triple. The second Dirac operator is equivariant for the action of the quantum Euclidean group, but it has unbounded commutators with the algebra.

  3. Constructing a parasupersymmetric Virasoro algebra

    NASA Astrophysics Data System (ADS)

    Kuwata, S.

    2011-03-01

    We construct a para SUSY Virasoro algebra by generalizing the ordinary fermion in SUSY Virasoro algebra (Ramond or Neveu-Schwarz algebra) to the parafermion. First, we obtain a polynomial relation (PR) between different-mode parafermion fi's by generalizing the corresponding single-mode PR to such that is invariant under the unitary transformation of fi (Green's condition). Differently from a usual context, where the Green's condition is imposed only on the defining relation of fi (degree three with respect to fi and fi†), we impose it on any degree of PR. For the case of order-two parafermion (the simplest case of para SUSY), we calculate a PR between the parasupercharge G0, the bosonic hamiltonian LB0 and parafermionic one LF0, although it is difficult to obtain a PR between G0 and the total hamiltonian L0 (= LB0 + LF0). Finally, we construct a para SUSY Virasoro algebra by generalizing L0 to the Ln's such that form a Virasoro algebra.

  4. Conformal invariance in noncommutative geometry and mutually interacting Snyder particles

    NASA Astrophysics Data System (ADS)

    Pramanik, Souvik; Ghosh, Subir; Pal, Probir

    2014-11-01

    A system of relativistic Snyder particles with mutual two-body interaction that lives in a noncommutative Snyder geometry is studied. The underlying novel symplectic structure is a coupled and extended version of (single-particle) Snyder algebra. In a recent work by Casalbuoni and Gomis [Phys. Rev. D 90, 026001 (2014)], a system of interacting conventional particles (in commutative spacetime) was studied with special emphasis on its conformal invariance. Proceeding along the same lines, we have shown that our interacting Snyder particle model is also conformally invariant. Moreover, the conformal Killing vectors have been constructed. Our main emphasis is on the Hamiltonian analysis of the conformal symmetry generators. We demonstrate that the Lorentz algebra remains undeformed, but validity of the full conformal algebra requires further restrictions.

  5. The local geometry of compact homogeneous Lorentz spaces

    NASA Astrophysics Data System (ADS)

    Günther, Felix

    2015-03-01

    In 1995, S. Adams and G. Stuck as well as A. Zeghib independently provided a classification of non-compact Lie groups which can act isometrically and locally effectively on compact Lorentzian manifolds. In the case that the corresponding Lie algebra contains a direct summand isomorphic to the two-dimensional special linear algebra or to a twisted Heisenberg algebra, Zeghib also described the geometric structure of the manifolds. Using these results, we investigate the local geometry of compact homogeneous Lorentz spaces whose isometry groups have non-compact connected components. It turns out that they all are reductive. We investigate the isotropy representation and curvatures. In particular, we obtain that any Ricci-flat compact homogeneous Lorentz space is flat or has compact isometry group.

  6. A Metric Conceptual Space Algebra

    NASA Astrophysics Data System (ADS)

    Adams, Benjamin; Raubal, Martin

    The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations that are built using geometric and topological conceptual space structures are well suited for semantic similarity and concept combination operations. In addition, concepts that are more closely grounded in the physical world, such as many spatial concepts, have a natural fit with the geometric structure of conceptual spaces. Despite these apparent advantages, conceptual spaces are underutilized because existing formalizations of conceptual space theory have focused on individual aspects of the theory rather than the creation of a comprehensive algebra. In this paper we present a metric conceptual space algebra that is designed to facilitate the creation of conceptual space knowledge bases and inferencing systems. Conceptual regions are represented as convex polytopes and context is built in as a fundamental element. We demonstrate the applicability of the algebra to spatial information systems with a proof-of-concept application.

  7. Algebraic Lattices in QFT Renormalization

    NASA Astrophysics Data System (ADS)

    Borinsky, Michael

    2016-07-01

    The structure of overlapping subdivergences, which appear in the perturbative expansions of quantum field theory, is analyzed using algebraic lattice theory. It is shown that for specific QFTs the sets of subdivergences of Feynman diagrams form algebraic lattices. This class of QFTs includes the standard model. In kinematic renormalization schemes, in which tadpole diagrams vanish, these lattices are semimodular. This implies that the Hopf algebra of Feynman diagrams is graded by the coradical degree or equivalently that every maximal forest has the same length in the scope of BPHZ renormalization. As an application of this framework, a formula for the counter terms in zero-dimensional QFT is given together with some examples of the enumeration of primitive or skeleton diagrams.

  8. Colored Quantum Algebra and Its Bethe State

    NASA Astrophysics Data System (ADS)

    Wang, Jin-Zheng; Jia, Xiao-Yu; Wang, Shi-Kun

    2014-12-01

    We investigate the colored Yang—Baxter equation. Based on a trigonometric solution of colored Yang—Baxter equation, we construct a colored quantum algebra. Moreover we discuss its algebraic Bethe ansatz state and highest wight representation.

  9. Generalized Galilean algebras and Newtonian gravity

    NASA Astrophysics Data System (ADS)

    González, N.; Rubio, G.; Salgado, P.; Salgado, S.

    2016-04-01

    The non-relativistic versions of the generalized Poincaré algebras and generalized AdS-Lorentz algebras are obtained. These non-relativistic algebras are called, generalized Galilean algebras of type I and type II and denoted by GBn and GLn respectively. Using a generalized Inönü-Wigner contraction procedure we find that the generalized Galilean algebras of type I can be obtained from the generalized Galilean algebras type II. The S-expansion procedure allows us to find the GB5 algebra from the Newton Hooke algebra with central extension. The procedure developed in Ref. [1] allows us to show that the nonrelativistic limit of the five dimensional Einstein-Chern-Simons gravity is given by a modified version of the Poisson equation. The modification could be compatible with the effects of Dark Matter, which leads us to think that Dark Matter can be interpreted as a non-relativistic limit of Dark Energy.

  10. Motivating Activities that Lead to Algebra

    ERIC Educational Resources Information Center

    Menon, Ramakrishnan

    2004-01-01

    Four activities consisting of puzzles are introduced, which help students to recognize the strength of algebraic generalizations. They also assist them to comprehend algebraic concepts, and enable them to develop their individual puzzles and games.

  11. Combinatorial Geometry Printer Plotting.

    1987-01-05

    Picture generates plots of two-dimensional slices through the three-dimensional geometry described by the combinatorial geometry (CG) package used in such codes as MORSE and QAD-CG. These plots are printed on a standard line printer.

  12. Scalable Parallel Algebraic Multigrid Solvers

    SciTech Connect

    Bank, R; Lu, S; Tong, C; Vassilevski, P

    2005-03-23

    The authors propose a parallel algebraic multilevel algorithm (AMG), which has the novel feature that the subproblem residing in each processor is defined over the entire partition domain, although the vast majority of unknowns for each subproblem are associated with the partition owned by the corresponding processor. This feature ensures that a global coarse description of the problem is contained within each of the subproblems. The advantages of this approach are that interprocessor communication is minimized in the solution process while an optimal order of convergence rate is preserved; and the speed of local subproblem solvers can be maximized using the best existing sequential algebraic solvers.

  13. Characteristic Numbers of Matrix Lie Algebras

    NASA Astrophysics Data System (ADS)

    Zhang, Yu-Feng; Fan, En-Gui

    2008-04-01

    A notion of characteristic number of matrix Lie algebras is defined, which is devoted to distinguishing various Lie algebras that are used to generate integrable couplings of soliton equations. That is, the exact classification of the matrix Lie algebras by using computational formulas is given. Here the characteristic numbers also describe the relations between soliton solutions of the stationary zero curvature equations expressed by various Lie algebras.

  14. Spatial-Operator Algebra For Robotic Manipulators

    NASA Technical Reports Server (NTRS)

    Rodriguez, Guillermo; Kreutz, Kenneth K.; Milman, Mark H.

    1991-01-01

    Report discusses spatial-operator algebra developed in recent studies of mathematical modeling, control, and design of trajectories of robotic manipulators. Provides succinct representation of mathematically complicated interactions among multiple joints and links of manipulator, thereby relieving analyst of most of tedium of detailed algebraic manipulations. Presents analytical formulation of spatial-operator algebra, describes some specific applications, summarizes current research, and discusses implementation of spatial-operator algebra in the Ada programming language.

  15. Geometry and Erdkinder.

    ERIC Educational Resources Information Center

    McDonald, Nathaniel J.

    2001-01-01

    Chronicles a teacher's first year teaching geometry at the Hershey Montessori Farm School in Huntsburg, Ohio. Instructional methods relied on Euclid primary readings and combined pure abstract logic with practical applications of geometry on the land. The course included geometry background imparted by Montessori elementary materials as well as…

  16. New family of Maxwell like algebras

    NASA Astrophysics Data System (ADS)

    Concha, P. K.; Durka, R.; Merino, N.; Rodríguez, E. K.

    2016-08-01

    We introduce an alternative way of closing Maxwell like algebras. We show, through a suitable change of basis, that resulting algebras are given by the direct sums of the AdS and the Maxwell algebras already known in the literature. Casting the result into the S-expansion method framework ensures the straightaway construction of the gravity theories based on a found enlargement.

  17. Unifying the Algebra for All Movement

    ERIC Educational Resources Information Center

    Eddy, Colleen M.; Quebec Fuentes, Sarah; Ward, Elizabeth K.; Parker, Yolanda A.; Cooper, Sandi; Jasper, William A.; Mallam, Winifred A.; Sorto, M. Alejandra; Wilkerson, Trena L.

    2015-01-01

    There exists an increased focus on school mathematics, especially first-year algebra, due to recent efforts for all students to be college and career ready. In addition, there are calls, policies, and legislation advocating for all students to study algebra epitomized by four rationales of the "Algebra for All" movement. In light of this…

  18. Build an Early Foundation for Algebra Success

    ERIC Educational Resources Information Center

    Knuth, Eric; Stephens, Ana; Blanton, Maria; Gardiner, Angela

    2016-01-01

    Research tells us that success in algebra is a factor in many other important student outcomes. Emerging research also suggests that students who are started on an algebra curriculum in the earlier grades may have greater success in the subject in secondary school. What's needed is a consistent, algebra-infused mathematics curriculum all…

  19. Difficulties in Initial Algebra Learning in Indonesia

    ERIC Educational Resources Information Center

    Jupri, Al; Drijvers, Paul; van den Heuvel-Panhuizen, Marja

    2014-01-01

    Within mathematics curricula, algebra has been widely recognized as one of the most difficult topics, which leads to learning difficulties worldwide. In Indonesia, algebra performance is an important issue. In the Trends in International Mathematics and Science Study (TIMSS) 2007, Indonesian students' achievement in the algebra domain was…

  20. A Balancing Act: Making Sense of Algebra

    ERIC Educational Resources Information Center

    Gavin, M. Katherine; Sheffield, Linda Jensen

    2015-01-01

    For most students, algebra seems like a totally different subject than the number topics they studied in elementary school. In reality, the procedures followed in arithmetic are actually based on the properties and laws of algebra. Algebra should be a logical next step for students in extending the proficiencies they developed with number topics…

  1. Algebra? A Gate! A Barrier! A Mystery!

    ERIC Educational Resources Information Center

    Mathematics Educatio Dialogues, 2000

    2000-01-01

    This issue of Mathematics Education Dialogues focuses on the nature and the role of algebra in the K-14 curriculum. Articles on this theme include: (1) "Algebra For All? Why?" (Nel Noddings); (2) "Algebra For All: It's a Matter of Equity, Expectations, and Effectiveness" (Dorothy S. Strong and Nell B. Cobb); (3) "Don't Delay: Build and Talk about…

  2. Computer Algebra Systems, Pedagogy, and Epistemology

    ERIC Educational Resources Information Center

    Bosse, Michael J.; Nandakumar, N. R.

    2004-01-01

    The advent of powerful Computer Algebra Systems (CAS) continues to dramatically affect curricula, pedagogy, and epistemology in secondary and college algebra classrooms. However, epistemological and pedagogical research regarding the role and effectiveness of CAS in the learning of algebra lags behind. This paper investigates concerns regarding…

  3. Teaching Strategies to Improve Algebra Learning

    ERIC Educational Resources Information Center

    Zbiek, Rose Mary; Larson, Matthew R.

    2015-01-01

    Improving student learning is the primary goal of every teacher of algebra. Teachers seek strategies to help all students learn important algebra content and develop mathematical practices. The new Institute of Education Sciences[IES] practice guide, "Teaching Strategies for Improving Algebra Knowledge in Middle and High School Students"…

  4. Assessment of an Explicit Algebraic Reynolds Stress Model

    NASA Technical Reports Server (NTRS)

    Carlson, Jan-Renee

    2005-01-01

    This study assesses an explicit algebraic Reynolds stress turbulence model in the in the three-dimensional Reynolds averaged Navier-Stokes (RANS) solver, ISAAC (Integrated Solution Algorithm for Arbitrary Con gurations). Additionally, it compares solutions for two select configurations between ISAAC and the RANS solver PAB3D. This study compares with either direct numerical simulation data, experimental data, or empirical models for several different geometries with compressible, separated, and high Reynolds number flows. In general, the turbulence model matched data or followed experimental trends well, and for the selected configurations, the computational results of ISAAC closely matched those of PAB3D using the same turbulence model.

  5. Algebraic Legendrian Varieties

    NASA Astrophysics Data System (ADS)

    Buczyński, Jarosław

    2008-05-01

    Real Legendrian subvarieties are classical objects of differential geometry and classical mechanics and they have been studied since antiquity. However, complex Legendrian subvarieties are much more rigid and have more exceptional properties. The most remarkable case is the Legendrian subvarieties of projective space and prior to the author's research only few smooth examples of these were known. The first series of results of this thesis is related to the automorphism group of any Legendrian subvariety in any projective contact manifold. The connected component of this group (under suitable minor assumptions) is completely determined by the sections of the distinguished line bundle on the contact manifold vanishing on the Legendrian variety. Moreover its action preserves the contact structure. The second series of results is devoted to finding new examples of smooth Legendrian subvarieties of projective space. The contribution of this thesis is in three steps: First we find an example of a smooth toric surface. Next we find a smooth quasihomogeneous Fano 8-fold that admits a Legendrian embedding. Finally, we realise that both of these are special cases of a very general construction: a general hyperplane section of a smooth Legendrian variety, after a suitable projection, is a smooth Legendrian variety of smaller dimension. By applying this result to known examples and decomposable Legendrian varieties, we construct infinitely many new examples in every dimension, with various Picard rank, canonical degree, Kodaira dimension and other invariants.

  6. Entropy algebras and Birkhoff factorization

    NASA Astrophysics Data System (ADS)

    Marcolli, Matilde; Tedeschi, Nicolas

    2015-11-01

    We develop notions of Rota-Baxter structures and associated Birkhoff factorizations, in the context of min-plus semirings and their thermodynamic deformations, including deformations arising from quantum information measures such as the von Neumann entropy. We consider examples related to Manin's renormalization and computation program, to Markov random fields and to counting functions and zeta functions of algebraic varieties.

  7. Algebraic Activities Aid Discovery Lessons

    ERIC Educational Resources Information Center

    Wallace-Gomez, Patricia

    2013-01-01

    After a unit on the rules for positive and negative numbers and the order of operations for evaluating algebraic expressions, many students believe that they understand these principles well enough, but they really do not. They clearly need more practice, but not more of the same kind of drill. Wallace-Gomez provides three graphing activities that…

  8. Putting the Modern in Algebra

    ERIC Educational Resources Information Center

    Bosse, Michael J.; Ries, Heather; Chandler, Kayla

    2012-01-01

    Secondary school mathematics teachers often need to answer the "Why do we do that?" question in such a way that avoids confusion and evokes student interest. Understanding the properties of number systems can provide an avenue to better grasp algebraic structures, which in turn builds students' conceptual knowledge of secondary mathematics. This…

  9. Dimension independence in exterior algebra.

    PubMed Central

    Hawrylycz, M

    1995-01-01

    The identities between homogeneous expressions in rank 1 vectors and rank n - 1 covectors in a Grassmann-Cayley algebra of rank n, in which one set occurs multilinearly, are shown to represent a set of dimension-independent identities. The theorem yields an infinite set of nontrivial geometric identities from a given identity. PMID:11607520

  10. Exploring Algebraic Misconceptions with Technology

    ERIC Educational Resources Information Center

    Sakow, Matthew; Karaman, Ruveyda

    2015-01-01

    Many students struggle with algebra, from simplifying expressions to solving systems of equations. Students also have misconceptions about the meaning of variables. In response to the question "Can x + y + z ever equal x + p + z?" during a student interview, the student claimed, "Never . . . because p has to have a different value…

  11. A New Age for Algebra

    ERIC Educational Resources Information Center

    Oishi, Lindsay

    2011-01-01

    "Solve for x." While many people first encountered this enigmatic instruction in high school, the last 20 years have seen a strong push to get students to take algebra in eighth grade or even before. Today, concerns about the economy highlight a familiar worry: American eighth-graders trailed their peers in five Asian countries on the 2007 TIMSS…

  12. Algebraic methods in system theory

    NASA Technical Reports Server (NTRS)

    Brockett, R. W.; Willems, J. C.; Willsky, A. S.

    1975-01-01

    Investigations on problems of the type which arise in the control of switched electrical networks are reported. The main results concern the algebraic structure and stochastic aspects of these systems. Future reports will contain more detailed applications of these results to engineering studies.

  13. Algebra from Chips and Chopsticks

    ERIC Educational Resources Information Center

    Yun, Jeong Oak; Flores, Alfinio

    2012-01-01

    Students can use geometric representations of numbers as a way to explore algebraic ideas. With the help of these representations, students can think about the relations among the numbers, express them using their own words, and represent them with letters. The activities discussed here can stimulate students to try to find various ways of solving…

  14. Celestial mechanics with geometric algebra

    NASA Technical Reports Server (NTRS)

    Hestenes, D.

    1983-01-01

    Geometric algebra is introduced as a general tool for Celestial Mechanics. A general method for handling finite rotations and rotational kinematics is presented. The constants of Kepler motion are derived and manipulated in a new way. A new spinor formulation of perturbation theory is developed.

  15. Algebra for All. Research Brief

    ERIC Educational Resources Information Center

    Bleyaert, Barbara

    2009-01-01

    The call for "algebra for all" is not a recent phenomenon. Concerns about the inadequacy of math (and science) preparation in America's high schools have been a steady drumbeat since the 1957 launch of Sputnik; a call for raising standards and the number of math (and science) courses required for graduation has been a part of countless national…

  16. Kinds of Knowledge in Algebra.

    ERIC Educational Resources Information Center

    Lewis, Clayton

    Solving equations in elementary algebra requires knowledge of the permitted operations, and knowledge of what operation to use at a given point in the solution process. While just these kinds of knowledge would be adequate for an ideal solver, human solvers appear to need and use other kinds of knowledge. First, many errors seem to indicate that…

  17. Adventures in Flipping College Algebra

    ERIC Educational Resources Information Center

    Van Sickle, Jenna

    2015-01-01

    This paper outlines the experience of a university professor who implemented flipped learning in two sections of college algebra courses for two semesters. It details how the courses were flipped, what technology was used, advantages, challenges, and results. It explains what students do outside of class, what they do inside class, and discusses…

  18. Elementary Algebra Connections to Precalculus

    ERIC Educational Resources Information Center

    Lopez-Boada, Roberto; Daire, Sandra Arguelles

    2013-01-01

    This article examines the attitudes of some precalculus students to solve trigonometric and logarithmic equations and systems using the concepts of elementary algebra. With the goal of enticing the students to search for and use connections among mathematical topics, they are asked to solve equations or systems specifically designed to allow…

  19. Math for All Learners: Algebra.

    ERIC Educational Resources Information Center

    Meader, Pam; Storer, Judy

    This book consists of a series of activities aimed at providing a problem solving, hands-on approach so that students can experience concepts in algebra. Topics include ratio and proportion, patterns and formulas, integers, polynomials, linear equations, graphs, and probability. The activities come in the form of reproducible blackline masters…

  20. Inequalities, Assessment and Computer Algebra

    ERIC Educational Resources Information Center

    Sangwin, Christopher J.

    2015-01-01

    The goal of this paper is to examine single variable real inequalities that arise as tutorial problems and to examine the extent to which current computer algebra systems (CAS) can (1) automatically solve such problems and (2) determine whether students' own answers to such problems are correct. We review how inequalities arise in…

  1. Algebra, Home Mortgages, and Recessions

    ERIC Educational Resources Information Center

    Mariner, Jean A. Miller; Miller, Richard A.

    2009-01-01

    The current financial crisis and recession in the United States present an opportunity to discuss relevant applications of some topics in typical first-and second-year algebra and precalculus courses. Real-world applications of percent change, exponential functions, and sums of finite geometric sequences can help students understand the problems…

  2. Polynomial Algebra in Form 4

    NASA Astrophysics Data System (ADS)

    Kuipers, J.

    2012-06-01

    New features of the symbolic algebra package Form 4 are discussed. Most importantly, these features include polynomial factorization and polynomial gcd computation. Examples of their use are shown. One of them is an exact version of Mincer which gives answers in terms of rational polynomials and 5 master integrals.

  3. Lambda modes of the neutron diffusion equation in hexagonal geometry

    SciTech Connect

    Barrachina, T.; Ginestar, D.; Verdu, G.

    2006-07-01

    A nodal collocation method is proposed to compute the dominant Lambda modes of nuclear reactor core with a hexagonal geometry. This method is based on a triangular mesh and assumes that the neutronic flux can be approximated as a finite expansion in terms of Dubiner's polynomials. The method transforms the initial differential eigenvalue problem into a generalized algebraic one, from which the dominant modes of the reactor can be computed. The performance of the method is tested with two benchmark problems. (authors)

  4. Algebraic multigrid domain and range decomposition (AMG-DD / AMG-RD)*

    DOE PAGES

    Bank, R.; Falgout, R. D.; Jones, T.; Manteuffel, T. A.; McCormick, S. F.; Ruge, J. W.

    2015-10-29

    In modern large-scale supercomputing applications, algebraic multigrid (AMG) is a leading choice for solving matrix equations. However, the high cost of communication relative to that of computation is a concern for the scalability of traditional implementations of AMG on emerging architectures. This paper introduces two new algebraic multilevel algorithms, algebraic multigrid domain decomposition (AMG-DD) and algebraic multigrid range decomposition (AMG-RD), that replace traditional AMG V-cycles with a fully overlapping domain decomposition approach. While the methods introduced here are similar in spirit to the geometric methods developed by Brandt and Diskin [Multigrid solvers on decomposed domains, in Domain Decomposition Methods inmore » Science and Engineering, Contemp. Math. 157, AMS, Providence, RI, 1994, pp. 135--155], Mitchell [Electron. Trans. Numer. Anal., 6 (1997), pp. 224--233], and Bank and Holst [SIAM J. Sci. Comput., 22 (2000), pp. 1411--1443], they differ primarily in that they are purely algebraic: AMG-RD and AMG-DD trade communication for computation by forming global composite “grids” based only on the matrix, not the geometry. (As is the usual AMG convention, “grids” here should be taken only in the algebraic sense, regardless of whether or not it corresponds to any geometry.) Another important distinguishing feature of AMG-RD and AMG-DD is their novel residual communication process that enables effective parallel computation on composite grids, avoiding the all-to-all communication costs of the geometric methods. The main purpose of this paper is to study the potential of these two algebraic methods as possible alternatives to existing AMG approaches for future parallel machines. As a result, this paper develops some theoretical properties of these methods and reports on serial numerical tests of their convergence properties over a spectrum of problem parameters.« less

  5. Algebraic multigrid domain and range decomposition (AMG-DD / AMG-RD)*

    SciTech Connect

    Bank, R.; Falgout, R. D.; Jones, T.; Manteuffel, T. A.; McCormick, S. F.; Ruge, J. W.

    2015-10-29

    In modern large-scale supercomputing applications, algebraic multigrid (AMG) is a leading choice for solving matrix equations. However, the high cost of communication relative to that of computation is a concern for the scalability of traditional implementations of AMG on emerging architectures. This paper introduces two new algebraic multilevel algorithms, algebraic multigrid domain decomposition (AMG-DD) and algebraic multigrid range decomposition (AMG-RD), that replace traditional AMG V-cycles with a fully overlapping domain decomposition approach. While the methods introduced here are similar in spirit to the geometric methods developed by Brandt and Diskin [Multigrid solvers on decomposed domains, in Domain Decomposition Methods in Science and Engineering, Contemp. Math. 157, AMS, Providence, RI, 1994, pp. 135--155], Mitchell [Electron. Trans. Numer. Anal., 6 (1997), pp. 224--233], and Bank and Holst [SIAM J. Sci. Comput., 22 (2000), pp. 1411--1443], they differ primarily in that they are purely algebraic: AMG-RD and AMG-DD trade communication for computation by forming global composite “grids” based only on the matrix, not the geometry. (As is the usual AMG convention, “grids” here should be taken only in the algebraic sense, regardless of whether or not it corresponds to any geometry.) Another important distinguishing feature of AMG-RD and AMG-DD is their novel residual communication process that enables effective parallel computation on composite grids, avoiding the all-to-all communication costs of the geometric methods. The main purpose of this paper is to study the potential of these two algebraic methods as possible alternatives to existing AMG approaches for future parallel machines. As a result, this paper develops some theoretical properties of these methods and reports on serial numerical tests of their convergence properties over a spectrum of problem parameters.

  6. Array algebra estimation in signal processing

    NASA Astrophysics Data System (ADS)

    Rauhala, U. A.

    A general theory of linear estimators called array algebra estimation is interpreted in some terms of multidimensional digital signal processing, mathematical statistics, and numerical analysis. The theory has emerged during the past decade from the new field of a unified vector, matrix and tensor algebra called array algebra. The broad concepts of array algebra and its estimation theory cover several modern computerized sciences and technologies converting their established notations and terminology into one common language. Some concepts of digital signal processing are adopted into this language after a review of the principles of array algebra estimation and its predecessors in mathematical surveying sciences.

  7. Formal scattering theory by an algebraic approach

    NASA Astrophysics Data System (ADS)

    Alhassid, Y.; Levine, R. D.

    1985-02-01

    Formal scattering theory is recast in a Lie-algebraic form. The central result is an algebraic Lippmann-Schwinger equation for the wave operator from which an algebraic form of the Born series (containing only linked terms) is obtained. When a finite Lie algebra is sufficient, The Mo/ller wave operator, on the energy shell, can be solved for explicitly as an element of the corresponding group. The method is illustrated for the separable potential whose relevant algebra is found to be U(1,1).

  8. Nonassociative geometry in quasi-Hopf representation categories II: Connections and curvature

    NASA Astrophysics Data System (ADS)

    Barnes, Gwendolyn E.; Schenkel, Alexander; Szabo, Richard J.

    2016-08-01

    We continue our systematic development of noncommutative and nonassociative differential geometry internal to the representation category of a quasitriangular quasi-Hopf algebra. We describe derivations, differential operators, differential calculi and connections using universal categorical constructions to capture algebraic properties such as Leibniz rules. Our main result is the construction of morphisms which provide prescriptions for lifting connections to tensor products and to internal homomorphisms. We describe the curvatures of connections within our formalism, and also the formulation of Einstein-Cartan geometry as a putative framework for a nonassociative theory of gravity.

  9. Mathematical aspects of molecular replacement. II. Geometry of motion spaces.

    PubMed

    Chirikjian, Gregory S; Yan, Yan

    2012-03-01

    Molecular replacement (MR) is a well established computational method for phasing in macromolecular crystallography. In MR searches, spaces of motions are explored for determining the appropriate placement of rigid models of macromolecules in crystallographic asymmetric units. In the first paper of this series, it was shown that this space of motions, when endowed with an appropriate composition operator, forms an algebraic structure called a quasigroup. In this second paper, the geometric properties of these MR search spaces are explored and analyzed. This analysis includes the local differential geometry, global geometry and symmetry properties of these spaces.

  10. Filiform Lie algebras of order 3

    SciTech Connect

    Navarro, R. M.

    2014-04-15

    The aim of this work is to generalize a very important type of Lie algebras and superalgebras, i.e., filiform Lie (super)algebras, into the theory of Lie algebras of order F. Thus, the concept of filiform Lie algebras of order F is obtained. In particular, for F = 3 it has been proved that by using infinitesimal deformations of the associated model elementary Lie algebra it can be obtained families of filiform elementary lie algebras of order 3, analogously as that occurs into the theory of Lie algebras [M. Vergne, “Cohomologie des algèbres de Lie nilpotentes. Application à l’étude de la variété des algèbres de Lie nilpotentes,” Bull. Soc. Math. France 98, 81–116 (1970)]. Also we give the dimension, using an adaptation of the sl(2,C)-module Method, and a basis of such infinitesimal deformations in some generic cases.

  11. Atomic effect algebras with compression bases

    SciTech Connect

    Caragheorgheopol, Dan; Tkadlec, Josef

    2011-01-15

    Compression base effect algebras were recently introduced by Gudder [Demonstr. Math. 39, 43 (2006)]. They generalize sequential effect algebras [Rep. Math. Phys. 49, 87 (2002)] and compressible effect algebras [Rep. Math. Phys. 54, 93 (2004)]. The present paper focuses on atomic compression base effect algebras and the consequences of atoms being foci (so-called projections) of the compressions in the compression base. Part of our work generalizes results obtained in atomic sequential effect algebras by Tkadlec [Int. J. Theor. Phys. 47, 185 (2008)]. The notion of projection-atomicity is introduced and studied, and several conditions that force a compression base effect algebra or the set of its projections to be Boolean are found. Finally, we apply some of these results to sequential effect algebras and strengthen a previously established result concerning a sufficient condition for them to be Boolean.

  12. Analysis on singular spaces: Lie manifolds and operator algebras

    NASA Astrophysics Data System (ADS)

    Nistor, Victor

    2016-07-01

    We discuss and develop some connections between analysis on singular spaces and operator algebras, as presented in my sequence of four lectures at the conference Noncommutative geometry and applications, Frascati, Italy, June 16-21, 2014. Therefore this paper is mostly a survey paper, but the presentation is new, and there are included some new results as well. In particular, Sections 3 and 4 provide a complete short introduction to analysis on noncompact manifolds that is geared towards a class of manifolds-called "Lie manifolds" -that often appears in practice. Our interest in Lie manifolds is due to the fact that they provide the link between analysis on singular spaces and operator algebras. The groupoids integrating Lie manifolds play an important background role in establishing this link because they provide operator algebras whose structure is often well understood. The initial motivation for the work surveyed here-work that spans over close to two decades-was to develop the index theory of stratified singular spaces. Meanwhile, several other applications have emerged as well, including applications to Partial Differential Equations and Numerical Methods. These will be mentioned only briefly, however, due to the lack of space. Instead, we shall concentrate on the applications to Index theory.

  13. Spacetime algebra as a powerful tool for electromagnetism

    NASA Astrophysics Data System (ADS)

    Dressel, Justin; Bliokh, Konstantin Y.; Nori, Franco

    2015-08-01

    We present a comprehensive introduction to spacetime algebra that emphasizes its practicality and power as a tool for the study of electromagnetism. We carefully develop this natural (Clifford) algebra of the Minkowski spacetime geometry, with a particular focus on its intrinsic (and often overlooked) complex structure. Notably, the scalar imaginary that appears throughout the electromagnetic theory properly corresponds to the unit 4-volume of spacetime itself, and thus has physical meaning. The electric and magnetic fields are combined into a single complex and frame-independent bivector field, which generalizes the Riemann-Silberstein complex vector that has recently resurfaced in studies of the single photon wavefunction. The complex structure of spacetime also underpins the emergence of electromagnetic waves, circular polarizations, the normal variables for canonical quantization, the distinction between electric and magnetic charge, complex spinor representations of Lorentz transformations, and the dual (electric-magnetic field exchange) symmetry that produces helicity conservation in vacuum fields. This latter symmetry manifests as an arbitrary global phase of the complex field, motivating the use of a complex vector potential, along with an associated transverse and gauge-invariant bivector potential, as well as complex (bivector and scalar) Hertz potentials. Our detailed treatment aims to encourage the use of spacetime algebra as a readily available and mature extension to existing vector calculus and tensor methods that can greatly simplify the analysis of fundamentally relativistic objects like the electromagnetic field.

  14. Two and three dimensional grid generation by an algebraic homotopy procedure

    NASA Technical Reports Server (NTRS)

    Moitra, Anutosh

    1990-01-01

    An algebraic method for generating two- and three-dimensional grid systems for aerospace vehicles is presented. The method is based on algebraic procedures derived from homotopic relations for blending between inner and outer boundaries of any given configuration. Stable properties of homotopic maps have been exploited to provide near-orthogonality and specified constant spacing at the inner boundary. The method has been successfully applied to analytically generated blended wing-body configurations as well as discretely defined geometries such as the High-Speed Civil Transport Aircraft. Grid examples representative of the capabilities of the method are presented.

  15. HOMAR: A computer code for generating homotopic grids using algebraic relations: User's manual

    NASA Technical Reports Server (NTRS)

    Moitra, Anutosh

    1989-01-01

    A computer code for fast automatic generation of quasi-three-dimensional grid systems for aerospace configurations is described. The code employs a homotopic method to algebraically generate two-dimensional grids in cross-sectional planes, which are stacked to produce a three-dimensional grid system. Implementation of the algebraic equivalents of the homotopic relations for generating body geometries and grids are explained. Procedures for controlling grid orthogonality and distortion are described. Test cases with description and specification of inputs are presented in detail. The FORTRAN computer program and notes on implementation and use are included.

  16. Linear algebra algorithms for divisors on an algebraic curve

    NASA Astrophysics Data System (ADS)

    Khuri-Makdisi, Kamal

    We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and matrices of size $O(g^2)\\times O(g)$. When the base field $k$ is finite, or if $C$ has a rational point over $k$, these give algorithms for working on the Jacobian of $C$ that require $O(g^4)$ field operations, arising from the Gaussian elimination. Our point of view is strongly geometric, and our representation of points on the Jacobian is fairly simple to work with; in particular, none of our algorithms involves arithmetic with polynomials. We note that our algorithms have the same asymptotic complexity for general curves as the more algebraic algorithms in Hess' 1999 Ph.D. thesis, which works with function fields as extensions of $k[x]$. However, for special classes of curves, Hess' algorithms are asymptotically more efficient than ours, generalizing other known efficient algorithms for special classes of curves, such as hyperelliptic curves (Cantor), superelliptic curves (Galbraith, Paulus, and Smart), and $C_{ab}$ curves (Harasawa and Suzuki); in all those cases, one can attain a complexity of $O(g^2)$.

  17. Alternative algebraic approaches in quantum chemistry

    SciTech Connect

    Mezey, Paul G.

    2015-01-22

    Various algebraic approaches of quantum chemistry all follow a common principle: the fundamental properties and interrelations providing the most essential features of a quantum chemical representation of a molecule or a chemical process, such as a reaction, can always be described by algebraic methods. Whereas such algebraic methods often provide precise, even numerical answers, nevertheless their main role is to give a framework that can be elaborated and converted into computational methods by involving alternative mathematical techniques, subject to the constraints and directions provided by algebra. In general, algebra describes sets of interrelations, often phrased in terms of algebraic operations, without much concern with the actual entities exhibiting these interrelations. However, in many instances, the very realizations of two, seemingly unrelated algebraic structures by actual quantum chemical entities or properties play additional roles, and unexpected connections between different algebraic structures are often giving new insight. Here we shall be concerned with two alternative algebraic structures: the fundamental group of reaction mechanisms, based on the energy-dependent topology of potential energy surfaces, and the interrelations among point symmetry groups for various distorted nuclear arrangements of molecules. These two, distinct algebraic structures provide interesting interrelations, which can be exploited in actual studies of molecular conformational and reaction processes. Two relevant theorems will be discussed.

  18. The algebras of large N matrix mechanics

    SciTech Connect

    Halpern, M.B.; Schwartz, C.

    1999-09-16

    Extending early work, we formulate the large N matrix mechanics of general bosonic, fermionic and supersymmetric matrix models, including Matrix theory: The Hamiltonian framework of large N matrix mechanics provides a natural setting in which to study the algebras of the large N limit, including (reduced) Lie algebras, (reduced) supersymmetry algebras and free algebras. We find in particular a broad array of new free algebras which we call symmetric Cuntz algebras, interacting symmetric Cuntz algebras, symmetric Bose/Fermi/Cuntz algebras and symmetric Cuntz superalgebras, and we discuss the role of these algebras in solving the large N theory. Most important, the interacting Cuntz algebras are associated to a set of new (hidden!) local quantities which are generically conserved only at large N. A number of other new large N phenomena are also observed, including the intrinsic nonlocality of the (reduced) trace class operators of the theory and a closely related large N field identification phenomenon which is associated to another set (this time nonlocal) of new conserved quantities at large N.

  19. Geometric and algebraic properties of minimal bases of singular systems

    NASA Astrophysics Data System (ADS)

    Karcanias, Nicos

    2013-11-01

    For a general singular system ? with an associated pencil T(S), a complete classification of the right polynomial vector pairs ?, connected with the ? rational vector space, is given according to the proper-nonproper property, characterising the relationship of the degrees of those two vectors. An integral part of the classification of right pairs is the development of the notions of canonical and normal minimal bases for ? and ? rational vector spaces, where R(s) is the state restriction pencil of ?. It is shown that the notions of canonical and normal minimal bases are equivalent; the first notion characterises the pure algebraic aspect of the classification, whereas the second is intimately connected to the real geometry properties and the underlying generation mechanism of the proper and nonproper state vectors ?. The results describe the algebraic and geometric dimensions of the invariant partitioning of the set of reachability indices of singular systems. The classification of all proper and nonproper polynomial vectors ? induces a corresponding classification for the reachability spaces to proper-nonproper and results related to the possible dimensions feedback-spectra assignment properties of them are also given. The classification of minimal bases introduces new feedback invariants for singular systems, based on the real geometry of polynomial minimal bases, and provides an extension of the standard theory for proper systems (Warren, M.E., & Eckenberg, A.E. (1975).

  20. ALGEBRA IIVer 1.22

    SciTech Connect

    2003-06-03

    The ALGEBRA II program allows the user to manipulate data from a finite element analysis before it is plotted by evaluating algebraic expressions. The equation variables are dependent on the input database variable names. The finite element output data is in the form of variable values (e.g., stress, strain, and velocity components) in an EXODUS II database which can be read by plot programs. Code is written in a portable form as possible. Fortran code is written in ANSI Standard FORTRAN-77. Machine-specific routines are limited in number and are grouped together to minimize the time required to adapt them to a new system. SEACAS codes has been ported to several Unix systems.

  1. ALGEBRA IIVer 1.22

    2003-06-03

    The ALGEBRA II program allows the user to manipulate data from a finite element analysis before it is plotted by evaluating algebraic expressions. The equation variables are dependent on the input database variable names. The finite element output data is in the form of variable values (e.g., stress, strain, and velocity components) in an EXODUS II database which can be read by plot programs. Code is written in a portable form as possible. Fortran codemore » is written in ANSI Standard FORTRAN-77. Machine-specific routines are limited in number and are grouped together to minimize the time required to adapt them to a new system. SEACAS codes has been ported to several Unix systems.« less

  2. BLAS- BASIC LINEAR ALGEBRA SUBPROGRAMS

    NASA Technical Reports Server (NTRS)

    Krogh, F. T.

    1994-01-01

    The Basic Linear Algebra Subprogram (BLAS) library is a collection of FORTRAN callable routines for employing standard techniques in performing the basic operations of numerical linear algebra. The BLAS library was developed to provide a portable and efficient source of basic operations for designers of programs involving linear algebraic computations. The subprograms available in the library cover the operations of dot product, multiplication of a scalar and a vector, vector plus a scalar times a vector, Givens transformation, modified Givens transformation, copy, swap, Euclidean norm, sum of magnitudes, and location of the largest magnitude element. Since these subprograms are to be used in an ANSI FORTRAN context, the cases of single precision, double precision, and complex data are provided for. All of the subprograms have been thoroughly tested and produce consistent results even when transported from machine to machine. BLAS contains Assembler versions and FORTRAN test code for any of the following compilers: Lahey F77L, Microsoft FORTRAN, or IBM Professional FORTRAN. It requires the Microsoft Macro Assembler and a math co-processor. The PC implementation allows individual arrays of over 64K. The BLAS library was developed in 1979. The PC version was made available in 1986 and updated in 1988.

  3. Computer algebra and transport theory.

    SciTech Connect

    Warsa, J. S.

    2004-01-01

    Modern symbolic algebra computer software augments and complements more traditional approaches to transport theory applications in several ways. The first area is in the development and enhancement of numerical solution methods for solving the Boltzmann transport equation. Typically, special purpose computer codes are designed and written to solve specific transport problems in particular ways. Different aspects of the code are often written from scratch and the pitfalls of developing complex computer codes are numerous and well known. Software such as MAPLE and MATLAB can be used to prototype, analyze, verify and determine the suitability of numerical solution methods before a full-scale transport application is written. Once it is written, the relevant pieces of the full-scale code can be verified using the same tools I that were developed for prototyping. Another area is in the analysis of numerical solution methods or the calculation of theoretical results that might otherwise be difficult or intractable. Algebraic manipulations are done easily and without error and the software also provides a framework for any additional numerical calculations that might be needed to complete the analysis. We will discuss several applications in which we have extensively used MAPLE and MATLAB in our work. All of them involve numerical solutions of the S{sub N} transport equation. These applications encompass both of the two main areas in which we have found computer algebra software essential.

  4. Introduction to Image Algebra Ada

    NASA Astrophysics Data System (ADS)

    Wilson, Joseph N.

    1991-07-01

    Image Algebra Ada (IAA) is a superset of the Ada programming language designed to support use of the Air Force Armament Laboratory's image algebra in the development of computer vision application programs. The IAA language differs from other computer vision languages is several respects. It is machine independent, and an IAA translator has been implemented in the military standard Ada language. Its image operands and operations can be used to program a range of both low- and high-level vision algorithms. This paper provides an overview of the image algebra constructs supported in IAA and describes the embodiment of these constructs in the IAA extension of Ada. Examples showing the use of IAA for a range of computer vision tasks are given. The design of IAA as a superset of Ada and the implementation of the initial translator in Ada represent critical choices. The authors discuss the reasoning behind these choices as well as the benefits and drawbacks associated with them. Implementation strategies associated with the use of Ada as an implementation language for IAA are also discussed. While one can look on IAA as a program design language (PDL) for specifying Ada programs, it is useful to consider IAA as a separate language superset of Ada. This admits the possibility of directly translating IAA for implementation on special purpose architectures. This paper explores strategies for porting IAA to various architectures and notes the critical language and implementation features for porting to different architectures.

  5. Geometry + Technology = Proof

    ERIC Educational Resources Information Center

    Lyublinskaya, Irina; Funsch, Dan

    2012-01-01

    Several interactive geometry software packages are available today to secondary school teachers. An example is The Geometer's Sketchpad[R] (GSP), also known as Dynamic Geometry[R] software, developed by Key Curriculum Press. This numeric based technology has been widely adopted in the last twenty years, and a vast amount of creativity has been…

  6. Euclidean Geometry via Programming.

    ERIC Educational Resources Information Center

    Filimonov, Rossen; Kreith, Kurt

    1992-01-01

    Describes the Plane Geometry System computer software developed at the Educational Computer Systems laboratory in Sofia, Bulgaria. The system enables students to use the concept of "algorithm" to correspond to the process of "deductive proof" in the development of plane geometry. Provides an example of the software's capability and compares it to…

  7. Trigonometry from a Different Angle

    ERIC Educational Resources Information Center

    Cavanagh, Michael

    2008-01-01

    The mathematics methodology subjects the author undertook in the early 1980s encouraged him to adopt a very expository style of teaching in which each new concept is introduced by its formal definition. The teacher should then explain a few carefully chosen examples for students to copy into their books, and then provide plenty of graded practice…

  8. Algebra: A Challenge at the Crossroads of Policy and Practice

    ERIC Educational Resources Information Center

    Stein, Mary Kay; Kaufman, Julia Heath; Sherman, Milan; Hillen, Amy F.

    2011-01-01

    The authors review what is known about early and universal algebra, including who is getting access to algebra and student outcomes associated with algebra course taking in general and specifically with universal algebra policies. The findings indicate that increasing numbers of students, some of whom are underprepared, are taking algebra earlier.…

  9. Geometry of membrane fission.

    PubMed

    Frolov, Vadim A; Escalada, Artur; Akimov, Sergey A; Shnyrova, Anna V

    2015-01-01

    Cellular membranes define the functional geometry of intracellular space. Formation of new membrane compartments and maintenance of complex organelles require division and disconnection of cellular membranes, a process termed membrane fission. Peripheral membrane proteins generally control membrane remodeling during fission. Local membrane stresses, reflecting molecular geometry of membrane-interacting parts of these proteins, sum up to produce the key membrane geometries of fission: the saddle-shaped neck and hour-glass hemifission intermediate. Here, we review the fundamental principles behind the translation of molecular geometry into membrane shape and topology during fission. We emphasize the central role the membrane insertion of specialized protein domains plays in orchestrating fission in vitro and in cells. We further compare individual to synergistic action of the membrane insertion during fission mediated by individual protein species, proteins complexes or membrane domains. Finally, we describe how local geometry of fission intermediates defines the functional design of the protein complexes catalyzing fission of cellular membranes. PMID:25062896

  10. A method to convert algebraic boundary representations to CSG representations for three-dimensional solids

    SciTech Connect

    Buchele, S.F.; Ellingson, W.A.

    1997-06-01

    Recent advances in reverse engineering have focused on recovering a boundary representation (b-rep) of an object, often for integration with rapid prototyping. This boundary representation may be a 3-D point cloud, a triangulation of points, or piecewise algebraic or parametric surfaces. This paper presents work in progress to develop an algorithm to extend the current state of the art in reverse engineering of mechanical parts. This algorithm will take algebraic surface representations as input and will produce a constructive solid geometry (CSG) description that uses solid primitives such as rectangular block, pyramid, sphere, cylinder, and cone. The proposed algorithm will automatically generate a CSG solid model of a part given its algebraic b-rep, thus allowing direct input into a CAD system and subsequent CSG model generation.

  11. Quantum gravity and causal structures: Second quantization of conformal Dirac algebras

    NASA Astrophysics Data System (ADS)

    Bonezzi, R.; Corradini, O.; Latini, E.; Waldron, A.

    2015-06-01

    It is postulated that quantum gravity is a sum over causal structures coupled to matter via scale evolution. Quantized causal structures can be described by studying simple matrix models where matrices are replaced by an algebra of quantum mechanical observables. In particular, previous studies constructed quantum gravity models by quantizing the moduli of Laplace, weight, and defining-function operators on Fefferman-Graham ambient spaces. The algebra of these operators underlies conformal geometries. We extend those results to include fermions by taking an o s p (1 |2 ) "Dirac square root" of these algebras. The theory is a simple, Grassmann, two-matrix model. Its quantum action is a Chern-Simons theory whose differential is a first-quantized, quantum mechanical Becchi-Rouet-Stora-Tyutin operator. The theory is a basic ingredient for building fundamental theories of physical observables.

  12. (Fuzzy) Ideals of BN-Algebras

    PubMed Central

    Walendziak, Andrzej

    2015-01-01

    The notions of an ideal and a fuzzy ideal in BN-algebras are introduced. The properties and characterizations of them are investigated. The concepts of normal ideals and normal congruences of a BN-algebra are also studied, the properties of them are displayed, and a one-to-one correspondence between them is presented. Conditions for a fuzzy set to be a fuzzy ideal are given. The relationships between ideals and fuzzy ideals of a BN-algebra are established. The homomorphic properties of fuzzy ideals of a BN-algebra are provided. Finally, characterizations of Noetherian BN-algebras and Artinian BN-algebras via fuzzy ideals are obtained. PMID:26125050

  13. Kumjian-Pask algebras of desourcification

    NASA Astrophysics Data System (ADS)

    Rosjanuardi, Rizky; Yusnitha, Isnie

    2016-02-01

    Kumjian-Pask algebra which was introduced by Pino, Clark, an Huef and Raeburn [1] in 2013, gives a purely algebraic version of a k-graph algebra. Rosjanuardi [2] gave necessary and sufficient condition of finitely dimensional complex Kumjian-Pask algebra of row-finite k-graph without sources. We will improve the previous results which allows us to deal with sources. We will consider Kumjian-Pask algebra for locally convex row-finite k-graph which was introduced by Clark, Flynn and an Huef [3], and use the desourcification of the graph to get conditions which characterise when the complex Kumjian-Pask algebra of locally convex row-finite k-graph is finite dimensional.

  14. Hopf algebras of rooted forests, cocyles, and free Rota-Baxter algebras

    NASA Astrophysics Data System (ADS)

    Zhang, Tianjie; Gao, Xing; Guo, Li

    2016-10-01

    The Hopf algebra and the Rota-Baxter algebra are the two algebraic structures underlying the algebraic approach of Connes and Kreimer to renormalization of perturbative quantum field theory. In particular, the Hopf algebra of rooted trees serves as the "baby model" of Feynman graphs in their approach and can be characterized by certain universal properties involving a Hochschild 1-cocycle. Decorated rooted trees have also been applied to study Feynman graphs. We will continue the study of universal properties of various spaces of decorated rooted trees with such a 1-cocycle, leading to the concept of a cocycle Hopf algebra. We further apply the universal properties to equip a free Rota-Baxter algebra with the structure of a cocycle Hopf algebra.

  15. On the Hermitian Projective Line as a Home for the Geometry of Quantum Theory

    SciTech Connect

    Bertram, Wolfgang

    2008-11-18

    In the paper [1], generalized projective geometries have been proposed as a framework for a geometric formulation of Quantum Theory. In the present note, we refine this proposition by discussing further structural features of Quantum Theory: the link with associative involutive algebras A and with Jordan-Lie and Lie-Jordan algebas. The associated geometries are (Hermitian) projective lines over A; their axiomatic definition and theory will be given in subsequent work with M. Kinyon [2].

  16. Coverings of topological semi-abelian algebras

    NASA Astrophysics Data System (ADS)

    Mucuk, Osman; Demir, Serap

    2016-08-01

    In this work, we study on a category of topological semi-abelian algebras which are topological models of given an algebraic theory T whose category of models is semi-abelian; and investigate some results on the coverings of topological models of such theories yielding semi-abelian categories. We also consider the internal groupoid structure in the semi-abelian category of T-algebras, and give a criteria for the lifting of internal groupoid structure to the covering groupoids.

  17. Multicloning and Multibroadcasting in Operator Algebras

    NASA Astrophysics Data System (ADS)

    Kaniowski, Krzysztof; Lubnauer, Katarzyna; Łuczak, Andrzej

    2015-12-01

    We investigate multicloning and multibroadcasting in the general operator algebra framework in arbitrary dimension, generalizing thus results obtained in this framework for simple cloning and broadcasting.

  18. On Realization of Generalized Effect Algebras

    NASA Astrophysics Data System (ADS)

    Paseka, Jan

    2012-12-01

    A well-known fact is that there is a finite orthomodular lattice with an order determining set of states which is not representable in the standard quantum logic, the lattice L(H) of all closed subspaces of a separable complex Hilbert space. We show that a generalized effect algebra is representable in the operator generalized effect algebra G(H) of effects of a complex Hilbert space H iff it has an order determining set of generalized states. This extends the corresponding results for effect algebras of Riečanová and Zajac. Further, any operator generalized effect algebra G(H) possesses an order determining set of generalized states.

  19. A Structure of BCI-Algebras

    NASA Astrophysics Data System (ADS)

    Chajda, Ivan

    2014-10-01

    Commutative BCI-algebras can be considered as semilattices whose sections are equipped with certain involutions. A similar view can be applied to commutative BCK-algebras. However, for general BCK-algebras a certain construction was settled by the author and J. Kühr (Miskolc Math. Notes 8:11-21, 2007) showing that they can be considered as structures essentially weaker than semilattices but still with certain involutions in sections. The aim of this paper is to involve a similar approach for BCI-algebras.

  20. Difficulties in initial algebra learning in Indonesia

    NASA Astrophysics Data System (ADS)

    Jupri, Al; Drijvers, Paul; van den Heuvel-Panhuizen, Marja

    2014-12-01

    Within mathematics curricula, algebra has been widely recognized as one of the most difficult topics, which leads to learning difficulties worldwide. In Indonesia, algebra performance is an important issue. In the Trends in International Mathematics and Science Study (TIMSS) 2007, Indonesian students' achievement in the algebra domain was significantly below the average student performance in other Southeast Asian countries such as Thailand, Malaysia, and Singapore. This fact gave rise to this study which aims to investigate Indonesian students' difficulties in algebra. In order to do so, a literature study was carried out on students' difficulties in initial algebra. Next, an individual written test on algebra tasks was administered, followed by interviews. A sample of 51 grade VII Indonesian students worked the written test, and 37 of them were interviewed afterwards. Data analysis revealed that mathematization, i.e., the ability to translate back and forth between the world of the problem situation and the world of mathematics and to reorganize the mathematical system itself, constituted the most frequently observed difficulty in both the written test and the interview data. Other observed difficulties concerned understanding algebraic expressions, applying arithmetic operations in numerical and algebraic expressions, understanding the different meanings of the equal sign, and understanding variables. The consequences of these findings on both task design and further research in algebra education are discussed.

  1. Literal algebra for satellite dynamics. [perturbation analysis

    NASA Technical Reports Server (NTRS)

    Gaposchkin, E. M.

    1975-01-01

    A description of the rather general class of operations available is given and the operations are related to problems in satellite dynamics. The implementation of an algebra processor is discussed. The four main categories of symbol processors are related to list processing, string manipulation, symbol manipulation, and formula manipulation. Fundamental required operations for an algebra processor are considered. It is pointed out that algebra programs have been used for a number of problems in celestial mechanics with great success. The advantage of computer algebra is its accuracy and speed.

  2. Entanglement and algebraic independence in fermion systems

    NASA Astrophysics Data System (ADS)

    Benatti, Fabio; Floreanini, Roberto

    2014-04-01

    In the case of systems composed of identical particles, a typical instance in quantum statistical mechanics, the standard approach to separability and entanglement ought to be reformulated and rephrased in terms of correlations between operators from subalgebras localized in spatially disjoint regions. While this algebraic approach is straightforward for bosons, in the case of fermions it is subtler since one has to distinguish between micro-causality, that is the anti-commutativity of the basic creation and annihilation operators, and algebraic independence that is the commutativity of local observables. We argue that a consistent algebraic formulation of separability and entanglement should be compatible with micro-causality rather than with algebraic independence.

  3. Some C∗-algebras which are coronas of non-C∗-Banach algebras

    NASA Astrophysics Data System (ADS)

    Voiculescu, Dan-Virgil

    2016-07-01

    We present results and motivating problems in the study of commutants of hermitian n-tuples of Hilbert space operators modulo normed ideals. In particular, the C∗-algebras which arise in this context as coronas of non-C∗-Banach algebras, the connections with normed ideal perturbations of operators, the hyponormal operators and the bidual Banach algebras one encounters are discussed.

  4. An Arithmetic-Algebraic Work Space for the Promotion of Arithmetic and Algebraic Thinking: Triangular Numbers

    ERIC Educational Resources Information Center

    Hitt, Fernando; Saboya, Mireille; Cortés Zavala, Carlos

    2016-01-01

    This paper presents an experiment that attempts to mobilise an arithmetic-algebraic way of thinking in order to articulate between arithmetic thinking and the early algebraic thinking, which is considered a prelude to algebraic thinking. In the process of building this latter way of thinking, researchers analysed pupils' spontaneous production…

  5. Leibniz algebras associated with some finite-dimensional representation of Diamond Lie algebra

    NASA Astrophysics Data System (ADS)

    Camacho, Luisa M.; Ladra, Manuel; Karimjanov, Iqboljon A.; Omirov, Bakhrom A.

    2016-03-01

    In this paper we classify Leibniz algebras whose associated Lie algebra is four-dimensional Diamond Lie algebra 𝕯 and the ideal generated by squares of elements is represented by one of the finite-dimensional indecomposable D-modules Un 1, Un 2 or Wn 1 or Wn 2.

  6. Prospective Teachers' Views on the Use of Calculators with Computer Algebra System in Algebra Instruction

    ERIC Educational Resources Information Center

    Ozgun-Koca, S. Ash

    2010-01-01

    Although growing numbers of secondary school mathematics teachers and students use calculators to study graphs, they mainly rely on paper-and-pencil when manipulating algebraic symbols. However, the Computer Algebra Systems (CAS) on computers or handheld calculators create new possibilities for teaching and learning algebraic manipulation. This…

  7. TOPICAL REVIEW: Braided affine geometry and q-analogs of wave operators

    NASA Astrophysics Data System (ADS)

    Gurevich, Dimitri; Saponov, Pavel

    2009-08-01

    The main goal of this review is to compare different approaches to constructing the geometry associated with a Hecke type braiding (in particular, with that related to the quantum group Uq(sl(n))). We place emphasis on the affine braided geometry related to the so-called reflection equation algebra (REA). All objects of such a type of geometry are defined in the spirit of affine algebraic geometry via polynomial relations on generators. We begin by comparing the Poisson counterparts of 'quantum varieties' and describe different approaches to their quantization. Also, we exhibit two approaches to introducing q-analogs of vector bundles and defining the Chern-Connes index for them on quantum spheres. In accordance with the Serre-Swan approach, the q-vector bundles are treated as finitely generated projective modules over the corresponding quantum algebras. Besides, we describe the basic properties of the REA used in this construction and compare different ways of defining q-analogs of partial derivatives and differentials on the REA and algebras close to them. In particular, we present a way of introducing a q-differential calculus via Koszul type complexes. The elements of the q-calculus are applied to defining q-analogs of some relativistic wave operators.

  8. Secondary School Mathematics, Chapter 17, Perpendiculars and Parallels (II), Chapter 18, Coordinate Geometry. Student's Text.

    ERIC Educational Resources Information Center

    Stanford Univ., CA. School Mathematics Study Group.

    The first chapter, Perpendiculars and Parallels (II), of the ninth unit in this SMSG series includes a discussion of the properties of triangles, circles and perpendiculars, parallels in space, perpendicular lines and planes, and parallel planes. The next chapter, on coordinate geometry, covers distance; midpoints; algebraic descriptions of…

  9. Cluster automorphism groups of cluster algebras with coefficients

    NASA Astrophysics Data System (ADS)

    Chang, Wen; Zhu, Bin

    2016-10-01

    We study the cluster automorphism group of a skew-symmetric cluster algebra with geometric coefficients. For this, we introduce the notion of gluing free cluster algebra, and show that under a weak condition the cluster automorphism group of a gluing free cluster algebra is a subgroup of the cluster automorphism group of its principal part cluster algebra (i.e. the corresponding cluster algebra without coefficients). We show that several classes of cluster algebras with coefficients are gluing free, for example, cluster algebras with principal coefficients, cluster algebras with universal geometric coefficients, and cluster algebras from surfaces (except a 4-gon) with coefficients from boundaries. Moreover, except four kinds of surfaces, the cluster automorphism group of a cluster algebra from a surface with coefficients from boundaries is isomorphic to the cluster automorphism group of its principal part cluster algebra; for a cluster algebra with principal coefficients, its cluster automorphism group is isomorphic to the automorphism group of its initial quiver.

  10. The Structure of Parafermion Vertex Operator Algebras: General Case

    NASA Astrophysics Data System (ADS)

    Dong, Chongying; Wang, Qing

    2010-11-01

    The structure of the parafermion vertex operator algebra associated to an integrable highest weight module for any affine Kac-Moody algebra is studied. In particular, a set of generators for this algebra has been determined.

  11. Algebras Generated by Geometric Scalar Forms and their Applications in Physics and Social Sciences

    SciTech Connect

    Keller, Jaime

    2008-09-17

    The present paper analyzes the consequences of defining that the geometric scalar form is not necessarily quadratic, but in general K-atic, that is obtained from the K{sup th} power of the linear form, requiring {l_brace}e{sub i};i = 1,...,N;(e{sub i}){sup K} = 1{r_brace} and d-vector {sigma}{sub i}x{sub i}e{sub i}. We consider the algebras which are thus generated, for positive integer K, a generalization of the geometric algebras we know under the names of Clifford or Grassmann algebras. We then obtain a set of geometric K-algebras. We also consider the generalization of special functions of geometry which corresponds to the K-order scalar forms (as trigonometric functions and other related geometric functions which are based on the use of quadratic forms). We present an overview of the use of quadratic forms in physics as in our general theory, we have called START. And, in order to give an introduction to the use of the more general K-algebras and to the possible application to sciences other than physics, the application to social sciences is considered.For the applications to physics we show that quadratic spaces are a fundamental clue to understand the structure of theoretical physics (see, for example, Keller in ICNAAM 2005 and 2006)

  12. Gene algebra from a genetic code algebraic structure.

    PubMed

    Sanchez, R; Morgado, E; Grau, R

    2005-10-01

    By considering two important factors involved in the codon-anticodon interactions, the hydrogen bond number and the chemical type of bases, a codon array of the genetic code table as an increasing code scale of interaction energies of amino acids in proteins was obtained. Next, in order to consecutively obtain all codons from the codon AAC, a sum operation has been introduced in the set of codons. The group obtained over the set of codons is isomorphic to the group (Z(64), +) of the integer module 64. On the Z(64)-algebra of the set of 64(N) codon sequences of length N, gene mutations are described by means of endomorphisms f:(Z(64))(N)-->(Z(64))(N). Endomorphisms and automorphisms helped us describe the gene mutation pathways. For instance, 77.7% mutations in 749 HIV protease gene sequences correspond to unique diagonal endomorphisms of the wild type strain HXB2. In particular, most of the reported mutations that confer drug resistance to the HIV protease gene correspond to diagonal automorphisms of the wild type. What is more, in the human beta-globin gene a similar situation appears where most of the single codon mutations correspond to automorphisms. Hence, in the analyses of molecular evolution process on the DNA sequence set of length N, the Z(64)-algebra will help us explain the quantitative relationships between genes.

  13. Noncommutative Geometry and Physics

    SciTech Connect

    Connes, Alain

    2006-11-03

    In this very short essay we shall describe a 'spectral' point of view on geometry which allows to start taking into account the lessons from both renormalization and of general relativity. We shall first do that for renormalization and explain in rough outline the content of our recent collaborations with Dirk Kreimer and Matilde Marcolli leading to the universal Galois symmetry of renormalizable quantum field theories provided by the renormalization group in its cosmic Galois group incarnation. As far as general relativity is concerned, since the functional integral cannot be treated in the traditional perturbative manner, it relies heavily as a 'sum over geometries' on the chosen paradigm of geometric space. This will give us the occasion to discuss, in the light of noncommutative geometry, the issue of 'observables' in gravity and our joint work with Ali Chamseddine on the spectral action, with a first attempt to write down a functional integral on the space of noncommutative geometries.

  14. What Is Geometry?

    ERIC Educational Resources Information Center

    Chern, Shiing-Shen

    1990-01-01

    Discussed are the major historical developments of geometry. Euclid, Descartes, Klein's Erlanger Program, Gaus and Riemann, globalization, topology, Elie Cartan, and an application to molecular biology are included as topics. (KR)

  15. Proof in Transformation Geometry

    ERIC Educational Resources Information Center

    Bell, A. W.

    1971-01-01

    The first of three articles showing how inductively-obtained results in transformation geometry may be organized into a deductive system. This article discusses two approaches to enlargement (dilatation), one using coordinates and the other using synthetic methods. (MM)

  16. Gingerbread-House Geometry.

    ERIC Educational Resources Information Center

    Emenaker, Charles E.

    1999-01-01

    Describes a sixth-grade interdisciplinary geometry unit based on Charles Dickens's "A Christmas Carol". Focuses on finding area, volume, and perimeter, and working with estimation, decimals, and fractions in the context of making gingerbread houses. (ASK)

  17. Dirac matrices as elements of a superalgebraic matrix algebra

    NASA Astrophysics Data System (ADS)

    Monakhov, V. V.

    2016-08-01

    The paper considers a Clifford extension of the Grassmann algebra, in which operators are built from Grassmann variables and by the derivatives with respect to them. It is shown that a subalgebra which is isomorphic to the usual matrix algebra exists in this algebra, the Clifford exten-sion of the Grassmann algebra is a generalization of the matrix algebra and contains superalgebraic operators expanding matrix algebra and produces supersymmetric transformations.

  18. Automated Angular Momentum Recoupling Algebra

    NASA Astrophysics Data System (ADS)

    Williams, H. T.; Silbar, Richard R.

    1992-04-01

    We present a set of heuristic rules for algebraic solution of angular momentum recoupling problems. The general problem reduces to that of finding an optimal path from one binary tree (representing the angular momentum coupling scheme for the reduced matrix element) to another (representing the sub-integrals and spin sums to be done). The method lends itself to implementation on a microcomputer, and we have developed such an implementation using a dialect of LISP. We describe both how our code, called RACAH, works and how it appears to the user. We illustrate the use of RACAH for several transition and scattering amplitude matrix elements occurring in atomic, nuclear, and particle physics.

  19. Induced geometry from disformal transformation

    NASA Astrophysics Data System (ADS)

    Yuan, Fang-Fang; Huang, Peng

    2015-05-01

    In this note, we use the disformal transformation to induce a geometry from the manifold which is originally Riemannian. The new geometry obtained here can be considered as a generalization of Weyl integrable geometry. Based on these results, we further propose a geometry which is naturally a generalization of Weyl geometry.

  20. Automorphisms and Derivations of the Insertion-Elimination Algebra and Related Graded Lie Algebras

    NASA Astrophysics Data System (ADS)

    Ondrus, Matthew; Wiesner, Emilie

    2016-07-01

    This paper addresses several structural aspects of the insertion-elimination algebra {mathfrak{g}}, a Lie algebra that can be realized in terms of tree-inserting and tree-eliminating operations on the set of rooted trees. In particular, we determine the finite-dimensional subalgebras of {mathfrak{g}}, the automorphism group of {mathfrak{g}}, the derivation Lie algebra of {mathfrak{g}}, and a generating set. Several results are stated in terms of Lie algebras admitting a triangular decomposition and can be used to reproduce results for the generalized Virasoro algebras.

  1. Software Geometry in Simulations

    NASA Astrophysics Data System (ADS)

    Alion, Tyler; Viren, Brett; Junk, Tom

    2015-04-01

    The Long Baseline Neutrino Experiment (LBNE) involves many detectors. The experiment's near detector (ND) facility, may ultimately involve several detectors. The far detector (FD) will be significantly larger than any other Liquid Argon (LAr) detector yet constructed; many prototype detectors are being constructed and studied to motivate a plethora of proposed FD designs. Whether it be a constructed prototype or a proposed ND/FD design, every design must be simulated and analyzed. This presents a considerable challenge to LBNE software experts; each detector geometry must be described to the simulation software in an efficient way which allows for multiple authors to easily collaborate. Furthermore, different geometry versions must be tracked throughout their use. We present a framework called General Geometry Description (GGD), written and developed by LBNE software collaborators for managing software to generate geometries. Though GGD is flexible enough to be used by any experiment working with detectors, we present it's first use in generating Geometry Description Markup Language (GDML) files to interface with LArSoft, a framework of detector simulations, event reconstruction, and data analyses written for all LAr technology users at Fermilab. Brett is the other of the framework discussed here, the General Geometry Description (GGD).

  2. Common Geometry Module

    2005-01-01

    The Common Geometry Module (CGM) is a code library which provides geometry functionality used for mesh generation and other applications. This functionality includes that commonly found in solid modeling engines, like geometry creation, query and modification; CGM also includes capabilities not commonly found in solid modeling engines, like geometry decomposition tools and support for shared material interfaces. CGM is built upon the ACIS solid modeling engine, but also includes geometry capability developed beside and onmore » top of ACIS. CGM can be used as-is to provide geometry functionality for codes needing this capability. However, CGM can also be extended using derived classes in C++, allowing the geometric model to serve as the basis for other applications, for example mesh generation. CGM is supported on Sun Solaris, SGI, HP, IBM, DEC, Linux and Windows NT platforms. CGM also indudes support for loading ACIS models on parallel computers, using MPI-based communication. Future plans for CGM are to port it to different solid modeling engines, including Pro/Engineer or SolidWorks. CGM is being released into the public domain under an LGPL license; the ACIS-based engine is available to ACIS licensees on request.« less

  3. Algebraic Thinking through Koch Snowflake Constructions

    ERIC Educational Resources Information Center

    Ghosh, Jonaki B.

    2016-01-01

    Generalizing is a foundational mathematical practice for the algebra classroom. It entails an act of abstraction and forms the core of algebraic thinking. Kinach (2014) describes two kinds of generalization--by analogy and by extension. This article illustrates how exploration of fractals provides ample opportunity for generalizations of both…

  4. Investigating Algebraic Procedures Using Discussion and Writing

    ERIC Educational Resources Information Center

    Harper, Jonathan; Ford, Jeffrey

    2012-01-01

    This study reports on the implementation of an intermediate algebra curriculum centered on a framework of student-centered questions designed to investigate algebraic procedures. Instructional activities were designed to build discourse in the small-group discussion meetings of the course. Students were assigned writing prompts to emphasize the…

  5. Practicing Algebraic Skills: A Conceptual Approach

    ERIC Educational Resources Information Center

    Friedlander, Alex; Arcavi, Abraham

    2012-01-01

    Traditionally, a considerable part of teaching and learning algebra has focused on routine practice and the application of rules, procedures, and techniques. Although today's computerized environments may have decreased the need to master algebraic skills, procedural competence is still a central component in any mathematical activity. However,…

  6. Using Students' Interests as Algebraic Models

    ERIC Educational Resources Information Center

    Whaley, Kenneth A.

    2012-01-01

    Fostering algebraic thinking is an important goal for middle-grades mathematics teachers. Developing mathematical reasoning requires that teachers cultivate students' habits of mind. Teachers develop students' understanding of algebra by engaging them in tasks that involve modeling and representation. This study was designed to investigate how…

  7. THE RADICAL OF A JORDAN ALGEBRA

    PubMed Central

    McCrimmon, Kevin

    1969-01-01

    In this paper we define a Jacobson radical for Jordan algebras analogous to that for associative algebras and show that it enjoys many of the properties of the associative radical. We then relate the corresponding notion of “semisimplicity” to the previously defined notion of “nondegeneracy” (Jacobson, N., these Proceedings, 55, 243-251 (1966)). PMID:16591736

  8. The operator algebra approach to quantum groups

    PubMed Central

    Kustermans, Johan; Vaes, Stefaan

    2000-01-01

    A relatively simple definition of a locally compact quantum group in the C*-algebra setting will be explained as it was recently obtained by the authors. At the same time, we put this definition in the historical and mathematical context of locally compact groups, compact quantum groups, Kac algebras, multiplicative unitaries, and duality theory. PMID:10639116

  9. Situated Learning in an Abstract Algebra Classroom

    ERIC Educational Resources Information Center

    Ticknor, Cindy S.

    2012-01-01

    Advisory committees of mathematics consider abstract algebra as an essential component of the mathematical preparation of secondary teachers, yet preservice teachers find it challenging to connect the topics addressed in this advanced course with the high school algebra they must someday teach. This study analyzed the mathematical content…

  10. Solving Absolute Value Equations Algebraically and Geometrically

    ERIC Educational Resources Information Center

    Shiyuan, Wei

    2005-01-01

    The way in which students can improve their comprehension by understanding the geometrical meaning of algebraic equations or solving algebraic equation geometrically is described. Students can experiment with the conditions of the absolute value equation presented, for an interesting way to form an overall understanding of the concept.

  11. Predicting Turkish Ninth Grade Students' Algebra Performance

    ERIC Educational Resources Information Center

    Erbas, Ayhan Kursat

    2005-01-01

    The prediction of students' achievement in algebra in eighth and ninth grades has become a research interest for practical issues of placement. A group of simple, easily accessible variables was used to predict student performance in algebra after completion of eighth grade. The three variables of school type, grade level, and previous year…

  12. Success in Algebra among Community College Students

    ERIC Educational Resources Information Center

    Reyes, Czarina

    2010-01-01

    College algebra is a required course for most majors, but is viewed by many as a gatekeeper course for degree completion by students. With almost half a million students taking college algebra each year, faculty are experimenting with new course lengths of time that might result in higher success, completion, and retention rates for college…

  13. Calif. Laws Shift Gears on Algebra, Textbooks

    ERIC Educational Resources Information Center

    Robelen, Erik W.

    2012-01-01

    New laws in California have set the state on a course for some potentially significant changes to the curriculum, including a measure that revisits the matter of teaching Algebra 1 in 8th grade and another that revamps the state's textbook-adoption process and hands districts greater leeway in choosing instructional materials. The algebra-related…

  14. How To Prepare Students for Algebra.

    ERIC Educational Resources Information Center

    Wu, H.

    2001-01-01

    Suggests that no matter how much algebraic thinking is introduced in the early grades, and no matter how worthwhile this might be, the failure rate in algebra will continue unless the teaching of fractions and decimals is radically revamped. The proper study of fractions provides a ramp that leads students gently from whole number arithmetic up to…

  15. Using the Internet To Investigate Algebra.

    ERIC Educational Resources Information Center

    Sherwood, Walter

    The lesson plans in this book engage students by using a tool they enjoy--the Internet--to explore key concepts in algebra. Working either individually or in groups, students learn to approach algebra from a problem solving perspective. Each lesson shows learners how to use the Internet as a resource for gathering facts, data, and other…

  16. New directions in algebraic dynamical systems

    NASA Astrophysics Data System (ADS)

    Schmidt, Klaus; Verbitskiy, Evgeny

    2011-02-01

    The logarithmic Mahler measure of certain multivariate polynomials occurs frequently as the entropy or the free energy of solvable lattice models (especially dimer models). It is also known that the entropy of an algebraic dynamical system is the logarithmic Mahler measure of the defining polynomial. The connection between the lattice models and the algebraic dynamical systems is still rather mysterious.

  17. Classical and quantum Kummer shape algebras

    NASA Astrophysics Data System (ADS)

    Odzijewicz, A.; Wawreniuk, E.

    2016-07-01

    We study a family of integrable systems of nonlinearly coupled harmonic oscillators on the classical and quantum levels. We show that the integrability of these systems follows from their symmetry characterized by algebras, here called Kummer shape algebras. The resolution of identity for a wide class of reproducing kernels is found. A number of examples, illustrating this theory, are also presented.

  18. Fourier theory and C∗-algebras

    NASA Astrophysics Data System (ADS)

    Bédos, Erik; Conti, Roberto

    2016-07-01

    We discuss a number of results concerning the Fourier series of elements in reduced twisted group C∗-algebras of discrete groups, and, more generally, in reduced crossed products associated to twisted actions of discrete groups on unital C∗-algebras. A major part of the article gives a review of our previous work on this topic, but some new results are also included.

  19. Teaching Algebra to Students with Learning Disabilities

    ERIC Educational Resources Information Center

    Impecoven-Lind, Linda S.; Foegen, Anne

    2010-01-01

    Algebra is a gateway to expanded opportunities, but it often poses difficulty for students with learning disabilities. Consequently, it is essential to identify evidence-based instructional strategies for these students. The authors begin by identifying three areas of algebra difficulty experienced by students with disabilities: cognitive…

  20. Arithmetic and Cognitive Contributions to Algebra

    ERIC Educational Resources Information Center

    Cirino, Paul T.; Tolar, Tammy D.; Fuchs, Lynn S.

    2013-01-01

    Algebra is a prerequisite for access to STEM careers and occupational success (NMAP, 2008a), yet algebra is difficult for students through high school (US DOE, 2008). Growth in children's conceptual and procedural arithmetical knowledge is reciprocal, although conceptual knowledge has more impact on procedural knowledge than the reverse…

  1. Just Say Yes to Early Algebra!

    ERIC Educational Resources Information Center

    Stephens, Ana; Blanton, Maria; Knuth, Eric; Isler, Isil; Gardiner, Angela Murphy

    2015-01-01

    Mathematics educators have argued for some time that elementary school students are capable of engaging in algebraic thinking and should be provided with rich opportunities to do so. Recent initiatives like the Common Core State Standards for Mathematics (CCSSM) (CCSSI 2010) have taken up this call by reiterating the place of early algebra in…

  2. An Inquiry-Based Linear Algebra Class

    ERIC Educational Resources Information Center

    Wang, Haohao; Posey, Lisa

    2011-01-01

    Linear algebra is a standard undergraduate mathematics course. This paper presents an overview of the design and implementation of an inquiry-based teaching material for the linear algebra course which emphasizes discovery learning, analytical thinking and individual creativity. The inquiry-based teaching material is designed to fit the needs of a…

  3. Parabolas: Connection between Algebraic and Geometrical Representations

    ERIC Educational Resources Information Center

    Shriki, Atara

    2011-01-01

    A parabola is an interesting curve. What makes it interesting at the secondary school level is the fact that this curve is presented in both its contexts: algebraic and geometric. Being one of Apollonius' conic sections, the parabola is basically a geometric entity. It is, however, typically known for its algebraic characteristics, in particular…

  4. Algebraic Geodesics on Three-Dimensional Quadrics

    NASA Astrophysics Data System (ADS)

    Kai, Yue

    2015-12-01

    By Hamilton-Jacobi method, we study the problem of algebraic geodesics on the third-order surface. By the implicit function theorem, we proved the existences of the real geodesics which are the intersections of two algebraic surfaces, and we also give some numerical examples.

  5. Algebra: How Is It for You?

    ERIC Educational Resources Information Center

    Rickard, Caroline

    2008-01-01

    Shortly after starting work for the University of Chichester in the School of Teacher Education, the author was planning a session relating to algebra and found herself inspired by an article in MT182: "Algebraic Infants" by Andrews and Sayers (2003). Based on the making of families of "Multilink" animals, Andrews and Sayers (2003) claim that…

  6. Focus on Fractions to Scaffold Algebra

    ERIC Educational Resources Information Center

    Ooten, Cheryl Thomas

    2013-01-01

    Beginning algebra is a gatekeeper course into the pipeline to higher mathematics courses required for respected professions in engineering, science, statistics, mathematics, education, and technology. Beginning algebra can also be a perfect storm if the necessary foundational skills are not within a student's grasp. What skills ensure beginning…

  7. Some Applications of Algebraic System Solving

    ERIC Educational Resources Information Center

    Roanes-Lozano, Eugenio

    2011-01-01

    Technology and, in particular, computer algebra systems, allows us to change both the way we teach mathematics and the mathematical curriculum. Curiously enough, unlike what happens with linear system solving, algebraic system solving is not widely known. The aim of this paper is to show that, although the theory lying behind the "exact solve"…

  8. A Technology-Intensive Approach to Algebra.

    ERIC Educational Resources Information Center

    Heid, M. Kathleen; Zbiek, Rose Mary

    1995-01-01

    Computer-Intensive Algebra (CIA) focuses on the use of technology to help develop a rich understanding of fundamental algebraic concepts in real-world settings using computing tools for easy access to numerical, graphical, and symbolic representations of mathematical ideas. (MKR)

  9. Modern Algebra, Mathematics: 5293.36.

    ERIC Educational Resources Information Center

    Edwards, Raymond J.

    This guidebook covers Boolean algebra, matrices, linear transformations of the plane, characteristic values, vectors, and algebraic structures. Overall course goals and performance objectives for each unit are specified; sequencing of units and various time schedules are suggested. A sample pretest and posttest are given, and an annotated list of…

  10. Teaching Modeling and Axiomatization with Boolean Algebra.

    ERIC Educational Resources Information Center

    De Villiers, Michael D.

    1987-01-01

    Presented is an alternative approach to the traditional teaching of Boolean algebra for secondary school mathematics. The main aim of the approach is to use Boolean algebra to teach pupils such mathematical processes as modeling and axiomatization. A course using the approach is described. (RH)

  11. Vortex lattice theory: A linear algebra approach

    NASA Astrophysics Data System (ADS)

    Chamoun, George C.

    Vortex lattices are prevalent in a large class of physical settings that are characterized by different mathematical models. We present a coherent and generalized Hamiltonian fluid mechanics-based formulation that reduces all vortex lattices into a classic problem in linear algebra for a non-normal matrix A. Via Singular Value Decomposition (SVD), the solution lies in the null space of the matrix (i.e., we require nullity( A) > 0) as well as the distribution of its singular values. We demonstrate that this approach provides a good model for various types of vortex lattices, and makes it possible to extract a rich amount of information on them. The contributions of this thesis can be classified into four main points. The first is asymmetric equilibria. A 'Brownian ratchet' construct was used which converged to asymmetric equilibria via a random walk scheme that utilized the smallest singular value of A. Distances between configurations and equilibria were measured using the Frobenius norm ||·||F and 2-norm ||·||2, and conclusions were made on the density of equilibria within the general configuration space. The second contribution used Shannon Entropy, which we interpret as a scalar measure of the robustness, or likelihood of lattices to occur in a physical setting. Third, an analytic model was produced for vortex street patterns on the sphere by using SVD in conjunction with expressions for the center of vorticity vector and angular velocity. Equilibrium curves within the configuration space were presented as a function of the geometry, and pole vortices were shown to have a critical role in the formation and destruction of vortex streets. The fourth contribution entailed a more complete perspective of the streamline topology of vortex streets, linking the bifurcations to critical points on the equilibrium curves.

  12. MODEL IDENTIFICATION AND COMPUTER ALGEBRA

    PubMed Central

    Bollen, Kenneth A.; Bauldry, Shawn

    2011-01-01

    Multiequation models that contain observed or latent variables are common in the social sciences. To determine whether unique parameter values exist for such models, one needs to assess model identification. In practice analysts rely on empirical checks that evaluate the singularity of the information matrix evaluated at sample estimates of parameters. The discrepancy between estimates and population values, the limitations of numerical assessments of ranks, and the difference between local and global identification make this practice less than perfect. In this paper we outline how to use computer algebra systems (CAS) to determine the local and global identification of multiequation models with or without latent variables. We demonstrate a symbolic CAS approach to local identification and develop a CAS approach to obtain explicit algebraic solutions for each of the model parameters. We illustrate the procedures with several examples, including a new proof of the identification of a model for handling missing data using auxiliary variables. We present an identification procedure for Structural Equation Models that makes use of CAS and that is a useful complement to current methods. PMID:21769158

  13. MODEL IDENTIFICATION AND COMPUTER ALGEBRA.

    PubMed

    Bollen, Kenneth A; Bauldry, Shawn

    2010-10-01

    Multiequation models that contain observed or latent variables are common in the social sciences. To determine whether unique parameter values exist for such models, one needs to assess model identification. In practice analysts rely on empirical checks that evaluate the singularity of the information matrix evaluated at sample estimates of parameters. The discrepancy between estimates and population values, the limitations of numerical assessments of ranks, and the difference between local and global identification make this practice less than perfect. In this paper we outline how to use computer algebra systems (CAS) to determine the local and global identification of multiequation models with or without latent variables. We demonstrate a symbolic CAS approach to local identification and develop a CAS approach to obtain explicit algebraic solutions for each of the model parameters. We illustrate the procedures with several examples, including a new proof of the identification of a model for handling missing data using auxiliary variables. We present an identification procedure for Structural Equation Models that makes use of CAS and that is a useful complement to current methods.

  14. Contact Geometry of Hyperbolic Equations of Generic Type

    NASA Astrophysics Data System (ADS)

    The, Dennis

    2008-08-01

    We study the contact geometry of scalar second order hyperbolic equations in the plane of generic type. Following a derivation of parametrized contact-invariants to distinguish Monge-Ampère (class 6-6), Goursat (class 6-7) and generic (class 7-7) hyperbolic equations, we use Cartan's equivalence method to study the generic case. An intriguing feature of this class of equations is that every generic hyperbolic equation admits at most a nine-dimensional contact symmetry algebra. The nine-dimensional bound is sharp: normal forms for the contact-equivalence classes of these maximally symmetric generic hyperbolic equations are derived and explicit symmetry algebras are presented. Moreover, these maximally symmetric equations are Darboux integrable. An enumeration of several submaximally symmetric (eight and seven-dimensional) generic hyperbolic structures is also given.

  15. Generalized -deformed correlation functions as spectral functions of hyperbolic geometry

    NASA Astrophysics Data System (ADS)

    Bonora, L.; Bytsenko, A. A.; Guimarães, M. E. X.

    2014-08-01

    We analyze the role of vertex operator algebra and 2d amplitudes from the point of view of the representation theory of infinite-dimensional Lie algebras, MacMahon and Ruelle functions. By definition p-dimensional MacMahon function, with , is the generating function of p-dimensional partitions of integers. These functions can be represented as amplitudes of a two-dimensional c = 1 CFT, and, as such, they can be generalized to . With some abuse of language we call the latter amplitudes generalized MacMahon functions. In this paper we show that generalized p-dimensional MacMahon functions can be rewritten in terms of Ruelle spectral functions, whose spectrum is encoded in the Patterson-Selberg function of three-dimensional hyperbolic geometry.

  16. Generalization of n-ary Nambu algebras and beyond

    SciTech Connect

    Ataguema, H.; Makhlouf, A.; Silvestrov, S.

    2009-08-15

    The aim of this paper is to introduce n-ary Hom-algebra structures generalizing the n-ary algebras of Lie type including n-ary Nambu algebras, n-ary Nambu-Lie algebras and n-ary Lie algebras, and n-ary algebras of associative type including n-ary totally associative and n-ary partially associative algebras. We provide examples of the new structures and present some properties and construction theorems. We describe the general method allowing one to obtain an n-ary Hom-algebra structure starting from an n-ary algebra and an n-ary algebra endomorphism. Several examples are derived using this process. Also we initiate investigation of classification problems for algebraic structures introduced in the article and describe all ternary three-dimensional Hom-Nambu-Lie structures with diagonal homomorphism.

  17. Geometry and Cloaking Devices

    NASA Astrophysics Data System (ADS)

    Ochiai, T.; Nacher, J. C.

    2011-09-01

    Recently, the application of geometry and conformal mappings to artificial materials (metamaterials) has attracted the attention in various research communities. These materials, characterized by a unique man-made structure, have unusual optical properties, which materials found in nature do not exhibit. By applying the geometry and conformal mappings theory to metamaterial science, it may be possible to realize so-called "Harry Potter cloaking device". Although such a device is still in the science fiction realm, several works have shown that by using such metamaterials it may be possible to control the direction of the electromagnetic field at will. We could then make an object hidden inside of a cloaking device. Here, we will explain how to design invisibility device using differential geometry and conformal mappings.

  18. Origins of cellular geometry

    PubMed Central

    2011-01-01

    Cells are highly complex and orderly machines, with defined shapes and a startling variety of internal organizations. Complex geometry is a feature of both free-living unicellular organisms and cells inside multicellular animals. Where does the geometry of a cell come from? Many of the same questions that arise in developmental biology can also be asked of cells, but in most cases we do not know the answers. How much of cellular organization is dictated by global cell polarity cues as opposed to local interactions between cellular components? Does cellular structure persist across cell generations? What is the relationship between cell geometry and tissue organization? What ensures that intracellular structures are scaled to the overall size of the cell? Cell biology is only now beginning to come to grips with these questions. PMID:21880160

  19. Students Discovering Spherical Geometry Using Dynamic Geometry Software

    ERIC Educational Resources Information Center

    Guven, Bulent; Karatas, Ilhan

    2009-01-01

    Dynamic geometry software (DGS) such as Cabri and Geometers' Sketchpad has been regularly used worldwide for teaching and learning Euclidean geometry for a long time. The DGS with its inductive nature allows students to learn Euclidean geometry via explorations. However, with respect to non-Euclidean geometries, do we need to introduce them to…

  20. The local symmetries of M-theory and their formulation in generalised geometry

    NASA Astrophysics Data System (ADS)

    Berman, David S.; Godazgar, Hadi; Godazgar, Mahdi; Perry, Malcolm J.

    2012-01-01

    In the doubled field theory approach to string theory the T-duality group is promoted to a manifest symmetry at the expense of replacing ordinary Riemannian geometry with generalised geometry on a doubled space. The local symmetries are then given by a generalised Lie derivative and its associated algebra. This paper constructs an analogous structure for the extended geometry of M-theory. A crucial by-product of this construction is the derivation of the physical section condition for M-theory formulated in an extended space.

  1. Computational synthetic geometry

    SciTech Connect

    Sturmfels, B. )

    1988-01-01

    This book deals with methods for realizing abstract geometric objects in concrete vector spaces. It considers a large class of problems from convexity and discrete geometry including constructing convex polytopes from simplicial complexes, vector geometries from incidence structures and hyperplane arrangements from oriented matroids. It appears that algorithms for these constructions exist if and only if arbitrary polynomial equations are decidable with respect to the underlying field. Besides such complexity theorems, a variety of symbolic algorithms are discussed, and the methods are applied to obtain mathematical results on convex polytopes, projective configurations and the combinatories of Grassmann varieties.

  2. Working memory, worry, and algebraic ability.

    PubMed

    Trezise, Kelly; Reeve, Robert A

    2014-05-01

    Math anxiety (MA)-working memory (WM) relationships have typically been examined in the context of arithmetic problem solving, and little research has examined the relationship in other math domains (e.g., algebra). Moreover, researchers have tended to examine MA/worry separate from math problem solving activities and have used general WM tasks rather than domain-relevant WM measures. Furthermore, it seems to have been assumed that MA affects all areas of math. It is possible, however, that MA is restricted to particular math domains. To examine these issues, the current research assessed claims about the impact on algebraic problem solving of differences in WM and algebraic worry. A sample of 80 14-year-old female students completed algebraic worry, algebraic WM, algebraic problem solving, nonverbal IQ, and general math ability tasks. Latent profile analysis of worry and WM measures identified four performance profiles (subgroups) that differed in worry level and WM capacity. Consistent with expectations, subgroup membership was associated with algebraic problem solving performance: high WM/low worry>moderate WM/low worry=moderate WM/high worry>low WM/high worry. Findings are discussed in terms of the conceptual relationship between emotion and cognition in mathematics and implications for the MA-WM-performance relationship.

  3. Weak homological dimensions and biflat Koethe algebras

    SciTech Connect

    Pirkovskii, A Yu

    2008-06-30

    The homological properties of metrizable Koethe algebras {lambda}(P) are studied. A criterion for an algebra A={lambda}(P) to be biflat in terms of the Koethe set P is obtained, which implies, in particular, that for such algebras the properties of being biprojective, biflat, and flat on the left are equivalent to the surjectivity of the multiplication operator A otimes-hat A{yields}A. The weak homological dimensions (the weak global dimension w.dg and the weak bidimension w.db) of biflat Koethe algebras are calculated. Namely, it is shown that the conditions w.db {lambda}(P)<=1 and w.dg {lambda}(P)<=1 are equivalent to the nuclearity of {lambda}(P); and if {lambda}(P) is non-nuclear, then w.dg {lambda}(P)=w.db {lambda}(P)=2. It is established that the nuclearity of a biflat Koethe algebra {lambda}(P), under certain additional conditions on the Koethe set P, implies the stronger estimate db {lambda}(P), where db is the (projective) bidimension. On the other hand, an example is constructed of a nuclear biflat Koethe algebra {lambda}(P) such that db {lambda}(P)=2 (while w.db {lambda}(P)=1). Finally, it is shown that many biflat Koethe algebras, while not being amenable, have trivial Hochschild homology groups in positive degrees (with arbitrary coefficients). Bibliography: 37 titles.

  4. Algebraic curves of maximal cyclicity

    NASA Astrophysics Data System (ADS)

    Caubergh, Magdalena; Dumortier, Freddy

    2006-01-01

    The paper deals with analytic families of planar vector fields, studying methods to detect the cyclicity of a non-isolated closed orbit, i.e. the maximum number of limit cycles that can locally bifurcate from it. It is known that this multi-parameter problem can be reduced to a single-parameter one, in the sense that there exist analytic curves in parameter space along which the maximal cyclicity can be attained. In that case one speaks about a maximal cyclicity curve (mcc) in case only the number is considered and of a maximal multiplicity curve (mmc) in case the multiplicity is also taken into account. In view of obtaining efficient algorithms for detecting the cyclicity, we investigate whether such mcc or mmc can be algebraic or even linear depending on certain general properties of the families or of their associated Bautin ideal. In any case by well chosen examples we show that prudence is appropriate.

  5. Inequalities, assessment and computer algebra

    NASA Astrophysics Data System (ADS)

    Sangwin, Christopher J.

    2015-01-01

    The goal of this paper is to examine single variable real inequalities that arise as tutorial problems and to examine the extent to which current computer algebra systems (CAS) can (1) automatically solve such problems and (2) determine whether students' own answers to such problems are correct. We review how inequalities arise in contemporary curricula. We consider the formal mathematical processes by which such inequalities are solved, and we consider the notation and syntax through which solutions are expressed. We review the extent to which current CAS can accurately solve these inequalities, and the form given to the solutions by the designers of this software. Finally, we discuss the functionality needed to deal with students' answers, i.e. to establish equivalence (or otherwise) of expressions representing unions of intervals. We find that while contemporary CAS accurately solve inequalities there is a wide variety of notation used.

  6. Local Algebras of Differential Operators

    NASA Astrophysics Data System (ADS)

    Church, P. T.; Timourian, J. G.

    2002-05-01

    There is an increasing literature devoted to the study of boundary value problems using singularity theory. The resulting differential operators are typically Fredholm with index 0, defined on infinite-dimensional spaces, and they have often led to folds, cusps, and even higher-order Morin singularities. In this paper we develop some of the local algebras of germs of such differential Fredholm operators, extending the theory of the finite-dimensional case. We apply this work to nonlinear elliptic boundary value problems: in particular, we make further progress on a question proposed and initially studied by Ruf [1999, J. Differential Equations 151, 111-133]. We also make comments on several problems raised by others.

  7. PC Basic Linear Algebra Subroutines

    1992-03-09

    PC-BLAS is a highly optimized version of the Basic Linear Algebra Subprograms (BLAS), a standardized set of thirty-eight routines that perform low-level operations on vectors of numbers in single and double-precision real and complex arithmetic. Routines are included to find the index of the largest component of a vector, apply a Givens or modified Givens rotation, multiply a vector by a constant, determine the Euclidean length, perform a dot product, swap and copy vectors, andmore » find the norm of a vector. The BLAS have been carefully written to minimize numerical problems such as loss of precision and underflow and are designed so that the computation is independent of the interface with the calling program. This independence is achieved through judicious use of Assembly language macros. Interfaces are provided for Lahey Fortran 77, Microsoft Fortran 77, and Ryan-McFarland IBM Professional Fortran.« less

  8. Degeneracy measures for the algebraic classification of numerical spacetimes

    NASA Astrophysics Data System (ADS)

    Owen, Robert

    2010-06-01

    We study the issue of algebraic classification of the Weyl curvature tensor, with a particular focus on numerical relativity simulations. The spacetimes of interest in this context, binary black hole mergers, and the ringdowns that follow them, present subtleties in that they are generically, strictly speaking, type I, but in many regions approximately, in some sense, type D. To provide meaning to any claims of “approximate” Petrov class, one must define a measure of degeneracy on the space of null rays at a point. We will investigate such a measure, used recently to argue that certain binary black hole merger simulations ring down to the Kerr geometry, after hanging up for some time in Petrov type II. In particular, we argue that this hangup in Petrov type II is an artefact of the particular measure being used, and that a geometrically better-motivated measure shows a black hole merger produced by our group settling directly to Petrov type D.

  9. Jucys-Murphy elements for Birman-Murakami-Wenzl algebras

    NASA Astrophysics Data System (ADS)

    Isaev, A. P.; Ogievetsky, O. V.

    2011-05-01

    The Burman-Wenzl-Murakami algebra, considered as the quotient of the braid group algebra, possesses the commutative set of Jucys-Murphy elements. We show that the set of Jucys-Murphy elements is maximal commutative for the generic Birman-Wenzl-Murakami algebra and reconstruct the representation theory of the tower of Birman-Wenzl-Murakami algebras.

  10. Kinematical superalgebras and Lie algebras of order 3

    SciTech Connect

    Campoamor-Stursberg, R.; Rausch de Traubenberg, M.

    2008-06-15

    We study and classify kinematical algebras which appear in the framework of Lie superalgebras or Lie algebras of order 3. All these algebras are related through generalized Inonue-Wigner contractions from either the orthosymplectic superalgebra or the de Sitter Lie algebra of order 3.

  11. Becchi-Rouet-Stora-Tyutin operators for W algebras

    SciTech Connect

    Isaev, A. P.; Krivonos, S. O.; Ogievetsky, O. V.

    2008-07-15

    The study of quantum Lie algebras motivates a use of noncanonical ghosts and antighosts for nonlinear algebras, such as W-algebras. This leads, for the W{sub 3} and W{sub 3}{sup (2)} algebras, to the Becchi-Rouet-Stora-Tyutin operator having the conventional cubic form.

  12. Imperfect Cloning Operations in Algebraic Quantum Theory

    NASA Astrophysics Data System (ADS)

    Kitajima, Yuichiro

    2015-01-01

    No-cloning theorem says that there is no unitary operation that makes perfect clones of non-orthogonal quantum states. The objective of the present paper is to examine whether an imperfect cloning operation exists or not in a C*-algebraic framework. We define a universal -imperfect cloning operation which tolerates a finite loss of fidelity in the cloned state, and show that an individual system's algebra of observables is abelian if and only if there is a universal -imperfect cloning operation in the case where the loss of fidelity is less than . Therefore in this case no universal -imperfect cloning operation is possible in algebraic quantum theory.

  13. Advanced geometries and regimes

    SciTech Connect

    Bulanov, S. S.; Bulanov, S. V.; Turchetti, G.; Limpouch, J.; Klimo, O.; Psikal, J.; Margarone, D.; Korn, G.

    2013-07-26

    We review and discuss different schemes of laser ion acceleration as well as advanced target geometries in connection with the development of the laser-driven proton source for hadron therapy of oncological diseases, which is a part of the ELIMED project.

  14. Spacetime and Euclidean geometry

    NASA Astrophysics Data System (ADS)

    Brill, Dieter; Jacobson, Ted

    2006-04-01

    Using only the principle of relativity and Euclidean geometry we show in this pedagogical article that the square of proper time or length in a two-dimensional spacetime diagram is proportional to the Euclidean area of the corresponding causal domain. We use this relation to derive the Minkowski line element by two geometric proofs of the spacetime Pythagoras theorem.

  15. Listening to Geometry

    ERIC Educational Resources Information Center

    Cooper, Brett D.; Barger, Rita

    2009-01-01

    The many connections between music and mathematics are well known. The length of a plucked string determines its tone, the time signature of a piece of music is a ratio, and note durations are measured in fractions. One connection commonly overlooked is that between music and geometry--specifically, geometric transformations, including…

  16. Making Solid Geometry Solid.

    ERIC Educational Resources Information Center

    Hartz, Viggo

    1981-01-01

    Allowing students to use a polystyrene cutter to fashion their own three-dimensional models is suggested as a means of allowing individuals to experience problems and develop ideas related to solid geometry. A list of ideas that can lead to mathematical discovery is provided. (MP)

  17. Teaching Geometry with Tangrams.

    ERIC Educational Resources Information Center

    Russell, Dorothy S.; Bologna, Elaine M.

    1982-01-01

    Geometry is viewed as the most neglected area of the elementary school mathematics curriculum. Tangram activities provide numerous worthwhile mathematical experiences for children. A method of constructing tangrams through paper folding is followed by suggested spatial visualization, measurement, and additional activities. (MP)

  18. Sliding vane geometry turbines

    DOEpatents

    Sun, Harold Huimin; Zhang, Jizhong; Hu, Liangjun; Hanna, Dave R

    2014-12-30

    Various systems and methods are described for a variable geometry turbine. In one example, a turbine nozzle comprises a central axis and a nozzle vane. The nozzle vane includes a stationary vane and a sliding vane. The sliding vane is positioned to slide in a direction substantially tangent to an inner circumference of the turbine nozzle and in contact with the stationary vane.

  19. Gravity is Geometry.

    ERIC Educational Resources Information Center

    MacKeown, P. K.

    1984-01-01

    Clarifies two concepts of gravity--those of a fictitious force and those of how space and time may have geometry. Reviews the position of Newton's theory of gravity in the context of special relativity and considers why gravity (as distinct from electromagnetics) lends itself to Einstein's revolutionary interpretation. (JN)

  20. The Helen of Geometry

    ERIC Educational Resources Information Center

    Martin, John

    2010-01-01

    The cycloid has been called the Helen of Geometry, not only because of its beautiful properties but also because of the quarrels it provoked between famous mathematicians of the 17th century. This article surveys the history of the cycloid and its importance in the development of the calculus.

  1. The Geometry of Viruses.

    ERIC Educational Resources Information Center

    Case, Christine L.

    1991-01-01

    Presented is an activity in which students make models of viruses, which allows them to visualize the shape of these microorganisms. Included are some background on viruses, the biology and geometry of viruses, directions for building viruses, a comparison of cells and viruses, and questions for students. (KR)

  2. GEOMETRY, TENTATIVE GUIDES.

    ERIC Educational Resources Information Center

    KLIER, KATHERINE M.

    PRESENTED IS A FUSED COURSE IN PLANE, SOLID, AND COORDINATE GEOMETRY. ELEMENTARY SET THEORY, LOGIC, AND THE PRINCIPLE OF SEPARATION PROVIDE UNIFYING THREADS THROUGHOUT THE TEXT. THE TWO CURRICULUM GUIDES HAVE BEEN PREPARED FOR USE WITH TWO DIFFERENT TEXTS. EITHER CURRICULUM GUIDE MAY BE USED DEPENDING UPON THE CHOICE OF THE TEACHER AND THE NEEDS…

  3. Geometry of PDE's. IV

    NASA Astrophysics Data System (ADS)

    Prástaro, Agostino

    2008-02-01

    Following our previous results on this subject [R.P. Agarwal, A. Prástaro, Geometry of PDE's. III(I): Webs on PDE's and integral bordism groups. The general theory, Adv. Math. Sci. Appl. 17 (2007) 239-266; R.P. Agarwal, A. Prástaro, Geometry of PDE's. III(II): Webs on PDE's and integral bordism groups. Applications to Riemannian geometry PDE's, Adv. Math. Sci. Appl. 17 (2007) 267-285; A. Prástaro, Geometry of PDE's and Mechanics, World Scientific, Singapore, 1996; A. Prástaro, Quantum and integral (co)bordism in partial differential equations, Acta Appl. Math. (5) (3) (1998) 243-302; A. Prástaro, (Co)bordism groups in PDE's, Acta Appl. Math. 59 (2) (1999) 111-201; A. Prástaro, Quantized Partial Differential Equations, World Scientific Publishing Co, Singapore, 2004, 500 pp.; A. Prástaro, Geometry of PDE's. I: Integral bordism groups in PDE's, J. Math. Anal. Appl. 319 (2006) 547-566; A. Prástaro, Geometry of PDE's. II: Variational PDE's and integral bordism groups, J. Math. Anal. Appl. 321 (2006) 930-948; A. Prástaro, Th.M. Rassias, Ulam stability in geometry of PDE's, Nonlinear Funct. Anal. Appl. 8 (2) (2003) 259-278; I. Stakgold, Boundary Value Problems of Mathematical Physics, I, The MacMillan Company, New York, 1967; I. Stakgold, Boundary Value Problems of Mathematical Physics, II, Collier-MacMillan, Canada, Ltd, Toronto, Ontario, 1968], integral bordism groups of the Navier-Stokes equation are calculated for smooth, singular and weak solutions, respectively. Then a characterization of global solutions is made on this ground. Enough conditions to assure existence of global smooth solutions are given and related to nullity of integral characteristic numbers of the boundaries. Stability of global solutions are related to some characteristic numbers of the space-like Cauchy dataE Global solutions of variational problems constrained by (NS) are classified by means of suitable integral bordism groups too.

  4. A note on derivations of Murray–von Neumann algebras

    PubMed Central

    Kadison, Richard V.; Liu, Zhe

    2014-01-01

    A Murray–von Neumann algebra is the algebra of operators affiliated with a finite von Neumann algebra. In this article, we first present a brief introduction to the theory of derivations of operator algebras from both the physical and mathematical points of view. We then describe our recent work on derivations of Murray–von Neumann algebras. We show that the “extended derivations” of a Murray–von Neumann algebra, those that map the associated finite von Neumann algebra into itself, are inner. In particular, we prove that the only derivation that maps a Murray–von Neumann algebra associated with a factor of type II1 into that factor is 0. Those results are extensions of Singer’s seminal result answering a question of Kaplansky, as applied to von Neumann algebras: The algebra may be noncommutative and may even contain unbounded elements. PMID:24469831

  5. Global differential geometry: An introduction for control engineers

    NASA Technical Reports Server (NTRS)

    Doolin, B. F.; Martin, C. F.

    1982-01-01

    The basic concepts and terminology of modern global differential geometry are discussed as an introduction to the Lie theory of differential equations and to the role of Grassmannians in control systems analysis. To reach these topics, the fundamental notions of manifolds, tangent spaces, vector fields, and Lie algebras are discussed and exemplified. An appendix reviews such concepts needed for vector calculus as open and closed sets, compactness, continuity, and derivative. Although the content is mathematical, this is not a mathematical treatise but rather a text for engineers to understand geometric and nonlinear control.

  6. Calabi-Yau Geometries: Algorithms, Databases and Physics

    NASA Astrophysics Data System (ADS)

    He, Yang-Hui

    2013-08-01

    With a bird's-eye view, we survey the landscape of Calabi-Yau threefolds, compact and noncompact, smooth and singular. Emphasis will be placed on the algorithms and databases which have been established over the years, and how they have been useful in the interaction between the physics and the mathematics, especially in string and gauge theories. A skein which runs through this review will be algorithmic and computational algebraic geometry and how, implementing its principles on powerful computers and experimenting with the vast mathematical data, new physics can be learnt. It is hoped that this interdisciplinary glimpse will be of some use to the beginning student.

  7. I CAN Learn[R] Pre-Algebra and Algebra. What Works Clearinghouse Intervention Report

    ERIC Educational Resources Information Center

    What Works Clearinghouse, 2009

    2009-01-01

    The I CAN Learn[R] Education System is an interactive, self-paced, mastery-based software system that includes the I CAN Learn[R] Fundamentals of Math (5th-6th grade math) curriculum, the I CAN Learn[R] Pre-Algebra curriculum, and the I CAN Learn[R] Algebra curriculum. College algebra credit is also available to students in participating schools…

  8. An introduction to Minkowski geometries

    NASA Astrophysics Data System (ADS)

    Farnsworth, David L.

    2016-07-01

    The fundamental ideas of Minkowski geometries are presented. Learning about Minkowski geometries can sharpen our students' understanding of concepts such as distance measurement. Many of its ideas are important and accessible to undergraduate students. Following a brief overview, distance and orthogonality in Minkowski geometries are thoroughly discussed and many illustrative examples and applications are supplied. Suggestions for further study of these geometries are given. Indeed, Minkowski geometries are an excellent source of topics for undergraduate research and independent study.

  9. Highest-weight representations of Brocherd`s algebras

    SciTech Connect

    Slansky, R.

    1997-01-01

    General features of highest-weight representations of Borcherd`s algebras are described. to show their typical features, several representations of Borcherd`s extensions of finite-dimensional algebras are analyzed. Then the example of the extension of affine- su(2) to a Borcherd`s algebra is examined. These algebras provide a natural way to extend a Kac-Moody algebra to include the hamiltonian and number-changing operators in a generalized symmetry structure.

  10. On \\delta-derivations of n-ary algebras

    NASA Astrophysics Data System (ADS)

    Kaygorodov, Ivan B.

    2012-12-01

    We give a description of \\delta-derivations of (n+1)-dimensional n-ary Filippov algebras and, as a consequence, of simple finite-dimensional Filippov algebras over an algebraically closed field of characteristic zero. We also give new examples of non-trivial \\delta-derivations of Filippov algebras and show that there are no non-trivial \\delta-derivations of the simple ternary Mal'tsev algebra M_8.

  11. Supersymmetric extension of Galilean conformal algebras

    SciTech Connect

    Bagchi, Arjun; Mandal, Ipsita

    2009-10-15

    The Galilean conformal algebra has recently been realized in the study of the nonrelativistic limit of the AdS/CFT conjecture. This was obtained by a systematic parametric group contraction of the parent relativistic conformal field theory. In this paper, we extend the analysis to include supersymmetry. We work at the level of the coordinates in superspace to construct the N=1 super-Galilean conformal algebra. One of the interesting outcomes of the analysis is that one is able to naturally extend the finite algebra to an infinite one. This looks structurally similar to the N=1 superconformal algebra in two dimensions, but is different. We also comment on the extension of our construction to cases of higher N.

  12. Algebraic structures of sequences of numbers

    NASA Astrophysics Data System (ADS)

    Huang, I.-Chiau

    2012-09-01

    For certain sequences of numbers, commutative rings with a module structure over a non-commutative ring are constructed. Identities of these numbers are considered as realizations of algebraic relations.

  13. Representations of filtered solvable Lie algebras

    SciTech Connect

    Panov, Alexander N

    2012-01-31

    The representation theory of filtered solvable Lie algebras is constructed. In this framework a classification of irreducible representations is obtained and spectra of some reducible representations are found. Bibliography: 9 titles.

  14. Structure of The Planar Galilean Conformal Algebra

    NASA Astrophysics Data System (ADS)

    Gao, Shoulan; Liu, Dong; Pei, Yufeng

    2016-08-01

    In this paper, we compute the low-dimensional cohomology groups of the planar Galilean conformal algebra introduced by Bagchi and Goparkumar. Consequently we determine its derivations, central extensions, and automorphisms.

  15. Applications: Using Algebra in an Accounting Practice.

    ERIC Educational Resources Information Center

    Eisner, Gail A.

    1994-01-01

    Presents examples of algebra from the field of accounting including proportional ownership of stock, separation of a loan payment into principal and interest portions, depreciation methods, and salary withholdings computations. (MKR)

  16. Using computer algebra and SMT solvers in algebraic biology

    NASA Astrophysics Data System (ADS)

    Pineda Osorio, Mateo

    2014-05-01

    Biologic processes are represented as Boolean networks, in a discrete time. The dynamics within these networks are approached with the help of SMT Solvers and the use of computer algebra. Software such as Maple and Z3 was used in this case. The number of stationary states for each network was calculated. The network studied here corresponds to the immune system under the effects of drastic mood changes. Mood is considered as a Boolean variable that affects the entire dynamics of the immune system, changing the Boolean satisfiability and the number of stationary states of the immune network. Results obtained show Z3's great potential as a SMT Solver. Some of these results were verified in Maple, even though it showed not to be as suitable for the problem approach. The solving code was constructed using Z3-Python and Z3-SMT-LiB. Results obtained are important in biology systems and are expected to help in the design of immune therapies. As a future line of research, more complex Boolean network representations of the immune system as well as the whole psychological apparatus are suggested.

  17. Numerical linear algebra in data mining

    NASA Astrophysics Data System (ADS)

    Eldén, Lars

    Ideas and algorithms from numerical linear algebra are important in several areas of data mining. We give an overview of linear algebra methods in text mining (information retrieval), pattern recognition (classification of handwritten digits), and PageRank computations for web search engines. The emphasis is on rank reduction as a method of extracting information from a data matrix, low-rank approximation of matrices using the singular value decomposition and clustering, and on eigenvalue methods for network analysis.

  18. Vague Congruences and Quotient Lattice Implication Algebras

    PubMed Central

    Qin, Xiaoyan; Xu, Yang

    2014-01-01

    The aim of this paper is to further develop the congruence theory on lattice implication algebras. Firstly, we introduce the notions of vague similarity relations based on vague relations and vague congruence relations. Secondly, the equivalent characterizations of vague congruence relations are investigated. Thirdly, the relation between the set of vague filters and the set of vague congruences is studied. Finally, we construct a new lattice implication algebra induced by a vague congruence, and the homomorphism theorem is given. PMID:25133207

  19. Algebraic operator approach to gas kinetic models

    NASA Astrophysics Data System (ADS)

    Il'ichov, L. V.

    1997-02-01

    Some general properties of the linear Boltzmann kinetic equation are used to present it in the form ∂ tϕ = - †Âϕ with the operators Âand† possessing some nontrivial algebraic properties. When applied to the Keilson-Storer kinetic model, this method gives an example of quantum ( q-deformed) Lie algebra. This approach provides also a natural generalization of the “kangaroo model”.

  20. Algebraic sub-structuring for electromagnetic applications

    SciTech Connect

    Yang, Chao; Gao, Weiguo; Bai, Zhaojun; Li, Xiaoye; Lee, Lie-Quan; Husbands, Parry; Ng, Esmond G.

    2004-09-14

    Algebraic sub-structuring refers to the process of applying matrix reordering and partitioning algorithms to divide a large sparse matrix into smaller submatrices from which a subset of spectral components are extracted and combined to form approximate solutions to the original problem. In this paper, we show that algebraic sub-structuring can be effectively used to solve generalized eigenvalue problems arising from the finite element analysis of an accelerator structure.

  1. Algebra and topology for applications to physics

    NASA Technical Reports Server (NTRS)

    Rozhkov, S. S.

    1987-01-01

    The principal concepts of algebra and topology are examined with emphasis on applications to physics. In particular, attention is given to sets and mapping; topological spaces and continuous mapping; manifolds; and topological groups and Lie groups. The discussion also covers the tangential spaces of the differential manifolds, including Lie algebras, vector fields, and differential forms, properties of differential forms, mapping of tangential spaces, and integration of differential forms.

  2. Algebraic Sub-Structuring for Electromagnetic Applications

    SciTech Connect

    Yang, C.; Gao, W.G.; Bai, Z.J.; Li, X.Y.S.; Lee, L.Q.; Husbands, P.; Ng, E.G.; /LBL, Berkeley /UC, Davis /SLAC

    2006-06-30

    Algebraic sub-structuring refers to the process of applying matrix reordering and partitioning algorithms to divide a large sparse matrix into smaller submatrices from which a subset of spectral components are extracted and combined to form approximate solutions to the original problem. In this paper, they show that algebraic sub-structuring can be effectively used to solve generalized eigenvalue problems arising from the finite element analysis of an accelerator structure.

  3. Geometry definition with MAZE

    SciTech Connect

    Nebeck, H.E.

    1986-08-01

    The MAZE mesh generator represents an arbitrary two dimensional region of space as an ordered collection of quadrilateral elements. Each element is defined by its four corner points (nodes) and an integer material number. Models are created by subdividing the region(s) of interest into one or more PARTS and specifying the element distribution in each part. Then, parts can be merged together to form the meshed representation of the entire region. Applying boundary conditions and describing material properties completes the model construction process. This activity takes place in three distinct phases: phase I-define geometry, subdivide regions into elements; phase II-refine geometry, establish interface and boundary conditions; phase III-describe material properties. This work presents explanations and examples of the phase I commands, along with an overview of the MAZE mesh generation process.

  4. Cylindrical geometry hall thruster

    DOEpatents

    Raitses, Yevgeny; Fisch, Nathaniel J.

    2002-01-01

    An apparatus and method for thrusting plasma, utilizing a Hall thruster with a cylindrical geometry, wherein ions are accelerated in substantially the axial direction. The apparatus is suitable for operation at low power. It employs small size thruster components, including a ceramic channel, with the center pole piece of the conventional annular design thruster eliminated or greatly reduced. Efficient operation is accomplished through magnetic fields with a substantial radial component. The propellant gas is ionized at an optimal location in the thruster. A further improvement is accomplished by segmented electrodes, which produce localized voltage drops within the thruster at optimally prescribed locations. The apparatus differs from a conventional Hall thruster, which has an annular geometry, not well suited to scaling to small size, because the small size for an annular design has a great deal of surface area relative to the volume.

  5. From Atiyah Classes to Homotopy Leibniz Algebras

    NASA Astrophysics Data System (ADS)

    Chen, Zhuo; Stiénon, Mathieu; Xu, Ping

    2016-01-01

    A celebrated theorem of Kapranov states that the Atiyah class of the tangent bundle of a complex manifold X makes T X [-1] into a Lie algebra object in D + ( X), the bounded below derived category of coherent sheaves on X. Furthermore, Kapranov proved that, for a Kähler manifold X, the Dolbeault resolution {Ω^{bullet-1}(T_X^{1, 0})} of T X [-1] is an L ∞ algebra. In this paper, we prove that Kapranov's theorem holds in much wider generality for vector bundles over Lie pairs. Given a Lie pair ( L, A), i.e. a Lie algebroid L together with a Lie subalgebroid A, we define the Atiyah class α E of an A-module E as the obstruction to the existence of an A- compatible L-connection on E. We prove that the Atiyah classes α L/ A and α E respectively make L/ A[-1] and E[-1] into a Lie algebra and a Lie algebra module in the bounded below derived category {D^+(A)} , where {A} is the abelian category of left {U(A)} -modules and {U(A)} is the universal enveloping algebra of A. Moreover, we produce a homotopy Leibniz algebra and a homotopy Leibniz module stemming from the Atiyah classes of L/ A and E, and inducing the aforesaid Lie structures in {D^+(A)}.

  6. Inflation from quantum geometry.

    PubMed

    Bojowald, Martin

    2002-12-23

    Quantum geometry predicts that a universe evolves through an inflationary phase at small volume before exiting gracefully into a standard Friedmann phase. This does not require the introduction of additional matter fields with ad hoc potentials; rather, it occurs because of a quantum gravity modification of the kinetic part of ordinary matter Hamiltonians. An application of the same mechanism can explain why the present day cosmological acceleration is so tiny.

  7. Geometry of Quantum States

    NASA Astrophysics Data System (ADS)

    Bengtsson, Ingemar; Zyczkowski, Karol

    2007-12-01

    Preface; 1. Convexity, colours and statistics; 2. Geometry of probability distributions; 3. Much ado about spheres; 4. Complex projective spaces; 5. Outline of quantum mechanics; 6. Coherent states and group actions; 7. The stellar representation; 8. The space of density matrices; 9. Purification of mixed quantum states; 10. Quantum operations; 11. Duality: maps versus states; 12. Density matrices and entropies; 13. Distinguishability measures; 14. Monotone metrics and measures; 15. Quantum entanglement; Epilogue; Appendices; References; Index.

  8. Freezing in confined geometries

    NASA Technical Reports Server (NTRS)

    Sokol, P. E.; Ma, W. J.; Herwig, K. W.; Snow, W. M.; Wang, Y.; Koplik, Joel; Banavar, Jayanth R.

    1992-01-01

    Results of detailed structural studies, using elastic neutron scattering, of the freezing of liquid O2 and D2 in porous vycor glass, are presented. The experimental studies have been complemented by computer simulations of the dynamics of freezing of a Lennard-Jones liquid in narrow channels bounded by molecular walls. Results point to a new simple physical interpretation of freezing in confined geometries.

  9. Integral geometry and holography

    SciTech Connect

    Czech, Bartlomiej; Lamprou, Lampros; McCandlish, Samuel; Sully, James

    2015-10-27

    We present a mathematical framework which underlies the connection between information theory and the bulk spacetime in the AdS3/CFT2 correspondence. A key concept is kinematic space: an auxiliary Lorentzian geometry whose metric is defined in terms of conditional mutual informations and which organizes the entanglement pattern of a CFT state. When the field theory has a holographic dual obeying the Ryu-Takayanagi proposal, kinematic space has a direct geometric meaning: it is the space of bulk geodesics studied in integral geometry. Lengths of bulk curves are computed by kinematic volumes, giving a precise entropic interpretation of the length of any bulk curve. We explain how basic geometric concepts -- points, distances and angles -- are reflected in kinematic space, allowing one to reconstruct a large class of spatial bulk geometries from boundary entanglement entropies. In this way, kinematic space translates between information theoretic and geometric descriptions of a CFT state. As an example, we discuss in detail the static slice of AdS3 whose kinematic space is two-dimensional de Sitter space.

  10. Integral geometry and holography

    DOE PAGES

    Czech, Bartlomiej; Lamprou, Lampros; McCandlish, Samuel; Sully, James

    2015-10-27

    We present a mathematical framework which underlies the connection between information theory and the bulk spacetime in the AdS3/CFT2 correspondence. A key concept is kinematic space: an auxiliary Lorentzian geometry whose metric is defined in terms of conditional mutual informations and which organizes the entanglement pattern of a CFT state. When the field theory has a holographic dual obeying the Ryu-Takayanagi proposal, kinematic space has a direct geometric meaning: it is the space of bulk geodesics studied in integral geometry. Lengths of bulk curves are computed by kinematic volumes, giving a precise entropic interpretation of the length of any bulkmore » curve. We explain how basic geometric concepts -- points, distances and angles -- are reflected in kinematic space, allowing one to reconstruct a large class of spatial bulk geometries from boundary entanglement entropies. In this way, kinematic space translates between information theoretic and geometric descriptions of a CFT state. As an example, we discuss in detail the static slice of AdS3 whose kinematic space is two-dimensional de Sitter space.« less

  11. Emergent Complex Network Geometry

    NASA Astrophysics Data System (ADS)

    Wu, Zhihao; Menichetti, Giulia; Rahmede, Christoph; Bianconi, Ginestra

    2015-05-01

    Networks are mathematical structures that are universally used to describe a large variety of complex systems such as the brain or the Internet. Characterizing the geometrical properties of these networks has become increasingly relevant for routing problems, inference and data mining. In real growing networks, topological, structural and geometrical properties emerge spontaneously from their dynamical rules. Nevertheless we still miss a model in which networks develop an emergent complex geometry. Here we show that a single two parameter network model, the growing geometrical network, can generate complex network geometries with non-trivial distribution of curvatures, combining exponential growth and small-world properties with finite spectral dimensionality. In one limit, the non-equilibrium dynamical rules of these networks can generate scale-free networks with clustering and communities, in another limit planar random geometries with non-trivial modularity. Finally we find that these properties of the geometrical growing networks are present in a large set of real networks describing biological, social and technological systems.

  12. Instanton superpotentials, Calabi-Yau geometry, and fibrations

    NASA Astrophysics Data System (ADS)

    Anderson, Lara B.; Apruzzi, Fabio; Gao, Xin; Gray, James; Lee, Seung-Joo

    2016-04-01

    In this paper we explore contributions to nonperturbative superpotentials arising from instantons wrapping effective divisors in smooth Calabi-Yau fourfolds. We concentrate on the case of manifolds constructed as complete intersections in products of projective spaces or generalizations thereof. We systematically investigate the structure of the cone of effective (algebraic) divisors in the fourfold geometries and employ the same tools recently developed by Anderson et al. [arXiv:1507.03235] to construct more general instanton geometries than have previously been considered in the literature. We provide examples of instanton configurations on Calabi-Yau manifolds that are elliptically and K 3 fibered and explore their consequences in the context of string dualities. The examples discussed include manifolds containing infinite families of divisors with arithmetic genus, χ (D ,OD)=1 , and superpotentials exhibiting modular symmetry.

  13. Construction of N = 2 superconformal algebra from affine algebras with extended symmetry: I

    NASA Astrophysics Data System (ADS)

    Cheng, Shun-Jen

    1995-01-01

    The purpose of this Letter is to use the idea of the Sugawara-Kač-Todorov construction of the N = 0 and N = 1 superconformal algebras to construct a very simple free-field realization of the N = 2 superconformal algebra.

  14. Card Games and Algebra Tic Tacmatics on Achievement of Junior Secondary II Students in Algebraic Expressions

    ERIC Educational Resources Information Center

    Okpube, Nnaemeka Michael; Anugwo, M. N.

    2016-01-01

    This study investigated the Card Games and Algebra tic-Tacmatics on Junior Secondary II Students' Achievement in Algebraic Expressions. Three research questions and three null hypotheses guided the study. The study adopted the pre-test, post-test control group design. A total of two hundred and forty (240) Junior Secondary School II students were…

  15. Algebra Is a Civil Right: Increasing Achievement for African American Males in Algebra through Collaborative Inquiry

    ERIC Educational Resources Information Center

    Davies Gomez, Lisa

    2012-01-01

    Algebra is the gatekeeper of access to higher-level math and science courses, higher education and future earning opportunities. Unequal numbers of African-American males drop out of Algebra and mathematics courses and underperform on tests of mathematical competency and are thus denied both essential skills and a particularly important pathway to…

  16. Slower Algebra Students Meet Faster Tools: Solving Algebra Word Problems with Graphing Software

    ERIC Educational Resources Information Center

    Yerushalmy, Michal

    2006-01-01

    The article discusses the ways that less successful mathematics students used graphing software with capabilities similar to a basic graphing calculator to solve algebra problems in context. The study is based on interviewing students who learned algebra for 3 years in an environment where software tools were always present. We found differences…

  17. Generalization of Patterns: The Tension between Algebraic Thinking and Algebraic Notation.

    ERIC Educational Resources Information Center

    Zazkis, Rina; Liljedahl, Peter

    2002-01-01

    Explores the attempts of a group of preservice elementary school teachers to generalize a repeating visual number pattern. Discusses students' emergent algebraic thinking. Indicates that students' ability to express generalities verbally was not accompanied by algebraic notation, but participants often perceived complete and accurate solutions…

  18. Developing "Algebraic Thinking": Two Key Ways to Establish Some Early Algebraic Ideas in Primary Classrooms

    ERIC Educational Resources Information Center

    Ormond, Christine

    2012-01-01

    Primary teachers play a key role in their students' future mathematical success in the early secondary years. While the word "algebra" may make some primary teachers feel uncomfortable or worried, the basic arithmetic ideas underlying algebra are vitally important for older primary students as they are increasingly required to use "algebraic…

  19. Biomedical Mathematics, Unit I: Measurement, Linear Functions and Dimensional Algebra. Student Text. Revised Version, 1975.

    ERIC Educational Resources Information Center

    Biomedical Interdisciplinary Curriculum Project, Berkeley, CA.

    This text presents lessons relating specific mathematical concepts to the ideas, skills, and tasks pertinent to the health care field. Among other concepts covered are linear functions, vectors, trigonometry, and statistics. Many of the lessons use data acquired during science experiments as the basis for exercises in mathematics. Lessons present…

  20. Geometry for the Secondary School

    ERIC Educational Resources Information Center

    Moalem, D.

    1977-01-01

    A sequential but non-axiomatic high school geometry course which includes Euclidean, transformation, and analytic geometry and vectors and matrices, and emphasizes the invariance property of transformations, is outlined. Sample problems, solutions, and comments are included. (MN)

  1. Lie algebra of conformal Killing–Yano forms

    NASA Astrophysics Data System (ADS)

    Ertem, Ümit

    2016-06-01

    We provide a generalization of the Lie algebra of conformal Killing vector fields to conformal Killing–Yano forms. A new Lie bracket for conformal Killing–Yano forms that corresponds to slightly modified Schouten–Nijenhuis bracket of differential forms is proposed. We show that conformal Killing–Yano forms satisfy a graded Lie algebra in constant curvature manifolds. It is also proven that normal conformal Killing–Yano forms in Einstein manifolds also satisfy a graded Lie algebra. The constructed graded Lie algebras reduce to the graded Lie algebra of Killing–Yano forms and the Lie algebras of conformal Killing and Killing vector fields in special cases.

  2. Classification of central extensions of Lax operator algebras

    SciTech Connect

    Schlichenmaier, Martin

    2008-11-18

    Lax operator algebras were introduced by Krichever and Sheinman as further developments of Krichever's theory of Lax operators on algebraic curves. They are infinite dimensional Lie algebras of current type with meromorphic objects on compact Riemann surfaces (resp. algebraic curves) as elements. Here we report on joint work with Oleg Sheinman on the classification of their almost-graded central extensions. It turns out that in case that the finite-dimensional Lie algebra on which the Lax operator algebra is based on is simple there is a unique almost-graded central extension up to equivalence and rescaling of the central element.

  3. Computer-Aided Geometry Modeling

    NASA Technical Reports Server (NTRS)

    Shoosmith, J. N. (Compiler); Fulton, R. E. (Compiler)

    1984-01-01

    Techniques in computer-aided geometry modeling and their application are addressed. Mathematical modeling, solid geometry models, management of geometric data, development of geometry standards, and interactive and graphic procedures are discussed. The applications include aeronautical and aerospace structures design, fluid flow modeling, and gas turbine design.

  4. Teaching of Geometry in Bulgaria

    ERIC Educational Resources Information Center

    Bankov, Kiril

    2013-01-01

    Geometry plays an important role in the school mathematics curriculum all around the world. Teaching of geometry varies a lot (Hoyls, Foxman, & Kuchemann, 2001). Many countries revise the objectives, the content, and the approaches to the geometry in school. Studies of the processes show that there are not common trends of these changes…

  5. TBGG- INTERACTIVE ALGEBRAIC GRID GENERATION

    NASA Technical Reports Server (NTRS)

    Smith, R. E.

    1994-01-01

    TBGG, Two-Boundary Grid Generation, applies an interactive algebraic grid generation technique in two dimensions. The program incorporates mathematical equations that relate the computational domain to the physical domain. TBGG has application to a variety of problems using finite difference techniques, such as computational fluid dynamics. Examples include the creation of a C-type grid about an airfoil and a nozzle configuration in which no left or right boundaries are specified. The underlying two-boundary technique of grid generation is based on Hermite cubic interpolation between two fixed, nonintersecting boundaries. The boundaries are defined by two ordered sets of points, referred to as the top and bottom. Left and right side boundaries may also be specified, and call upon linear blending functions to conform interior interpolation to the side boundaries. Spacing between physical grid coordinates is determined as a function of boundary data and uniformly spaced computational coordinates. Control functions relating computational coordinates to parametric intermediate variables that affect the distance between grid points are embedded in the interpolation formulas. A versatile control function technique with smooth cubic spline functions is also presented. The TBGG program is written in FORTRAN 77. It works best in an interactive graphics environment where computational displays and user responses are quickly exchanged. The program has been implemented on a CDC Cyber 170 series computer using NOS 2.4 operating system, with a central memory requirement of 151,700 (octal) 60 bit words. TBGG requires a Tektronix 4015 terminal and the DI-3000 Graphics Library of Precision Visuals, Inc. TBGG was developed in 1986.

  6. Geometry of Quantum States

    NASA Astrophysics Data System (ADS)

    Bengtsson, Ingemar; Zyczkowski, Karol

    2006-05-01

    Quantum information theory is at the frontiers of physics, mathematics and information science, offering a variety of solutions that are impossible using classical theory. This book provides an introduction to the key concepts used in processing quantum information and reveals that quantum mechanics is a generalisation of classical probability theory. After a gentle introduction to the necessary mathematics the authors describe the geometry of quantum state spaces. Focusing on finite dimensional Hilbert spaces, they discuss the statistical distance measures and entropies used in quantum theory. The final part of the book is devoted to quantum entanglement - a non-intuitive phenomenon discovered by Schrödinger, which has become a key resource for quantum computation. This richly-illustrated book is useful to a broad audience of graduates and researchers interested in quantum information theory. Exercises follow each chapter, with hints and answers supplied. The first book to focus on the geometry of quantum states Stresses the similarities and differences between classical and quantum theory Uses a non-technical style and numerous figures to make the book accessible to non-specialists

  7. A process algebra model of QED

    NASA Astrophysics Data System (ADS)

    Sulis, William

    2016-03-01

    The process algebra approach to quantum mechanics posits a finite, discrete, determinate ontology of primitive events which are generated by processes (in the sense of Whitehead). In this ontology, primitive events serve as elements of an emergent space-time and of emergent fundamental particles and fields. Each process generates a set of primitive elements, using only local information, causally propagated as a discrete wave, forming a causal space termed a causal tapestry. Each causal tapestry forms a discrete and finite sampling of an emergent causal manifold (space-time) M and emergent wave function. Interactions between processes are described by a process algebra which possesses 8 commutative operations (sums and products) together with a non-commutative concatenation operator (transitions). The process algebra possesses a representation via nondeterministic combinatorial games. The process algebra connects to quantum mechanics through the set valued process and configuration space covering maps, which associate each causal tapestry with sets of wave functions over M. Probabilities emerge from interactions between processes. The process algebra model has been shown to reproduce many features of the theory of non-relativistic scalar particles to a high degree of accuracy, without paradox or divergences. This paper extends the approach to a semi-classical form of quantum electrodynamics.

  8. On the noncommutative and nonassociative geometry of octonionic space time, modified dispersion relations and grand unification

    NASA Astrophysics Data System (ADS)

    Castro, Carlos

    2007-07-01

    The octonionic geometry (gravity) developed long ago by Oliveira and Marques, J. Math. Phys. 26, 3131 (1985) is extended to noncommutative and nonassociative space time coordinates associated with octonionic-valued coordinates and momenta. The octonionic metric Gμν already encompasses the ordinary space time metric gμν, in addition to the Maxwell U(1) and SU(2) Yang-Mills fields such that it implements the Kaluza-Klein Grand unification program without introducing extra space time dimensions. The color group SU(3) is a subgroup of the exceptional G2 group which is the automorphism group of the octonion algebra. It is shown that the flux of the SU(2) Yang-Mills field strength Fμν through the area-momentum Σμν in the internal isospin space yields corrections O(1/MPlanck2) to the energy-momentum dispersion relations without violating Lorentz invariance as it occurs with Hopf algebraic deformations of the Poincare algebra. The known octonionic realizations of the Clifford Cl(8), Cl(4) algebras should permit the construction of octonionic string actions that should have a correspondence with ordinary string actions for strings moving in a curved Clifford-space target background associated with a Cl(3, 1) algebra.

  9. Topological string theory and enumerative geometry

    NASA Astrophysics Data System (ADS)

    Song, Yun S.

    2001-10-01

    In this thesis we investigate several problems which have their roots in both topological string theory and enumerative geometry. In the former case, underlying theories are topological field theories, whereas the latter case is concerned with intersection theories on moduli spaces. A permeating theme in this thesis is to examine the close interplay between these two complementary fields of study. The main problems addressed are as follows: In considering the Hurwitz enumeration problem of branched covers of compact connected Riemann surfaces, we completely solve the problem in the case of simple Hurwitz numbers. In addition, utilizing the connection between Hurwitz numbers and Hodge integrals, we derive a generating function for the latter on the moduli space overline Mg,2 of 2- pointed, genus- g Deligne-Mumford stable curves. We also investigate Givental's recent conjecture regarding semisimple Frobenius structures and Gromov- Witten invariants, both of which are closely related to topological field theories; we consider the case of a complex projective line P1 as a specific example and verify his conjecture at low genera. In the last chapter, we demonstrate that certain topological open string amplitudes can be computed via relative stable morphisms in the algebraic category.

  10. On Fusion Algebras and Modular Matrices

    NASA Astrophysics Data System (ADS)

    Gannon, T.; Walton, M. A.

    We consider the fusion algebras arising in e.g. Wess-Zumino-Witten conformal field theories, affine Kac-Moody algebras at positive integer level, and quantum groups at roots of unity. Using properties of the modular matrix S, we find small sets of primary fields (equivalently, sets of highest weights) which can be identified with the variables of a polynomial realization of the Ar fusion algebra at level k. We prove that for many choices of rank r and level k, the number of these variables is the minimum possible, and we conjecture that it is in fact minimal for most r and k. We also find new, systematic sources of zeros in the modular matrix S. In addition, we obtain a formula relating the entries of S at fixed points, to entries of S at smaller ranks and levels. Finally, we identify the number fields generated over the rationals by the entries of S, and by the fusion (Verlinde) eigenvalues.

  11. Optical systolic solutions of linear algebraic equations

    NASA Technical Reports Server (NTRS)

    Neuman, C. P.; Casasent, D.

    1984-01-01

    The philosophy and data encoding possible in systolic array optical processor (SAOP) were reviewed. The multitude of linear algebraic operations achievable on this architecture is examined. These operations include such linear algebraic algorithms as: matrix-decomposition, direct and indirect solutions, implicit and explicit methods for partial differential equations, eigenvalue and eigenvector calculations, and singular value decomposition. This architecture can be utilized to realize general techniques for solving matrix linear and nonlinear algebraic equations, least mean square error solutions, FIR filters, and nested-loop algorithms for control engineering applications. The data flow and pipelining of operations, design of parallel algorithms and flexible architectures, application of these architectures to computationally intensive physical problems, error source modeling of optical processors, and matching of the computational needs of practical engineering problems to the capabilities of optical processors are emphasized.

  12. An algebra of discrete event processes

    NASA Technical Reports Server (NTRS)

    Heymann, Michael; Meyer, George

    1991-01-01

    This report deals with an algebraic framework for modeling and control of discrete event processes. The report consists of two parts. The first part is introductory, and consists of a tutorial survey of the theory of concurrency in the spirit of Hoare's CSP, and an examination of the suitability of such an algebraic framework for dealing with various aspects of discrete event control. To this end a new concurrency operator is introduced and it is shown how the resulting framework can be applied. It is further shown that a suitable theory that deals with the new concurrency operator must be developed. In the second part of the report the formal algebra of discrete event control is developed. At the present time the second part of the report is still an incomplete and occasionally tentative working paper.

  13. Matrix Methods to Analytic Geometry.

    ERIC Educational Resources Information Center

    Bandy, C.

    1982-01-01

    The use of basis matrix methods to rotate axes is detailed. It is felt that persons who have need to rotate axes often will find that the matrix method saves considerable work. One drawback is that most students first learning to rotate axes will not yet have studied linear algebra. (MP)

  14. Classical geometries defined by exterior differential systems on higher frame bundles

    NASA Technical Reports Server (NTRS)

    Estabrook, Frank B.; Wahlquist, Hugo D.

    1989-01-01

    Exterior differential ideals are discussed, and sets of invariant generators presented, for Reimannian, conformal and projective geometries, and for specializations such as Ricci-flat, self-dual and Einstein-Maxwell theories. The Cartan characteristic integers are explicitly calculated, and involutory basis forms found, for each of these (specialized to four dimensions), exposing their algebraic structure and showing how they generate well-posed sets of partial differential equations.

  15. A new algebra core for the minimal form' problem

    SciTech Connect

    Purtill, M.R. . Center for Communications Research); Oliveira, J.S.; Cook, G.O. Jr. )

    1991-12-20

    The demands of large-scale algebraic computation have led to the development of many new algorithms for manipulating algebraic objects in computer algebra systems. For instance, parallel versions of many important algorithms have been discovered. Simultaneously, more effective symbolic representations of algebraic objects have been sought. Also, while some clever techniques have been found for improving the speed of the algebraic simplification process, little attention has been given to the issue of restructuring expressions, or transforming them into minimal forms.'' By minimal form,'' we mean that form of an expression that involves a minimum number of operations. In a companion paper, we introduce some new algorithms that are very effective at finding minimal forms of expressions. These algorithms require algebraic and combinatorial machinery that is not readily available in most algebra systems. In this paper we describe a new algebra core that begins to provide the necessary capabilities.

  16. Infinitesimal deformations of naturally graded filiform Leibniz algebras

    NASA Astrophysics Data System (ADS)

    Khudoyberdiyev, A. Kh.; Omirov, B. A.

    2014-12-01

    In the present paper we describe infinitesimal deformations of complex naturally graded filiform Leibniz algebras. It is known that any n-dimensional filiform Lie algebra can be obtained by a linear integrable deformation of the naturally graded algebra Fn3(0) . We establish that in the same way any n-dimensional filiform Leibniz algebra can be obtained by an infinitesimal deformation of the filiform Leibniz algebras Fn1,Fn2and Fn3(α) . Moreover, we describe the linear integrable deformations of the above-mentioned algebras with a fixed basis of HL2 in the set of all n-dimensional Leibniz algebras. Among these deformations one new rigid algebra has been found.

  17. Remedial Math: Its Effect on the Final Grade in Algebra.

    ERIC Educational Resources Information Center

    Head, L. Quinn; Lindsey, Jimmy D.

    1984-01-01

    The effectiveness of one remedial mathematics technique is examined. Results indicated that students who passed remedial math and then took college algebra had significantly higher final algebra grades than did undergraduates who failed remedial math. (MLW)

  18. Geometric Algebra Software for Teaching Complex Numbers, Vectors and Spinors.

    ERIC Educational Resources Information Center

    Lounesto, Pertti; And Others

    1990-01-01

    Presents a calculator-type computer program, CLICAL, in conjunction with complex number, vector, and other geometric algebra computations. Compares the CLICAL with other symbolic programs for algebra. (Author/YP)

  19. Rota-Baxter operators on Witt and Virasoro algebras

    NASA Astrophysics Data System (ADS)

    Gao, Xu; Liu, Ming; Bai, Chengming; Jing, Naihuan

    2016-10-01

    The homogeneous Rota-Baxter operators on the Witt and Virasoro algebras are classified. As applications, the induced solutions of the classical Yang-Baxter equation and the induced pre-Lie and PostLie algebra structures are obtained.

  20. Geometry from Gauge Theory

    SciTech Connect

    Correa, Diego H.; Silva, Guillermo A.

    2008-07-28

    We discuss how geometrical and topological aspects of certain (1/2)-BPS type IIB geometries are captured by their dual operators in N = 4 Super Yang-Mills theory. The type IIB solutions are characterized by arbitrary droplet pictures in a plane and we consider, in particular, axially symmetric droplets. The 1-loop anomalous dimension of the dual gauge theory operators probed with single traces is described by some bosonic lattice Hamiltonians. These Hamiltonians are shown to encode the topology of the droplets. In appropriate BMN limits, the Hamiltonians spectrum reproduces the spectrum of near-BPS string excitations propagating along each of the individual edges of the droplet. We also study semiclassical regimes for the Hamiltonians. For droplets having disconnected constituents, the Hamiltonian admits different complimentary semiclassical descriptions, each one replicating the semiclassical description for closed strings extending in each of the constituents.

  1. Critique of information geometry

    SciTech Connect

    Skilling, John

    2014-12-05

    As applied to probability, information geometry fails because probability distributions do not form a metric space. Probability theory rests on a compelling foundation of elementary symmetries, which also support information (aka minus entropy, Kullback-Leibler) H(p;q) as the unique measure of divergence from source probability distribution q to destination p. Because the only compatible connective H is from≠to asymmetric, H(p;q)≠H(q;p), there can be no compatible geometrical distance (which would necessarily be from=to symmetric). Hence there is no distance relationship compatible with the structure of probability theory. Metrics g and densities sqrt(det(g)) interpreted as prior probabilities follow from the definition of distance, and must fail likewise. Various metrics and corresponding priors have been proposed, Fisher's being the most popular, but all must behave unacceptably. This is illustrated with simple counter-examples.

  2. Optically defined mechanical geometry

    NASA Astrophysics Data System (ADS)

    Barasheed, Abeer Z.; Müller, Tina; Sankey, Jack C.

    2016-05-01

    In the field of optomechanics, radiation forces have provided a particularly high level of control over the frequency and dissipation of mechanical elements. Here we propose a class of optomechanical systems in which light exerts a similarly profound influence over two other fundamental parameters: geometry and mass. By applying an optical trap to one lattice site of an extended phononic crystal, we show it is possible to create a tunable, localized mechanical mode. Owing to light's simultaneous and constructive coupling with the structure's continuum of modes, we estimate that a trap power at the level of a single intracavity photon should be capable of producing a significant effect within a realistic, chip-scale device.

  3. Magnetism in curved geometries

    NASA Astrophysics Data System (ADS)

    Streubel, Robert; Fischer, Peter; Kronast, Florian; Kravchuk, Volodymyr P.; Sheka, Denis D.; Gaididei, Yuri; Schmidt, Oliver G.; Makarov, Denys

    2016-09-01

    Extending planar two-dimensional structures into the three-dimensional space has become a general trend in multiple disciplines, including electronics, photonics, plasmonics and magnetics. This approach provides means to modify conventional or to launch novel functionalities by tailoring the geometry of an object, e.g. its local curvature. In a generic electronic system, curvature results in the appearance of scalar and vector geometric potentials inducing anisotropic and chiral effects. In the specific case of magnetism, even in the simplest case of a curved anisotropic Heisenberg magnet, the curvilinear geometry manifests two exchange-driven interactions, namely effective anisotropy and antisymmetric exchange, i.e. Dzyaloshinskii–Moriya-like interaction. As a consequence, a family of novel curvature-driven effects emerges, which includes magnetochiral effects and topologically induced magnetization patterning, resulting in theoretically predicted unlimited domain wall velocities, chirality symmetry breaking and Cherenkov-like effects for magnons. The broad range of altered physical properties makes these curved architectures appealing in view of fundamental research on e.g. skyrmionic systems, magnonic crystals or exotic spin configurations. In addition to these rich physics, the application potential of three-dimensionally shaped objects is currently being explored as magnetic field sensorics for magnetofluidic applications, spin-wave filters, advanced magneto-encephalography devices for diagnosis of epilepsy or for energy-efficient racetrack memory devices. These recent developments ranging from theoretical predictions over fabrication of three-dimensionally curved magnetic thin films, hollow cylinders or wires, to their characterization using integral means as well as the development of advanced tomography approaches are in the focus of this review.

  4. Magnetism in curved geometries

    NASA Astrophysics Data System (ADS)

    Streubel, Robert; Fischer, Peter; Kronast, Florian; Kravchuk, Volodymyr P.; Sheka, Denis D.; Gaididei, Yuri; Schmidt, Oliver G.; Makarov, Denys

    2016-09-01

    Extending planar two-dimensional structures into the three-dimensional space has become a general trend in multiple disciplines, including electronics, photonics, plasmonics and magnetics. This approach provides means to modify conventional or to launch novel functionalities by tailoring the geometry of an object, e.g. its local curvature. In a generic electronic system, curvature results in the appearance of scalar and vector geometric potentials inducing anisotropic and chiral effects. In the specific case of magnetism, even in the simplest case of a curved anisotropic Heisenberg magnet, the curvilinear geometry manifests two exchange-driven interactions, namely effective anisotropy and antisymmetric exchange, i.e. Dzyaloshinskii-Moriya-like interaction. As a consequence, a family of novel curvature-driven effects emerges, which includes magnetochiral effects and topologically induced magnetization patterning, resulting in theoretically predicted unlimited domain wall velocities, chirality symmetry breaking and Cherenkov-like effects for magnons. The broad range of altered physical properties makes these curved architectures appealing in view of fundamental research on e.g. skyrmionic systems, magnonic crystals or exotic spin configurations. In addition to these rich physics, the application potential of three-dimensionally shaped objects is currently being explored as magnetic field sensorics for magnetofluidic applications, spin-wave filters, advanced magneto-encephalography devices for diagnosis of epilepsy or for energy-efficient racetrack memory devices. These recent developments ranging from theoretical predictions over fabrication of three-dimensionally curved magnetic thin films, hollow cylinders or wires, to their characterization using integral means as well as the development of advanced tomography approaches are in the focus of this review.

  5. Shapes and stability of algebraic nuclear models

    NASA Technical Reports Server (NTRS)

    Lopez-Moreno, Enrique; Castanos, Octavio

    1995-01-01

    A generalization of the procedure to study shapes and stability of algebraic nuclear models introduced by Gilmore is presented. One calculates the expectation value of the Hamiltonian with respect to the coherent states of the algebraic structure of the system. Then equilibrium configurations of the resulting energy surface, which depends in general on state variables and a set of parameters, are classified through the Catastrophe theory. For one- and two-body interactions in the Hamiltonian of the interacting Boson model-1, the critical points are organized through the Cusp catastrophe. As an example, we apply this Separatrix to describe the energy surfaces associated to the Rutenium and Samarium isotopes.

  6. Constraint algebra for interacting quantum systems

    NASA Astrophysics Data System (ADS)

    Fubini, S.; Roncadelli, M.

    1988-04-01

    We consider relativistic constrained systems interacting with external fields. We provide physical arguments to support the idea that the quantum constraint algebra should be the same as in the free quantum case. For systems with ordering ambiguities this principle is essential to obtain a unique quantization. This is shown explicitly in the case of a relativistic spinning particle, where our assumption about the constraint algebra plus invariance under general coordinate transformations leads to a unique S-matrix. On leave from Dipartimento di Fisica Nucleare e Teorica, Università di Pavia and INFN, I-27100 Pavia, Italy.

  7. SLAPP: A systolic linear algebra parallel processor

    SciTech Connect

    Drake, B.L.; Luk, F.T.; Speiser, J.M.; Symanski, J.J.

    1987-07-01

    Systolic array computer architectures provide a means for fast computation of the linear algebra algorithms that form the building blocks of many signal-processing algorithms, facilitating their real-time computation. For applications to signal processing, the systolic array operates on matrices, an inherently parallel view of the data, using numerical linear algebra algorithms that have been suitably parallelized to efficiently utilize the available hardware. This article describes work currently underway at the Naval Ocean Systems Center, San Diego, California, to build a two-dimensional systolic array, SLAPP, demonstrating efficient and modular parallelization of key matric computations for real-time signal- and image-processing problems.

  8. Nijenhuis Operators on n-Lie Algebras

    NASA Astrophysics Data System (ADS)

    Liu, Jie-Feng; Sheng, Yun-He; Zhou, Yan-Qiu; Bai, Cheng-Ming

    2016-06-01

    In this paper, we study (n - 1)-order deformations of an n-Lie algebra and introduce the notion of a Nijenhuis operator on an n-Lie algebra, which could give rise to trivial deformations. We prove that a polynomial of a Nijenhuis operator is still a Nijenhuis operator. Finally, we give various constructions of Nijenhuis operators and some examples. Supported by National Natural Science Foundation of China under Grant Nos. 11471139, 11271202, 11221091, 11425104, Specialized Research Fund for the Doctoral Program of Higher Education under Grant No. 20120031110022, and National Natural Science Foundation of Jilin Province under Grant No. 20140520054JH

  9. Bohr model as an algebraic collective model

    SciTech Connect

    Rowe, D. J.; Welsh, T. A.; Caprio, M. A.

    2009-05-15

    Developments and applications are presented of an algebraic version of Bohr's collective model. Illustrative examples show that fully converged calculations can be performed quickly and easily for a large range of Hamiltonians. As a result, the Bohr model becomes an effective tool in the analysis of experimental data. The examples are chosen both to confirm the reliability of the algebraic collective model and to show the diversity of results that can be obtained by its use. The focus of the paper is to facilitate identification of the limitations of the Bohr model with a view to developing more realistic, computationally tractable models.

  10. Algebraic surface design and finite element meshes

    NASA Technical Reports Server (NTRS)

    Bajaj, Chandrajit L.

    1992-01-01

    Some of the techniques are summarized which are used in constructing C sup 0 and C sup 1 continuous meshes of low degree, implicitly defined, algebraic surface patches in three dimensional space. These meshes of low degree algebraic surface patches are used to construct accurate computer models of physical objects. These meshes are also used in the finite element simulation of physical phenomena (e.g., heat dissipation, stress/strain distributions, fluid flow characteristics) required in the computer prototyping of both the manufacturability and functionality of the geometric design.

  11. Nijenhuis Operators on n-Lie Algebras

    NASA Astrophysics Data System (ADS)

    Liu, Jie-Feng; Sheng, Yun-He; Zhou, Yan-Qiu; Bai, Cheng-Ming

    2016-06-01

    In this paper, we study (n ‑ 1)-order deformations of an n-Lie algebra and introduce the notion of a Nijenhuis operator on an n-Lie algebra, which could give rise to trivial deformations. We prove that a polynomial of a Nijenhuis operator is still a Nijenhuis operator. Finally, we give various constructions of Nijenhuis operators and some examples. Supported by National Natural Science Foundation of China under Grant Nos. 11471139, 11271202, 11221091, 11425104, Specialized Research Fund for the Doctoral Program of Higher Education under Grant No. 20120031110022, and National Natural Science Foundation of Jilin Province under Grant No. 20140520054JH

  12. Investigating the Relationship between High School Technology Education and Test Scores for Algebra 1 and Geometry

    ERIC Educational Resources Information Center

    Dyer, Richard R.; Reed, Philip A.; Berry, Robert Q.

    2006-01-01

    The standards-based reform movement in education that began in the 1980s has evolved. In the 1990s, the focus was on producing subject-area content standards and modifying instruction. Today, the focus has shifted to assessment, and for technology education, demonstrating the impact on children and the efficacy of the discipline within general…

  13. Computational algebraic geometry for statistical modeling FY09Q2 progress.

    SciTech Connect

    Thompson, David C.; Rojas, Joseph Maurice; Pebay, Philippe Pierre

    2009-03-01

    This is a progress report on polynomial system solving for statistical modeling. This is a progress report on polynomial system solving for statistical modeling. This quarter we have developed our first model of shock response data and an algorithm for identifying the chamber cone containing a polynomial system in n variables with n+k terms within polynomial time - a significant improvement over previous algorithms, all having exponential worst-case complexity. We have implemented and verified the chamber cone algorithm for n+3 and are working to extend the implementation to handle arbitrary k. Later sections of this report explain chamber cones in more detail; the next section provides an overview of the project and how the current progress fits into it.

  14. Can You Fathom This? Connecting Data Analysis, Algebra, and Geometry with Probability Simulation

    ERIC Educational Resources Information Center

    Edwards, Michael Todd; Phelps, Steve

    2008-01-01

    Data analysis plays a prominent role in various facets of modern life: Schools evaluate and revise programs on the basis of test scores; policymakers make decisions on the basis of information gleaned from polling data; supermarkets stock shelves on the basis of data collected at checkout lanes. Data analysis provides teachers with new tools and…

  15. Student and Teacher Perceptions of Teacher Oral Communication Behavior in Algebra and Geometry Classrooms

    ERIC Educational Resources Information Center

    Assuah, Charles K.

    2010-01-01

    Oral communication in mathematics classroom plays an essential role in the mathematics learning process, because it allows students to share ideas, refine their thoughts, reflect on their methods, and clarify their understanding (NCTM, 2000). Knowledge about teacher oral communication behaviors allows researchers and policy makers to identify and…

  16. Evolution of a Teaching Approach for Beginning Algebra

    ERIC Educational Resources Information Center

    Banerjee, Rakhi; Subramaniam, K.

    2012-01-01

    The article reports aspects of the evolution of a teaching approach over repeated trials for beginning symbolic algebra. The teaching approach emphasized the structural similarity between arithmetic and algebraic expressions and aimed at supporting students in making a transition from arithmetic to beginning algebra. The study was conducted with…

  17. Abstract Numeric Relations and the Visual Structure of Algebra

    ERIC Educational Resources Information Center

    Landy, David; Brookes, David; Smout, Ryan

    2014-01-01

    Formal algebras are among the most powerful and general mechanisms for expressing quantitative relational statements; yet, even university engineering students, who are relatively proficient with algebraic manipulation, struggle with and often fail to correctly deploy basic aspects of algebraic notation (Clement, 1982). In the cognitive tradition,…

  18. The Algebra Initiative Colloquium. Volume 2: Working Group Papers.

    ERIC Educational Resources Information Center

    Lacampagne, Carole B., Ed.; And Others

    This volume presents recommendations from four working groups at a conference on reform in algebra held in Leesburg, Virginia, December 9-12, 1993. Working Group 1: Creating an Appropriate Algebra Experience for All Grades K-12 Students produced the following papers: (1) "Report" (A. H. Schoenfeld); (2) "Five Questions About Algebra Reform (and a…

  19. Should College Algebra be a Prerequisite for Taking Psychology Statistics?

    ERIC Educational Resources Information Center

    Sibulkin, Amy E.; Butler, J. S.

    2008-01-01

    In order to consider whether a course in college algebra should be a prerequisite for taking psychology statistics, we recorded students' grades in elementary psychology statistics and in college algebra at a 4-year university. Students who earned credit in algebra prior to enrolling in statistics for the first time had a significantly higher mean…

  20. Static friction, differential algebraic systems and numerical stability

    NASA Astrophysics Data System (ADS)

    Chen, Jian; Schinner, Alexander; Matuttis, Hans-Georg

    We show how Differential Algebraic Systems (Ordinary Differential Equations with algebraic constraints) in mechanics are affected by stability issues and we implement Lubich's projection method to reduce the error to practically zero. Then, we explain how the "numerically exact" implementation for static friction by Differential Algebraic Systems can be stabilized. We conclude by comparing the corresponding steps in the "Contact mechanics" introduced by Moreau.

  1. Supersymmetry algebra cohomology. I. Definition and general structure

    SciTech Connect

    Brandt, Friedemann

    2010-12-15

    This paper concerns standard supersymmetry algebras in diverse dimensions, involving bosonic translational generators and fermionic supersymmetry generators. A cohomology related to these supersymmetry algebras, termed supersymmetry algebra cohomology, and corresponding 'primitive elements' are defined by means of a BRST (Becchi-Rouet-Stora-Tyutin)-type coboundary operator. A method to systematically compute this cohomology is outlined and illustrated by simple examples.

  2. Supersymmetry algebra cohomology. I. Definition and general structure

    NASA Astrophysics Data System (ADS)

    Brandt, Friedemann

    2010-12-01

    This paper concerns standard supersymmetry algebras in diverse dimensions, involving bosonic translational generators and fermionic supersymmetry generators. A cohomology related to these supersymmetry algebras, termed supersymmetry algebra cohomology, and corresponding "primitive elements" are defined by means of a BRST (Becchi-Rouet-Stora-Tyutin)-type coboundary operator. A method to systematically compute this cohomology is outlined and illustrated by simple examples.

  3. Placement Tools for Developmental Mathematics and Intermediate Algebra

    ERIC Educational Resources Information Center

    Donovan, William J.; Wheland, Ethel R.

    2008-01-01

    This paper investigates the placement of students at an urban Ohio college campus in developmental mathematics and Intermediate Algebra courses. We have found that the ACT Mathematics and COMPASS Domain I (Algebra) Placement scores both correlate well with success in the Intermediate Algebra course and that, although females have lower placement…

  4. Effectiveness of Cognitive Tutor Algebra I at Scale

    ERIC Educational Resources Information Center

    Pane, John F.; Griffin, Beth Ann; McCaffrey, Daniel F.; Karam, Rita

    2014-01-01

    This article examines the effectiveness of a technology-based algebra curriculum in a wide variety of middle schools and high schools in seven states. Participating schools were matched into similar pairs and randomly assigned to either continue with the current algebra curriculum for 2 years or to adopt Cognitive Tutor Algebra I (CTAI), which…

  5. The Algebra Initiative Colloquium. Volume 1: Plenary and Reactor Papers.

    ERIC Educational Resources Information Center

    Lacampagne, Carole B., Ed.; And Others

    This volume contains the plenary or reactor papers presented at a conference on reform in algebra held in Leesburg, Virginia, December 9-12, 1993. Papers included are: (1) "Introduction" (C. B. Lacampagne); (2) "Summary" (C. B. Lacampagne); (3) "Recommendations" (C. B. Lacampagne); (4) "The Development of Algebra and Algebra Education" (V. J.…

  6. The Ideas of Algebra, K-12. 1988 Yearbook.

    ERIC Educational Resources Information Center

    Coxford, Arthur F., Ed.; Shulte, Albert P., Ed.

    This volume is organized into six parts. Chapters 1-5, which make up Part 1, first discuss the forces impinging on algebra in the curriculum and suggest possible directions for change. Chapters 6-8, Part 2, concentrate on concepts and teaching possibilities available prior to the formal introduction of algebra. The notion that algebraic ideas are…

  7. Assessing Mathematics Automatically Using Computer Algebra and the Internet

    ERIC Educational Resources Information Center

    Sangwin, Chris

    2004-01-01

    This paper reports some recent developments in mathematical computer-aided assessment which employs computer algebra to evaluate students' work using the Internet. Technical and educational issues raised by this use of computer algebra are addressed. Working examples from core calculus and algebra which have been used with first year university…

  8. Higher spin approaches to quantum field theory and (psuedo)-Riemannian geometries

    NASA Astrophysics Data System (ADS)

    Hallowell, Karl Evan

    In this thesis, we study a number of higher spin quantum field theories and some of their algebraic and geometric consequences. These theories apply mostly either over constant curvature or more generally symmetric pseudo-Riemannian manifolds. The first part of this dissertation covers a superalgebra coming from a family of particle models over symmetric spaces. These theories are novel in that the symmetries of the (super)algebra osp( Q|2p) are larger and more elaborate than traditional symmetries. We construct useful (super)algebras related to and generalizing old work by Lichnerowicz and describe their role in developing the geometry of massless models with osp(Q|2 p) symmetry. The result is two practical applications of these (super)algebras: (1) a lunch more concise description of a family of higher spin quantum field theories; and (2) an interesting algebraic probe of underlying background geometries. We also consider massive models over constant curvature spaces. We use a radial dimensional reduction process which converts massless models into massive ones over a lower dimensional space. In our case, we take from the family of theories above the particular free, massless model over flat space associated with sp(2, R ) and derive a massive model. In the process, we develop a novel associative algebra, which is a deformation of the original differential operator algebra associated with the sp(2, R ) model. This algebra is interesting in its own right since its operators realize the representation structure of the sp(2, R ) group. The massive model also has implications for a sequence of unusual, "partially massless" theories. The derivation illuminates how reduced degrees of freedom become manifest in these particular models. Finally, we study a Yang-Mills model using an on-shell Poincare Yang-Mills twist of the Maxwell complex along with a non-minimal coupling. This is a special, higher spin case of a quantum field theory called a Yang-Mills detour complex

  9. Planetary Image Geometry Library

    NASA Technical Reports Server (NTRS)

    Deen, Robert C.; Pariser, Oleg

    2010-01-01

    The Planetary Image Geometry (PIG) library is a multi-mission library used for projecting images (EDRs, or Experiment Data Records) and managing their geometry for in-situ missions. A collection of models describes cameras and their articulation, allowing application programs such as mosaickers, terrain generators, and pointing correction tools to be written in a multi-mission manner, without any knowledge of parameters specific to the supported missions. Camera model objects allow transformation of image coordinates to and from view vectors in XYZ space. Pointing models, specific to each mission, describe how to orient the camera models based on telemetry or other information. Surface models describe the surface in general terms. Coordinate system objects manage the various coordinate systems involved in most missions. File objects manage access to metadata (labels, including telemetry information) in the input EDRs and RDRs (Reduced Data Records). Label models manage metadata information in output files. Site objects keep track of different locations where the spacecraft might be at a given time. Radiometry models allow correction of radiometry for an image. Mission objects contain basic mission parameters. Pointing adjustment ("nav") files allow pointing to be corrected. The object-oriented structure (C++) makes it easy to subclass just the pieces of the library that are truly mission-specific. Typically, this involves just the pointing model and coordinate systems, and parts of the file model. Once the library was developed (initially for Mars Polar Lander, MPL), adding new missions ranged from two days to a few months, resulting in significant cost savings as compared to rewriting all the application programs for each mission. Currently supported missions include Mars Pathfinder (MPF), MPL, Mars Exploration Rover (MER), Phoenix, and Mars Science Lab (MSL). Applications based on this library create the majority of operational image RDRs for those missions. A

  10. Solving Our Algebra Problem: Getting All Students through Algebra I to Improve Graduation Rates

    ERIC Educational Resources Information Center

    Schachter, Ron

    2013-01-01

    graduation as well as admission to most colleges. But taking algebra also can turn into a pathway for failure, from which some students never recover. In 2010, a national U.S. Department of Education study…

  11. Algebra for All: The Effect of Algebra Coursework and Classroom Peer Academic Composition on Low-Achieving Students

    ERIC Educational Resources Information Center

    Nomi, Takako; Raudenbush, Stephen W.

    2014-01-01

    Algebra is often considered as a gateway for later achievement. A recent report by the Mathematics Advisory Panel (2008) underscores the importance of improving algebra learning in secondary school. Today, a growing number of states and districts require algebra for all students in ninth grade or earlier. Chicago is at the forefront of this…

  12. Algebraic Reasoning in the Middle Grades: A View of Student Strategies in Pictorial and Algebraic System of Equations

    ERIC Educational Resources Information Center

    Falcon, Raymond

    2009-01-01

    Teachers use action research in order to improve their teaching and student learning. This action research will analyze students' algebraic reasoning in finding values of variables in systems of equations pictorially and algebraically. This research will look at students solving linear systems of equations without knowing the algebraic algorithms.…

  13. Using Technology to Balance Algebraic Explorations

    ERIC Educational Resources Information Center

    Kurz, Terri L.

    2013-01-01

    In 2000, the "National Council of Teachers of Mathematics" recommended that Algebra Standards, "instructional programs from prekindergarten through grade 12 should enable all students to use mathematical models to represent and understand quantitative relationships." In this article, the authors suggest the "Balance"…

  14. Stability of Linear Equations--Algebraic Approach

    ERIC Educational Resources Information Center

    Cherif, Chokri; Goldstein, Avraham; Prado, Lucio M. G.

    2012-01-01

    This article could be of interest to teachers of applied mathematics as well as to people who are interested in applications of linear algebra. We give a comprehensive study of linear systems from an application point of view. Specifically, we give an overview of linear systems and problems that can occur with the computed solution when the…

  15. Constructive Learning in Undergraduate Linear Algebra

    ERIC Educational Resources Information Center

    Chandler, Farrah Jackson; Taylor, Dewey T.

    2008-01-01

    In this article we describe a project that we used in our undergraduate linear algebra courses to help our students successfully master fundamental concepts and definitions and generate interest in the course. We describe our philosophy and discuss the projects overall success.

  16. Modules as Learning Tools in Linear Algebra

    ERIC Educational Resources Information Center

    Cooley, Laurel; Vidakovic, Draga; Martin, William O.; Dexter, Scott; Suzuki, Jeff; Loch, Sergio

    2014-01-01

    This paper reports on the experience of STEM and mathematics faculty at four different institutions working collaboratively to integrate learning theory with curriculum development in a core undergraduate linear algebra context. The faculty formed a Professional Learning Community (PLC) with a focus on learning theories in mathematics and…

  17. Noise limitations in optical linear algebra processors.

    PubMed

    Batsell, S G; Jong, T L; Walkup, J F; Krile, T F

    1990-05-10

    A general statistical noise model is presented for optical linear algebra processors. A statistical analysis which includes device noise, the multiplication process, and the addition operation is undertaken. We focus on those processes which are architecturally independent. Finally, experimental results which verify the analytical predictions are also presented.

  18. A Microcomputer Lab for Algebra & Calculus.

    ERIC Educational Resources Information Center

    Avery, Chris; And Others

    An overview is provided of De Anza College's use of computerized instruction in its mathematics courses. After reviewing the ways in which computer technology is changing math instruction, the paper looks at the use of computers in several course sequences. The instructional model for the algebra sequence is based on a large group format of…

  19. Representable states on quasilocal quasi *-algebras

    SciTech Connect

    Bagarello, F.; Trapani, C.; Triolo, S.

    2011-01-15

    Continuing a previous analysis originally motivated by physics, we consider representable states on quasilocal quasi *-algebras, starting with examining the possibility for a compatible family of local states to give rise to a global state. Some properties of local modifications of representable states and some aspects of their asymptotic behavior are also considered.

  20. Applications of Maple To Algebraic Cryptography.

    ERIC Educational Resources Information Center

    Sigmon, Neil P.

    1997-01-01

    Demonstrates the use of technology to enhance the appreciation of applications involving abstract algebra. The symbolic manipulator Maple can perform computations required for a linear cryptosystem. One major benefit of this process is that students can encipher and decipher messages using a linear cryptosystem without becoming confused and…

  1. I Teach Economics, Not Algebra and Calculus

    ERIC Educational Resources Information Center

    Hey, John D.

    2005-01-01

    Most people learn to drive without knowing how the engine works. In a similar vein, the author believes that students can learn economics without knowing the algebra and calculus underlying the results. If instructors follow the philosophy of other economics courses in using graphs to illustrate the results, and draw the graphs accurately, then…

  2. Remedial Math and College Algebra Grades.

    ERIC Educational Resources Information Center

    Head, L. Quinn

    This investigation tried to determine if a statistically significant relationship exists between different sequences of enrollment in remedial mathematics and grades obtained in college algebra classes at Jacksonville State University. Groups consisting of five different enrollment sequences in mathematics were studied. The data collected supports…

  3. On a Equation in Finite Algebraically Structures

    ERIC Educational Resources Information Center

    Valcan, Dumitru

    2013-01-01

    Solving equations in finite algebraically structures (semigroups with identity, groups, rings or fields) many times is not easy. Even the professionals can have trouble in such cases. Therefore, in this paper we proposed to solve in the various finite groups or fields, a binomial equation of the form (1). We specify that this equation has been…

  4. Hypercontractivity in finite-dimensional matrix algebras

    SciTech Connect

    Junge, Marius; Palazuelos, Carlos

    2015-02-15

    We obtain hypercontractivity estimates for a large class of semigroups defined on finite-dimensional matrix algebras M{sub n}. These semigroups arise from Poisson-like length functions ψ on ℤ{sub n} × ℤ{sub n} and provide new hypercontractive families of quantum channels when ψ is conditionally negative. We also study the optimality of our estimates.

  5. A Linear Algebra Measure of Cluster Quality.

    ERIC Educational Resources Information Center

    Mather, Laura A.

    2000-01-01

    Discussion of models for information retrieval focuses on an application of linear algebra to text clustering, namely, a metric for measuring cluster quality based on the theory that cluster quality is proportional to the number of terms that are disjoint across the clusters. Explains term-document matrices and clustering algorithms. (Author/LRW)

  6. The geometric semantics of algebraic quantum mechanics.

    PubMed

    Cruz Morales, John Alexander; Zilber, Boris

    2015-08-01

    In this paper, we will present an ongoing project that aims to use model theory as a suitable mathematical setting for studying the formalism of quantum mechanics. We argue that this approach provides a geometric semantics for such a formalism by means of establishing a (non-commutative) duality between certain algebraic and geometric objects.

  7. Fundamental Theorems of Algebra for the Perplexes

    ERIC Educational Resources Information Center

    Poodiak, Robert; LeClair, Kevin

    2009-01-01

    The fundamental theorem of algebra for the complex numbers states that a polynomial of degree n has n roots, counting multiplicity. This paper explores the "perplex number system" (also called the "hyperbolic number system" and the "spacetime number system") In this system (which has extra roots of +1 besides the usual [plus or minus]1 of the…

  8. Proof in Algebra: Reasoning beyond Examples

    ERIC Educational Resources Information Center

    Otten, Samuel; Herbel-Eisenmann, Beth A.; Males, Lorraine M.

    2010-01-01

    The purpose of this article is to provide an image of what proof could look like in beginning algebra, a course that nearly every secondary school student encounters. The authors present an actual classroom vignette in which a rich opportunity for student reasoning arose. After analyzing the proof schemes at play, the authors provide a…

  9. Titration Calculations with Computer Algebra Software

    ERIC Educational Resources Information Center

    Lachance, Russ; Biaglow, Andrew

    2012-01-01

    This article examines the symbolic algebraic solution of the titration equations for a diprotic acid, as obtained using "Mathematica," "Maple," and "Mathcad." The equilibrium and conservation equations are solved symbolically by the programs to eliminate the approximations that normally would be performed by the student. Of the three programs,…

  10. Window of Opportunity? Adolescence, Music, and Algebra

    ERIC Educational Resources Information Center

    Helmrich, Barbara H.

    2010-01-01

    Research has suggested that musicians process music in the same cortical regions that adolescents process algebra. An early adolescence synaptogenesis might present a window of opportunity during middle school for music to create and strengthen enduring neural connections in those regions. Six school districts across Maryland provided scores from…

  11. Private quantum subsystems and quasiorthogonal operator algebras

    NASA Astrophysics Data System (ADS)

    Levick, Jeremy; Jochym-O'Connor, Tomas; Kribs, David W.; Laflamme, Raymond; Pereira, Rajesh

    2016-03-01

    We generalize a recently discovered example of a private quantum subsystem to find private subsystems for Abelian subgroups of the n-qubit Pauli group, which exist in the absence of private subspaces. In doing so, we also connect these quantum privacy investigations with the theory of quasiorthogonal operator algebras through the use of tools from group theory and operator theory.

  12. Expansion of real numbers by algebraic numbers

    NASA Astrophysics Data System (ADS)

    Hajime, Kaneko

    2008-01-01

    In this paper we represent the fractional part of ξαn, where ξ is a nonzero real number and α is an algebraic number. By using this representation, we give new lower bounds for the distance from ξαn to the nearest integer.

  13. Invariant algebraic surfaces for a virus dynamics

    NASA Astrophysics Data System (ADS)

    Valls, Claudia

    2015-08-01

    In this paper, we provide a complete classification of the invariant algebraic surfaces and of the rational first integrals for a well-known virus system. In the proofs, we use the weight-homogeneous polynomials and the method of characteristic curves for solving linear partial differential equations.

  14. A Photographic Assignment for Abstract Algebra

    ERIC Educational Resources Information Center

    Warrington, Gregory S.

    2009-01-01

    We describe a simple photographic assignment appropriate for an abstract algebra (or other) course. Students take digital pictures around campus of various examples of symmetry. They then classify these pictures according to which of the 17 plane symmetry groups they belong. (Contains 2 figures.)

  15. Hungry for Early Spatial and Algebraic Reasoning

    ERIC Educational Resources Information Center

    Cross, Dionne I.; Adefope, Olufunke; Lee, Mi Yeon; Perez, Arnulfo

    2012-01-01

    Tasks that develop spatial and algebraic reasoning are crucial for learning and applying advanced mathematical ideas. In this article, the authors describe how two early childhood teachers used stories as the basis for a unit that supports spatial reasoning in kindergartners and first graders. Having mathematical experiences that go beyond…

  16. Lie algebras and linear differential equations.

    NASA Technical Reports Server (NTRS)

    Brockett, R. W.; Rahimi, A.

    1972-01-01

    Certain symmetry properties possessed by the solutions of linear differential equations are examined. For this purpose, some basic ideas from the theory of finite dimensional linear systems are used together with the work of Wei and Norman on the use of Lie algebraic methods in differential equation theory.

  17. Generalizing: The Core of Algebraic Thinking

    ERIC Educational Resources Information Center

    Kinach, Barbara M.

    2014-01-01

    Generalizing--along with conjecturing, representing, justifying, and refuting--are forms of mathematical reasoning important in all branches of mathematics (Lannin, Ellis, and Elliott 2011). Increasingly, however, generalizing is recognized as the essence of thinking in algebra (Mason, Graham, and Johnston-Wilder 2010; Kaput, Carraher, and Blanton…

  18. Modern Geometric Algebra: A (Very Incomplete!) Survey

    ERIC Educational Resources Information Center

    Suzuki, Jeff

    2009-01-01

    Geometric algebra is based on two simple ideas. First, the area of a rectangle is equal to the product of the lengths of its sides. Second, if a figure is broken apart into several pieces, the sum of the areas of the pieces equals the area of the original figure. Remarkably, these two ideas provide an elegant way to introduce, connect, and…

  19. A Linear Algebraic Approach to Teaching Interpolation

    ERIC Educational Resources Information Center

    Tassa, Tamir

    2007-01-01

    A novel approach for teaching interpolation in the introductory course in numerical analysis is presented. The interpolation problem is viewed as a problem in linear algebra, whence the various forms of interpolating polynomial are seen as different choices of a basis to the subspace of polynomials of the corresponding degree. This approach…

  20. Euler and the Fundamental Theorem of Algebra.

    ERIC Educational Resources Information Center

    Duham, William

    1991-01-01

    The complexity of the proof of the Fundamental Theorem of Algebra makes it inaccessible to lower level students. Described are more understandable attempts of proving the theorem and a historical account of Euler's efforts that relates the progression of the mathematical process used and indicates some of the pitfalls encountered. (MDH)