1: \begin{abstract}

2: 

3: Many recent papers deal with the enumeration of 2-dimensional walks with

4: prescribed steps confined to the positive quadrant. The classification is now

5: complete for walks with steps in $\{0, \pm 1\}^2$: the generating function is

6: D-finite if and only if a certain group associated with the step set is

7: finite.

8: 

9: We explore in this paper the analogous problem for 3-dimensional walks

10: confined to the positive octant. The first difficulty is their number: we have

11: to examine no less than 11\,074\,225 step sets in $\{0, \pm 1\}^3$ (instead of

12: 79 in the quadrant case). We focus on the 35\,548 that have at most six steps.

13: 

14: We apply to them a combined approach, first experimental and then rigorous. On

15: the experimental side, we try to guess differential equations. We also try to

16: determine if the associated group is finite. The largest finite groups that we

17: find have order 48 -- the larger ones have order at least 200 and we believe

18: them to be infinite. No differential equation has been detected in those

19: cases.

20: 

21: On the rigorous side, we apply three main techniques to prove D-finiteness.

22: The algebraic kernel method, applied earlier to quadrant walks, works in many

23: cases. Certain, more challenging, cases turn out to have a special \emm

24: Hadamard structure, which allows us to solve them via a reduction to problems

25: of smaller dimension. Finally, for two special cases, we had to resort to

26: computer algebra proofs. We prove with these techniques all the guessed

27: differential equations.

28: 

29: This leaves us with exactly 19 very intriguing step sets for which the group

30: is finite, but the nature of the generating function still unclear.

31: \end{abstract}

32: