Cryptographic properties of Boolean functions defining elementary cellular automata

In this work, the algebraic properties of the local transition functions of elementary cellular automata (ECA) were analysed. Specifically, a classification of such cellular automata was done according to their algebraic degree, the balancedness, the resiliency, nonlinearity, the propagation criterion and the existence of non-zero linear structures. It is shown that there is not any ECA satisfying all properties at the same time.

New infinite families of exact sums of squares formulas, Jacobi elliptic functions, and Ramanujan’s tau function

In this paper, we give two infinite families of explicit exact formulas that generalize Jacobi’s (1829) 4 and 8 squares identities to 4n2 or 4n(n + 1) squares, respectively, without using cusp forms. Our 24 squares identity leads to a different formula for Ramanujan’s tau function τ(n), when n is odd. These results arise in the setting of Jacobi elliptic functions, Jacobi continued fractions, Hankel or Turánian determinants, Fourier series, Lambert series, inclusion/exclusion, Laplace expansion formula for determinants, and Schur functions. We have also obtained many additional infinite families of identities in this same setting that are analogous to the η-function identities in appendix I of Macdonald’s work [Macdonald, I. G. (1972) Invent. Math. 15, 91–143]. A special case of our methods yields a proof of the two conjectured [Kac, V. G. and Wakimoto, M. (1994) in Progress in Mathematics, eds. Brylinski, J.-L., Brylinski, R., Guillemin, V. & Kac, V. (Birkhäuser Boston, Boston, MA), Vol. 123, pp. 415–456] identities involving representing a positive integer by sums of 4n2 or 4n(n + 1) triangular numbers, respectively. Our 16 and 24 squares identities were originally obtained via multiple basic hypergeometric series, Gustafson’s Cℓ nonterminating 6φ5 summation theorem, and Andrews’ basic hypergeometric series proof of Jacobi’s 4 and 8 squares identities. We have (elsewhere) applied symmetry and Schur function techniques to this original approach to prove the existence of similar infinite families of sums of squares identities for n2 or n(n + 1) squares, respectively. Our sums of more than 8 squares identities are not the same as the formulas of Mathews (1895), Glaisher (1907), Ramanujan (1916), Mordell (1917, 1919), Hardy (1918, 1920), Kac and Wakimoto, and many others.

Conhece o microsoft mathematics? Não?! Então este workshop é para si!

