אירועים והרצאות בפקולטה למדעי המחשב ע"ש הנרי ומרילין טאוב

In this talk, I would like to present a user interface for drawing mathematical figures which can be quite complex. The system is based on a sketch interface especially designed for drawing mathematical figures. I would also like to present a search interface that finds figures similar to the one drawn by the user. Given a sketch by the user, the system searches a database of pre-drawn figures, automatically finds similar figures, and shows them in a certain sorted order. The user then selects the most suitable one to his/her intent and further modify the selected figure to a final figure.