Interactive theorem retrieval and generation

  • Authors:
  • Paul S. Jensen

  • Affiliations:
  • -

  • Venue:
  • ACM '68 Proceedings of the 1968 23rd ACM national conference
  • Year:
  • 1968

Quantified Score

Hi-index 0.00

Visualization

Abstract

When developing or extending a technique for solving some mathematical problem, one normally spends a considerable amount of time recalling and searching the literature for information and theorems applicable to the subject. Because of the way that information on a subject tends to be sprinkled throughout the literature, the process of gathering the known facts on the subject is often inefficient and time consuming.