1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.HO2014★ 1 cited
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.
math.HO2014
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…