#### Filter Results:

- Full text PDF available (5)

#### Publication Year

2001

2006

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Tolga GÃ¼yer, Seref Mirasyedioglu
- Applied Mathematics and Computation
- 2004

- Onur Kiymaz, Seref Mirasyedioglu
- Applied Mathematics and Computation
- 2005

This paper presents a new symbolic algorithm to compute the singular initial value problem of second-order ordinary differential equations using Adomian decomposition method. The algorithm has been implemented in the computer algebra system Maple to facilitate the application of this method. A number of examples are presented to demonstrate the computationâ€¦ (More)

- Tolga GÃ¼yer, Seref Mirasyedioglu
- Applied Mathematics and Computation
- 2003

- Tolga GÃ¼yer, Onur Kiymaz, GÃ¶ksal Bilgici, Seref Mirasyedioglu
- Applied Mathematics and Computation
- 2001

- Onur Kiymaz, Seref Mirasyedioglu
- Applied Mathematics and Computation
- 2005

Computers are very useful for numerical integration, that is the finding of definite integrals. But Computer Algebra also lets us perform formal integration, that is the discovery of integrals as formulae. Formal differentiation was undertaken quite early in the history of computers by Kahrimanian and Nolan (1953), but it was Slagle (1961) who took theâ€¦ (More)

- Tolga GÃ¼yer, Seref Mirasyedioglu
- Applied Mathematics and Computation
- 2006

This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on this model. With respect to this aim, some definitions and theorems which construct the model of the two-variable Lambda-Boolean functions are given. The simulation of the model isâ€¦ (More)

- Onur Kiymaz, Seref Mirasyedioglu
- Applied Mathematics and Computation
- 2003

In 1992, Koepf [J. Symb. Comp. 13 (1992) 581] introduced an algorithm for computing a Formal Power Series of a given function using generalized hypergeometric series and a recurrence equation of hypergeometric type. The main aim of this paper is to develop a new algorithm for computing exact power series solutions of second order linear differentialâ€¦ (More)

- Seref Mirasyedioglu, Tolga GÃ¼yer
- Applied Mathematics and Computation
- 2006

This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churchâ€“Rosser properties and functional computation model in symbolic and algebraic computation with induction. The algorithm which improved for Lambda-Beta Boolean reduction isâ€¦ (More)

- â€¹
- 1
- â€º