Název:	Multimedia interfaces for advanced mathematics: Otter 3.0 as a case study
Autoři:	Richardson, John F.
Citace zdrojového dokumentu:	Journal of WSCG. 1995, vol. 3, no. 1-2.
Datum vydání:	1995
Nakladatel:	Václav Skala - UNION Agency
Typ dokumentu:	č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)
Klíčová slova:	multimédia;automatické dokazování vět;expertní systém;animace;hypermédia
Klíčová slova v dalším jazyce:	multimedia;automatic theorem proving;expert system;animation;hypermedia
Abstrakt v dalším jazyce:	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.
Práva:	© Václav Skala - UNION Agency
Vyskytuje se v kolekcích:	Volume 3, number 1-2 (1995)

Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.