Solving the Utopian Tree recurrence
102490
Does this recursive sequence have a closed-form?
44070
Recurrence  for number of regions formed by diagonals of a convex polygon.
72065
What is the best way to solve discrete divide and conquer recurrences?
78243
graph-theory problem about outdegree and indegree
53363
Ultralimit of an eventually constant generalized sequence
92147
Coin sequence paradox from Martin Gardner's book
67490
Restricing domains for universal and existential quantifiers
47443
Iterated polynomial problem
158802
Graph theory and tree company
27448
The Collatz conjecture algorithm applied to negative integers
49703
Analogue of closed graph theorem
94703
Time complexity and optimality
146933
Proving bipartition in a connected planar graph
156014
Tree complexity using gbm
85023
Permutation of n objects with restriction of adjacent pairs
138178
Proving the number of iterations in the Euclidean algorithm
135408
Solving permutation problem sequentially.