BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Julia Ninova appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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 essence of specific types of indirect proofs. Direct proofs of Lehmus-Steiner's Theorem are proposed.
By suitable examples we illustrate an algorithm for composition of inverse problems.
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 structure. The logical models in the groups of problems studied have been interpreted comprehensively. Equivalent problems have been given by keeping or not keeping the condition of homogeneity in their conclusion.
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 elements it is important to discover if they have any common geometric properties characterizing them. The present paper is devoted to an answer of this question. We give a generalization of criteria A and D for congruence of triangles and apply it to prove some selected geometric problems.