Documents Related by Co-Citation

35 The packing of equal spheres – C A Rogers - 1958
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
566 Gamma function – R A Askey, R Roy
1105 The Algebraic Eigenvalue Problem – J H Wilkinson - 1965
861 Accuracy and Stability of Numerical Algorithms – N J Higham - 2002
1082 A computing procedure for quantification theory – M DAVIS, H PUTNAM - 1960
567 A Decision Method for Elementary Algebra and Geometry. 2nd edn – A Tarski - 1951
1637 Wireless Communications: Principles and Practice – T S Rappaport - 2001
693 Location-Aided Routing (LAR) in mobile ad hoc networks – Young-bae Ko, Nitin H. Vaidya - 1998