Pavel Pech

15 papers C 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Solving a problem with GeoGebra current possibilities and limits of CAS tools.
J. Autom. Reason.
Jirí Blazek, Pavel Pech
2019 C conf
Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations.
CICM
Zoltán Kovács, Pavel Pech
2019 J jnl
Locus Computation in Dynamic Geometry Environment.
Math. Comput. Sci.
Jirí Blazek, Pavel Pech
2016 J jnl
Forecasting SPEI and SPI Drought Indices Using the Integrated Artificial Neural Networks.
Comput. Intell. Neurosci.
Petr Máca, Pavel Pech
2015 J jnl
Solving the nonlinear and nonstationary Richards equation with two-level adaptive domain decomposition (dd-adaptivity).
Appl. Math. Comput.
Michal Kuráz, Petr Mayer, Pavel Pech
2014 J jnl
A Comparison of Selected Modifications of the Particle Swarm Optimization Algorithm.
J. Appl. Math.
Michala Jakubcová, Petr Máca, Pavel Pech
2014 — conf
Extension of Simson-Wallace Theorem on Skew Quadrilaterals and Further Properties.
ADG
Pavel Pech
2014 J jnl
Solving the nonlinear Richards equation model with adaptive domain decomposition.
J. Comput. Appl. Math.
Michal Kuráz, Petr Mayer, Pavel Pech
2013 J jnl
Domain decomposition adaptivity for the Richards equation model.
Computing
Michal Kuráz, Petr Mayer, Vojtech Havlícek, Pavel Pech
2013 J jnl
Dual permeability variably saturated flow and contaminant transport modeling of a nuclear waste repository with capillary barrier protection.
Appl. Math. Comput.
Michal Kuráz, Petr Mayer, Vojtech Havlícek, Pavel Pech, Jirka Pavlásek
2013 J jnl
Incorporating basic hydrological concepts into genetic programming for rainfall-runoff forecasting.
Computing
Vojtech Havlícek, Martin Hanel, Petr Máca, Michal Kuráz, Pavel Pech
2011 — conf
On Equivalence of Conditions for a Quadrilateral to Be Cyclic.
ICCSA (4)
Pavel Pech
2010 — conf
On One Method of Proving Inequalities in Automated Way.
Automated Deduction in Geometry
Pavel Pech
2006 — conf
On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons.
Automated Deduction in Geometry
Pavel Pech
2004 — conf
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides.
Automated Deduction in Geometry
Pavel Pech