Ralph C. Leibowitz

• Mechanized computation of ship parameters