papers

More formulars, algorithms and experiments