An Algorithm for Construction of Optimal Integration Formulas in Hilbert Spaces and Its Realization | Synapse