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) |
Soubory připojené k záznamu:
Soubor | Popis | Velikost | Formát | |
---|---|---|---|---|
Richardson_95.pdf | Plný text | 628,91 kB | Adobe PDF | Zobrazit/otevřít |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/16045
Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.