Title:	Multimedia interfaces for advanced mathematics: Otter 3.0 as a case study
Authors:	Richardson, John F.
Citation:	Journal of WSCG. 1995, vol. 3, no. 1-2.
Issue Date:	1995
Publisher:	Václav Skala - UNION Agency
Document type:	článek article
URI:	http://wscg.zcu.cz/wscg1995/wscg95.htm http://hdl.handle.net/11025/16045
ISSN:	1213-6972 (print) 1213-6980 (CD-ROM) 1213-6964 (online)
Keywords:	multimédia;automatické dokazování vět;expertní systém;animace;hypermédia
Keywords in different language:	multimedia;automatic theorem proving;expert system;animation;hypermedia
Abstract in different language:	This paper describes a multimedia interface for the OTTER theorem proving system. This interface is implemented using an advanced multimedia authoring system based upon the SUPERCARD program. SUPERCARD is a Hypercard type system that basically solves most of the problems previously existing in Hypercard. The interface described in this paper is designed for the Macintosh computer although multimedia authoring systems exist for Unix and PC based systems. The primary purpose of this interface is to provide a “Macintosh look and feel” environment for the OTTER theorem proving system. The interface provides this look and feel through the use of hypermedia objects called cards. These cards serve as backdrops for interactive graphics and controls made available to the user for interacting with the theorem prover. The secondary purpose of the interface is to provide a natural environment for navigating within the theoretical realms of Automated Reasoning, Logic Programming, Theorem proving and mathematics. The interface seeks to restructure the rules and symbols of the above realms into more “user friendly” and “intuitive” rules and symbols for use by students and general mathematicians. The interface also seeks to make it easier on experts in the field of Automatic theorem proving.
Rights:	© Václav Skala - UNION Agency
Appears in Collections:	Volume 3, number 1-2 (1995)

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.