2 citations · 5 across the 4 of their papers we have counts for
4 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…