A vertiginosa difusão das TIC e o crescente desenvolvimento de diverso software científico estão a produzir mudanças relevantes nos processos formativos em matemática, estando estas a favorecer a criação de novos e melhores recursos didáticos e de autoaprendizagem, assim como uma nova forma de gerar e difundir conhecimento ou experiências cognitivas (Atencio, 2013). No entanto para tirar partido, a nível pessoal ou profissional, da variedade de recursos que estão ao nosso alcance para aprender/ensinar matemática, como os programas Geogebra, Surfer, GeCla, Microsoft Mathematics etc., é importante conhecê-los e saber trabalhar com eles. Tendo em vista este objetivo, neste Workshop pretende-se “apresentar” o software Microsoft Mathematics, explorá-lo como recurso na resolução de algumas tarefas de matemática, assim como discutir as suas potencialidades e limitações. O software Microsoft Mathematics, inicialmente com a designação Microsoft Math, foi lançado pela Microsoft Corporation em 2006, e surgiu para tentar resolver o problema de muitos alunos brasileiros que tinham dificuldades nas disciplinas que envolviam cálculo. No início estava apenas disponível para uso de uma comunidade estudantil que, com o apoio de empresas e universidades, visava formar alunos na área de tecnologias de informação para o mercado de trabalho. Depois de algumas melhorias, o programa passou a ser disponibilizado para o público em geral e a ser comercializado (Sousa e Araújo (s.d.)). Atualmente a versão 4.0 é a mais recente, é gratuita e está disponível para download na internet no site https://www.microsoft.com/ptpt/ download/details.aspx?id=15702. Do ponto de vista da matemática, o Microsoft Mathematics abrange domínios como a aritmética, o cálculo, a álgebra e a estatística. Por exemplo, permite executar uma diversidade de cálculos: resolver equações, inequações e sistemas de equações, converter unidades de medida, calcular estatísticas básicas (como média e desvio-padrão), efetuar operações com números complexos, calcular derivadas e integrais, realizar operações com matrizes, entre outros, e, em alguns casos, possibilita a consulta da resolução passo a passo. Tem também uma vertente gráfica, podendo representar-se gráficos a duas ou a três dimensões. Esta funcionalidade possibilita, ainda, representar graficamente equações com parâmetros, o que permite visualizar as mudanças em função da variação do valor do parâmetro, que pode ser de grande utilidade, por exemplo, na discussão de sistemas de equações lineares. Em termos de usabilidade, o Microsoft Mathematics tem uma interface simples e facilmente compreensível para o utilizador e a sintaxe para comunicar com o software é quase sempre a que se utiliza em matemática. Torna-se igualmente uma mais-valia quando se pretende produzir documentos em Word com simbologia matemática, pois permite exportar para este aplicativo o trabalho realizado. Conclui-se, assim, que o Microsoft Mathematics é um software educativo que fornece um conjunto de ferramentas que podem constituir um apoio para os estudantes do 3.º ciclo do ensino básico, do ensino secundário e ensino superior, na resolução de tarefas que exigem conhecimentos matemáticos. Pode, ainda, tornar-se um recurso útil para os professores tanto na preparação de aulas como no contexto de sala de aula, na medida em que, para além de facilitar a execução de cálculos, permite explorar alguns conteúdos de uma forma interativa e com maior profundidade.

Tables of the Bessel functions, Y₀(x), Y₁(x), K₀(x), K₁(x), 0 <̳ x <̳ 1.

Bibliography: p. ix.

Multiple precision computation of Legendre functions.

"C00-1469-0167."

A class of algorithms for automatic evaluation of certain elementary functions in a binary computer.

"Supported in part...under Grant No. US NSF GJ812 and Grant No. US NSF GJ813."

High school mathematics /

Each unit comprises Student's ed. and Teachers' ed., interleaved.

Tables of the higher mathematical functions,

"Published as a contribution of the Waterman institute for scientific research, Indiana university."

Higher mathematics for students of chemistry and physics, with special reference to practical work,

The differential calculus.--Coordinate or analytical geometry.--Functions with singular properties.--The integral calculus.--Infinite series and their uses.--How to solve numerical equations.--How to solve differential equations.--Fourier's theorum.--Probability and the theory of errors.--The calculus of variations.--Determinants.--Collection of formulae for references.--Reference tables.

The Princeton colloquium; lectures on mathematics, delivered September 15 to 17, 1909, before members of the American Mathematical Society in connection with the summer meeting held at Princeton University, Princeton, N. J

Mode of access: Internet.

Handbook of mathematical functions with formulas, graphs, and mathematical tables,

Mode of access: Internet.

Encyclopaedia of pure mathematics.

Articles reprinted from Encyclopaedia metropolitana.

The theory of images in the representation of functions.

Thesis (Ph.D.)--Cornell University, 1888.

Four lectures on mathematics, delivered at Columbia University in 1911,

I. The defintion of solutions of linear partial differnetial equations by boundary conditions.--II. Contemporary researches in differential equations, integral equations, and integro-differential equations.--III. Analysis situs in connection with correspondences and differential equations.--IV. Elementary solutions of partial differential equations and Green's functions.

The Princeton Colloquium; lectures on mathematics, delivered September 15 to 17, 1909, before members of the American Mathematical Society in connection with the summer meeting held at Princeton University, Princeton, N.J.

Fundamental existence theorems, by G. A. Bliss.--Differential-geometric aspects of dynamics, by E. Kasner.