Displaying similar documents to “Boolean algebras with finite families of computable automorphisms.”

Linear differential equations and Hurwitz series

William F. Keigher, V. Ravi Srinivasan (2011)

Banach Center Publications

Similarity:

In this article, we study solutions of linear differential equations using Hurwitz series. We first obtain explicit recursive expressions for solutions of such equations and study the group of differential automorphisms of the solutions. Moreover, we give explicit formulas that compute the group of differential automorphisms. We require neither that the underlying field be algebraically closed nor that the characteristic of the field be zero.

Computable analysis

Stanisław Mazur

Similarity:

CONTENTS Foreword.......................................................................................... 3 I. Recursive and computable numbers...................................... 4 1. Recursive numbers................................................................... 5 2. Computable numbers............................................................... 17 II. Recursive and computable sequences................................. 22 III. Recursive and computable functionals....................................