21 citations · 78 across the 15 of their papers we have counts for
15 papers
An algorithm for composition of inverse problems with exclusive disjunction as a logical structure in the conclusion
Julia Ninova, Vesselka Mihova
By suitable examples we illustrate an algorithm for composition of inverse problems.
Direct and indirect methods of proof. The Lehmus-Steiner theorem
Vesselka Mihova, Julia Ninova
In the paper different kinds of proof of a given statement are discussed. Detailed descriptions of direct and indirect methods of proof are given. Logical models illustrate the ess…
Composition of inverse problems with a given logical structure
Julia Ninova, Vesselka Mihova
The paper presents a method for obtaining problems whose conclusions contain disjunctive propositions. These problems constitute a version of inverse problems with a given logical…
On a generalization of criteria A and D for congruence of triangles
Vesselka Mihova, Julia Ninova
The conditions determining that two triangles are congruent play a basic role in planimetry. By comparing not congruent triangles with respect to given sets of corresponding elemen…
Directed Riemannian manifolds of pointwise constant relative sectional curvature
Georgi Ganchev, Vesselka Mihova
We study a class of Riemannian manifolds with respect to the covariant derivative of their curvature tensors. We introduce geometrically the class of directed Riemannian manifolds…
Holomorphic hypersurfaces of Kaehler manifolds with Norden metric
Georgi Ganchev, Kostadin Gribachev, Vesselka Mihova
We study Kaehlerian manifolds with Norden metric and develop the theory of their holomorphic hypersurfaces with constant totally real sectional curvatures. We prove a classific…