[Camllist] Type inference problem

Vasilij Karpow
 Remi VANICAT
 Nils Goesche
 Jacques Garrigue
[
Home
]
[ Index:
by date

by threads
]
[ Message by date: previous  next ] [ Message in thread: previous  next ] [ Thread: previous  next ]
[ Message by date: previous  next ] [ Message in thread: previous  next ] [ Thread: previous  next ]
Date:   (:) 
From:  Nils Goesche <cartan@c...> 
Subject:  Re: [Camllist] Type inference problem 
Vasilij Karpow <malc@boblycat.com> writes: > P.S. A bit offtopic. I suspect this mailing list is filled with > skilled mathematicians (and just intelligent people), and since > nobody i know was able to solve my problem, here it is: > http://algol.prosalg.no/~malc/moo.ps [.dvi.pdf.tex] Subtract g(n) on both sides. You'll get a system of linear equations which has g(0)...g(n) as solutions: M x = b, where M = (m_ij), m_ij = Binom(i, j) is a lower triangular matrix. It is possible to write down a closed expression for M^{1}, although this might be a rather huge formula with many sum signs, I am not sure. Check some numeric text book. Cholesky might be of help, or maybe not; check some numeric text book. Regards,  Nils Goesche "Don't ask for whom the <CTRLG> tolls." PGP key ID 0x42B32FC9  Bug reports: http://caml.inria.fr/bin/camlbugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail camllistrequest@inria.fr Archives: http://caml.inria.fr