Search results

situation exists with P-recursive equation, Polynomial solutions of P-recursive equations, Holonomic function, and Linear differential equation (though in this...

addition. projection: the s suffix on words makes things plural. p.r. versus primitive recursive: I personally think it was nicer with the abbreviation, but...

a basic tool to find explicit solutions to recursive equations, implicitly defining programs of recursive functions by circular definitions involving...

The article claims: The equation p ( x 1 , … , x k ) = 0 {\displaystyle p(x_{1},\ldots ,x_{k})=0} where p {\displaystyle p} is a polynomial of degree d...

statement of the Bellman equation for general x {\displaystyle x} would be more clearly derived from stating the recursive definition for general x t...

the term super-recursive algorithm and Burgin argues (on p. 115) that it's necessary to make a clear distinction between super-recursive algorithms and...

problem of left-recursive grammar rules. Such rules are extremely common, as for example EXPR = INT | EXPR + EXPR | EXPR * EXPR; A recursive descent parser...

'Y can only be defined over recursive functions like plus', don't attempt to take the fixpoint using Y of a non-recursive one like f' then it makes sense...

primitive recursive functions (p. 287). BUT... Kleen produces examples from the literature to show that "there are non-elementary primitive recursive predicates"...

(by Roquette?); such that it is recursive in a definite sense, though it is not going to be provably primitive recursive or anything very useful by the...

paper General Recursive Functions of Natural Numbers, section 2 "The undecidability, in general, which systems of equations define recursive functions" (page...

number p that divides n. Equation (11) follows from a more elementary fact. If j {\displaystyle j} is a positive integer, ( n − 1 p j − 1 ) ≡ { 1 mod p if ...

expression with a primitive recursive predicate is equivalent to the minimization operation, because if P,Q,R are primitive recursive then so is the function...

"partial recursive (p.r.),", "Turing computable," and "computable" interchangeably. On the other hand, he equates the total functions with recursive resp...

reinvented some known results in p-adics. In particular the last step of the decryption requires to solve the equation ( 1 + n ) x = 1 + k n ( mod n s...

understand it. Does anyone disagree? RandomP 23:56, 25 September 2006 (UTC) Why not make a new section on recursively presented groups, seperate from the first...

talking Hilbert space basis here? Also, is it correct that P_n solves the differential equation with parameter n, or is n used in two different senses here...

we used recursive/non-recursive terminology in the article, then we could sidestep the whole TIIR issue. I think we all agree that the Equation 1/canonical...