Ivo Babuska S. A. Sauter Algebraic algorithms for the analysis of mechanical trusses. 1601-1622 2004 73 Math. Comput. 248 db/journals/moc/moc73.html#BabuskaS04