| |
| 2006 | ||
|---|---|---|
| 4 | EE | Seref Mirasyedioglu, Tolga Güyer: A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG. Applied Mathematics and Computation 176(1): 65-75 (2006) |
| 3 | EE | Tolga Güyer, Seref Mirasyedioglu: A functional computation model for the duality of two-variable Lambda-Boolean functions. Applied Mathematics and Computation 182(1): 879-887 (2006) |
| 2005 | ||
| 2 | EE | Onur Kiymaz, Seref Mirasyedioglu: A new symbolic computation for formal integration with exact power series. Applied Mathematics and Computation 162(1): 215-224 (2005) |
| 1 | EE | Onur Kiymaz, Seref Mirasyedioglu: A new symbolic computational approach to singular initial value problems in the second-order ordinary differential equations. Applied Mathematics and Computation 171(2): 1218-1225 (2005) |
| 1 | Tolga Güyer | [3] [4] |
| 2 | Onur Kiymaz | [1] [2] |