Publication ... of the Mathematics Research Center, United States Army, the University of Wisconsin.

Published: New York : Wiley, 1964-1968; New York : Academic Press, 1969-1970.

Direct-search penalty/barrier methods

In Nonlinear Optimization Penalty and Barrier Methods are normally used to solve Constrained Problems. There are several Penalty/Barrier Methods and they are used in several areas from Engineering to Economy, through Biology, Chemistry, Physics among others. In these areas it often appears Optimization Problems in which the involved functions (objective and constraints) are non-smooth and/or their derivatives are not know. In this work some Penalty/Barrier functions are tested and compared, using in the internal process, Derivative-free, namely Direct Search, methods. This work is a part of a bigger project involving the development of an Application Programming Interface, that implements several Optimization Methods, to be used in applications that need to solve constrained and/or unconstrained Nonlinear Optimization Problems. Besides the use of it in applied mathematics research it is also to be used in engineering software packages.

Proceedings of JAC 2010. Journ��es Automates Cellulaires

The second Symposium on Cellular Automata ���Journ��ees Automates Cellulaires��� (JAC 2010) took place in Turku, Finland, on December 15-17, 2010. The first two conference days were held in the Educarium building of the University of Turku, while the talks of the third day were given onboard passenger ferry boats in the beautiful Turku archipelago, along the route Turku���Mariehamn���Turku. The conference was organized by FUNDIM, the Fundamentals of Computing and Discrete Mathematics research center at the mathematics department of the University of Turku. The program of the conference included 17 submitted papers that were selected by the international program committee, based on three peer reviews of each paper. These papers form the core of these proceedings. I want to thank the members of the program committee and the external referees for the excellent work that have done in choosing the papers to be presented in the conference. In addition to the submitted papers, the program of JAC 2010 included four distinguished invited speakers: Michel Coornaert (Universit��e de Strasbourg, France), Bruno Durand (Universit��e de Provence, Marseille, France), Dora Giammarresi (Universit` a di Roma Tor Vergata, Italy) and Martin Kutrib (Universit��at Gie_en, Germany). I sincerely thank the invited speakers for accepting our invitation to come and give a plenary talk in the conference. The invited talk by Bruno Durand was eventually given by his co-author Alexander Shen, and I thank him for accepting to make the presentation with a short notice. Abstracts or extended abstracts of the invited presentations appear in the first part of this volume. The program also included several informal presentations describing very recent developments and ongoing research projects. I wish to thank all the speakers for their contribution to the success of the symposium. I also would like to thank the sponsors and our collaborators: the Finnish Academy of Science and Letters, the French National Research Agency project EMC (ANR-09-BLAN-0164), Turku Centre for Computer Science, the University of Turku, and Centro Hotel. Finally, I sincerely thank the members of the local organizing committee for making the conference possible. These proceedings are published both in an electronic format and in print. The electronic proceedings are available on the electronic repository HAL, managed by several French research agencies. The printed version is published in the general publications series of TUCS, Turku Centre for Computer Science. We thank both HAL and TUCS for accepting to publish the proceedings.

A Character Formula for the Category (O)over-tilde of Modules for Affine sl(2)

One may construct, for any function on the integers, an irreducible module of level zero for affine sl(2) using the values of the function as structure constants. The modules constructed using exponential-polynomial functions realize the irreducible modules with finite-dimensional weight spaces in the category (O) over tilde of Chari. In this work, an expression for the formal character of such a module is derived using the highest weight theory of truncations of the loop algebra.

Investiga����o hist��rica nas aulas de matem��tica: avalia����o de duas experi��ncias

This study reflects on some procedural aspects about the development of mathematics learning from the experience with investigative activities concerning the resolution of second degree equation, which was tested a proposal for education, supported the use of texts in history of mathematics. The survey was conducted in two stages, taking the first-served basis for the second, which was carried out with a study group remainder of the first experiment. The intention was to investigate how the group participant, known as the study group, involved in the implementation of activities of research in mathematics, supported the use of the history of mathematics. Based on the results achieved during the study, it was possible to understand that the activities of research enable the development of students, range of learning mathematics and the development of skills and expertise for research as a vehicle for construction of their mathematical knowledge. This approach proposed research into the classroom is important, both for prospective teachers of mathematics and for students from elementary school, bringing a new phase for mathematical education that will come to schools

Geometrias n��o-eucludianas como anomalias: implica����es para o ensino de geometria e medidas

This present research the aim to show to the reader the Geometry non-Euclidean while anomaly indicating the pedagogical implications and then propose a sequence of activities, divided into three blocks which show the relationship of Euclidean geometry with non-Euclidean, taking the Euclidean with respect to analysis of the anomaly in non-Euclidean. PPGECNM is tied to the line of research of History, Philosophy and Sociology of Science in the Teaching of Natural Sciences and Mathematics. Treat so on Euclid of Alexandria, his most famous work The Elements and moreover, emphasize the Fifth Postulate of Euclid, particularly the difficulties (which lasted several centuries) that mathematicians have to understand him. Until the eighteenth century, three mathematicians: Lobachevsky (1793 - 1856), Bolyai (1775 - 1856) and Gauss (1777-1855) was convinced that this axiom was correct and that there was another geometry (anomalous) as consistent as the Euclid, but that did not adapt into their parameters. It is attributed to the emergence of these three non-Euclidean geometry. For the course methodology we started with some bibliographical definitions about anomalies, after we ve featured so that our definition are better understood by the readers and then only deal geometries non-Euclidean (Hyperbolic Geometry, Spherical Geometry and Taxicab Geometry) confronting them with the Euclidean to analyze the anomalies existing in non-Euclidean geometries and observe its importance to the teaching. After this characterization follows the empirical part of the proposal which consisted the application of three blocks of activities in search of pedagogical implications of anomaly. The first on parallel lines, the second on study of triangles and the third on the shortest distance between two points. These blocks offer a work with basic elements of geometry from a historical and investigative study of geometries non-Euclidean while anomaly so the concept is understood along with it s properties without necessarily be linked to the image of the geometric elements and thus expanding or adapting to other references. For example, the block applied on the second day of activities that provides extend the result of the sum of the internal angles of any triangle, to realize that is not always 180�� (only when Euclid is a reference that this conclusion can be drawn)

O Doutorado em matem��tica no Brasil: um estudo hist��rico documentado (1842 a 1937)

P��s-gradua����o em Educa����o Matem��tica - IGCE

On the Closure of the Tame Automorphism Group of Affine Three-Space

We provide explicit families of tame automorphisms of the complex affine three-space which degenerate to wild automorphisms. This shows that the tame subgroup of the group of polynomial automorphisms of C3 is not closed, when the latter is seen as an infinite-dimensional algebraic group.

Geometric Integrability of the Camassa-Holm Equation. II

It is known that the Camassa���Holm (CH) equation describes pseudo-spherical surfaces and that therefore its integrability properties can be studied by geometrical means. In particular, the CH equation admits nonlocal symmetries of ���pseudo-potential type���: the standard quadratic pseudo-potential associated with the geodesics of the pseudo-spherical surfaces determined by (generic) solutions to CH, allows us to construct a covering �� of the equation manifold of CH on which nonlocal symmetries can be explicitly calculated. In this article, we present the Lie algebra of (first-order) nonlocal ��-symmetries for the CH equation, and we show that this algebra contains a semidirect sum of the loop algebra over sl(2,R) and the centerless Virasoro algebra. As applications, we compute explicit solutions, we construct a Darboux transformation for the CH equation, and we recover its recursion operator. We also extend our results to the associated Camassa���Holm equation introduced by J. Schiff.

A geometria do compasso (1797) de Mascheroni (1750 ��� 1800) em atividades com o GeoGebra

The present work aims to show a possible relationship between the use of the History of Mathematics and Information and Communication Technologies (TIC) in teaching Mathematics through activities that use geometric constructions of the ���Geometry of the Compass��� (1797) by Lorenzo Mascheroni (1750-1800). For this, it was performed a qualitative research characterized by an historical exploration of bibliographical character followed by an empirical intervention based on use of the History of Mathematics combined with TIC through Mathematical Investigation. Thus, studies were performed in papers dealing with the topic, as well as a survey to highlight problems and /or episodes of the history of mathematics that can be solved with the help of TIC, allowing the production of a notebook of activities addressing the resolution of historical problems in a computer environment. In this search, we came across the problems of geometry that are presented by Mascheroni stated previously in the work that we propose solutions and investigations using GeoGebra software. The research resulted in the elaboration of an educational product, a notebook of activities, which was structure to allow during its implementation, students can conduct historical and/or Mathematics research, therefore, we present the procedures for realization of each construction, followed at some moments by original solution of the work. At the same time, we encourage students to investigate/reflect its construction (GeoGebra), in addition to making comparisons with the solution Mascheroni. This notebook was applied to two classes of the course of Didactics of Mathematics I (MAT0367) Course in Mathematics UFRN in 2014. Knowing the existence of some unfavorable arguments regarding the use of history of mathematics, such as loss of time, it was found that this factor can be mitigated with the aid of computational resource, because we can make checks using only the dynamism of and software without repeating the construction. It is noteworthy that the minimized time does not mean loss of reflection or maturation of ideas, when we adopted the process of historical and/or Mathematics Investigation

K-Theoretic Characterization of C*-Algebras with Approximately Inner Flip

The author is supported by an NSERC PDF.

K-Theoretic Characterization of C*-Algebras with Approximately Inner Flip

The author is supported by an NSERC PDF.

Educa����o matem��tica: pesquisas e possibilidades

This book presents a current overview of themes that entangle research in Mathematics Education, which were produced in conjunction with professors who act in the Mathematics Education field at PPGECM (Science and Mathematics Post-graduation Program), that counts with professors from many universities, especially UFPR (Paran��'s Federal University), UTFPR (Paran��'s Technological Federal University) and UDESC (Santa Catarina's Federal University).The set of texts brings some areas of interest, studies that are in development and research that have been completed. It is expected that the chapters present the program, aspects of its production, interests and theoretical/methodological relations, contributing to the strengthening of Mathematics Education as a research field and familiarization and deepening of the topics discussed.

Tau Functions and the Limit of Block Toeplitz Determinants

International audience