Обсуждаются компьютерно-алгебраические методы обоснования гипотез арифметической геометрии. особенностью представленных методов является специализация их на задачах с параметрами. разработанные методы применены для решения вычислительных задач и обоснования гипотез о равнораспределенности и теории алгебраических кривых над конечными полями.
