Pavel Pech

According to our database, Pavel Pech authored at least 14 papers between 2004 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Locus Computation in Dynamic Geometry Environment.

Jirí Blazek, Pavel Pech

Math. Comput. Sci., 2019

Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations.

Zoltán Kovács, Pavel Pech

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2016

Forecasting SPEI and SPI Drought Indices Using the Integrated Artificial Neural Networks.

Petr Máca, Pavel Pech

Comput. Intell. Neurosci., 2016

2015

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

2014

Solving the nonlinear Richards equation model with adaptive domain decomposition.

Michal Kuráz, Petr Mayer, Pavel Pech

J. Comput. Appl. Math., 2014

A Comparison of Selected Modifications of the Particle Swarm Optimization Algorithm.

Michala Jakubcová, Petr Máca, Pavel Pech

J. Appl. Math., 2014

Extension of Simson-Wallace Theorem on Skew Quadrilaterals and Further Properties.

Pavel Pech

Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014

2013

Domain decomposition adaptivity for the Richards equation model.

Michal Kuráz, Petr Mayer, Vojtech Havlícek, Pavel Pech

Computing, 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

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

2011

On Equivalence of Conditions for a Quadrilateral to Be Cyclic.

Pavel Pech

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

2010

On One Method of Proving Inequalities in Automated Way.

Pavel Pech

Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010

2006

On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons.

Pavel Pech

Proceedings of the Automated Deduction in Geometry, 2006

2004

Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides.

Pavel Pech

Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004