Sherstyuk, and Musayev, 2007. Data Warehouses Application in the Automated Testing and Verification System for Mathematical Models. SPIIRAS Proceedings. 4 (Aug. 2007), 163-170. DOI:https://doi.org/10.15622/sp.4.11.