SYSTEMS AND COMPUTERIZED-METHODS FOR ASSISTING A USER IN DETERMINING GEOMETRIC PROOFS

Methods for assisting a user in determining geometrical proofs are provided. A geometrical object with a corresponding predicate to be justified and one or more known predicates are presented to a user. The user can select one or more known predicates and corresponding derivations that justify the k...

Full description

Saved in:
Bibliographic Details
Main Authors Inbar Eyal, Avitzur Arnon
Format Patent
LanguageEnglish
Published 09.02.2017
Subjects
ADVERTISING
APPLIANCES FOR TEACHING, OR COMMUNICATING WITH, THE BLIND,DEAF OR MUTE
CRYPTOGRAPHY
DIAGRAMS
DISPLAY
EDUCATION
EDUCATIONAL OR DEMONSTRATION APPLIANCES
GLOBES
PHYSICS
PLANETARIA
SEALS
Online AccessGet full text

Cover

More Information
Summary:Methods for assisting a user in determining geometrical proofs are provided. A geometrical object with a corresponding predicate to be justified and one or more known predicates are presented to a user. The user can select one or more known predicates and corresponding derivations that justify the known predicate and can justify the predicate to be justified.
Bibliography:Application Number: US201615094403