Full metadata record
DC poleHodnotaJazyk
dc.contributor.authorRichardson, John F.
dc.contributor.editorSkala, Václav
dc.date.accessioned2015-09-29T13:09:34Z
dc.date.available2015-09-29T13:09:34Z
dc.date.issued1995
dc.identifier.citationJournal of WSCG. 1995, vol. 3, no. 1-2.en
dc.identifier.issn1213-6972 (print)
dc.identifier.issn1213-6980 (CD-ROM)
dc.identifier.issn1213-6964 (online)
dc.identifier.urihttp://wscg.zcu.cz/wscg1995/wscg95.htm
dc.identifier.urihttp://hdl.handle.net/11025/16045
dc.format8 s.cs
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.publisherVáclav Skala - UNION Agencycs
dc.relation.ispartofseriesJournal of WSCGen
dc.rights© Václav Skala - UNION Agencycs
dc.subjectmultimédiacs
dc.subjectautomatické dokazování větcs
dc.subjectexpertní systémcs
dc.subjectanimacecs
dc.subjecthypermédiacs
dc.titleMultimedia interfaces for advanced mathematics: Otter 3.0 as a case studyen
dc.typečlánekcs
dc.typearticleen
dc.rights.accessopenAccessen
dc.type.versionpublishedVersionen
dc.description.abstract-translatedThis 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.en
dc.subject.translatedmultimediaen
dc.subject.translatedautomatic theorem provingen
dc.subject.translatedexpert systemen
dc.subject.translatedanimationen
dc.subject.translatedhypermediaen
dc.type.statusPeer-revieweden
Vyskytuje se v kolekcích:Volume 3, number 1-2 (1995)

Soubory připojené k záznamu:
Soubor Popis VelikostFormát 
Richardson_95.pdfPlný text628,91 kBAdobe PDFZobrazit/otevřít
Zobrazit minimální záznam Zobrazit statistiky


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.

hledání
navigace
  1. DSpace at University of West Bohemia
  2. Publikace ZČU / UWB Publications
  3. Časopisy ZČU / UWB Journals
  4. Journal of WSCG
  5. Volume 3 (1995)
  6. Volume 3, number 1-2 (1995)