Risposte:
Sì. C'è il pacchetto Ryacas che è ospitato su Google Code qui . Ryacas è stato recentemente espanso / convertito nel pacchetto rMathpiper che è ospitato qui . Ho usato Ryacas ed è semplice, ma dovrai installare Yacas per farlo funzionare (Yacas fa tutto il lavoro pesante; Ryacas è solo un'interfaccia R con Yacas).
C'è anche il progetto rSymPy ospitato su Google Code qui . Non ho provato questo. L'idea è simile, tuttavia, il collegamento al simpatico CAS che svolge il lavoro simbolico.
Alcune cose sono anche nella base R --- vedi help(deriv)o help(D).
Un semplice esempio da quella pagina di aiuto:
R> trig.exp <- expression(sin(cos(x + y^2)))
R> ( D.sc <- D(trig.exp, "x") )
-(cos(cos(x + y^2)) * sin(x + y^2))
R> all.equal(D(trig.exp[[1]], "x"), D.sc)
[1] TRUE
R>