Multi-part numerical proof algorithm