Solving a problem with GeoGebra current possibilities and limits of CAS tools. - Jirí Blazek; Pavel Pech (J. Autom. Reason., 1992)

Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides. - Pavel Pech (Automated Deduction in Geometry, 2004)

On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons. - Pavel Pech (Automated Deduction in Geometry, 2006)

On One Method of Proving Inequalities in Automated Way. - Pavel Pech (Automated Deduction in Geometry, 2010)

On Equivalence of Conditions for a Quadrilateral to Be Cyclic. - Pavel Pech (ICCSA (4), 2011)

Dual permeability variably saturated flow and contaminant transport modeling of a nuclear waste repository with capillary barrier protection. - Michal Kuráz; Petr Mayer; Vojtech Havlícek; Pavel Pech; Jirka Pavlásek (Appl. Math. Comput., 2013)

Incorporating basic hydrological concepts into genetic programming for rainfall-runoff forecasting. - Vojtech Havlícek; Martin Hanel; Petr Máca; Michal Kuráz; Pavel Pech (Computing, 2013)

Domain decomposition adaptivity for the Richards equation model. - Michal Kuráz; Petr Mayer; Vojtech Havlícek; Pavel Pech (Computing, 2013)

Extension of Simson-Wallace Theorem on Skew Quadrilaterals and Further Properties. - Pavel Pech (ADG, 2014)

A Comparison of Selected Modifications of the Particle Swarm Optimization Algorithm. - Michala Jakubcová; Petr Máca; Pavel Pech (J. Appl. Math., 2014)

Solving the nonlinear Richards equation model with adaptive domain decomposition. - Michal Kuráz; Petr Mayer; Pavel Pech (J. Comput. Appl. Math., 2014)

Solving the nonlinear and nonstationary Richards equation with two-level adaptive domain decomposition (dd-adaptivity). - Michal Kuráz; Petr Mayer; Pavel Pech (Appl. Math. Comput., 2015)

Forecasting SPEI and SPI Drought Indices Using the Integrated Artificial Neural Networks. - Petr Máca; Pavel Pech (Comput. Intell. Neurosci., 2016)

Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations. - Zoltán Kovács; Pavel Pech (CICM, 2019)

Locus Computation in Dynamic Geometry Environment. - Jirí Blazek; Pavel Pech (Math. Comput. Sci., 2019)