Back to Results
First PageMeta Content
Mathematical markup languages / Technical communication / Emacs / OMDoc / Semantic Web / MathML / OpenMath / XML / Lisp / Computing / Software / Markup languages


Description of Knowledge of Mathematical Programs with TEX and XML Balázs Vecsei BUTE Mathematical Institute, 5th year student
Add to Reading List

Document Date: 2005-02-03 18:29:34

Open Document

File Size: 88,87 KB

Share Result on Facebook

City

Dublin / Budapest / /

Company

TPTP / Red Hat / GAP Group / Algorithms / /

Country

Hungary / /

/

EntertainmentAwardEvent

OSCAR / /

Facility

Carnegie Mellon University / The TPTP Problem Library / XML Balázs Vecsei BUTE Mathematical Institute / /

IndustryTerm

software system / mathematical software base / automated theorem proving systems / software packages / mathematical services / e-learning / batch processor / web-based interactive learning system / web-supported mathematics / method selection algorithm / /

OperatingSystem

GNU / /

Organization

World Health Organization / TEX / OpenMath Society / XML Balázs Vecsei BUTE Mathematical Institute / Carnegie Mellon University / /

Person

Brett McLaughlin / Dan LaLiberte / Neil Bradley / Alberto Gonzalez Palomo / David Carlisle / Paul Libbrecht / Andreas Franke / Stephen Buswell / Michael Kohlhase / Bil Lewis / Geoff Sutcliffe / Ron Ausbrooks / Richard Stallman / Robert J. Chassell / Christian Suttner / Jurgen Zimmer / /

Position

SGML/XML translator / MathML translator / MathML editor / /

ProgrammingLanguage

Mathematica / Emacs Lisp / XML / /

PublishedMedium

TUGboat / /

Technology

XML / SGML / html / method selection algorithm / batch processor / Java / DTD / http / e-learning / dom / Document Type Definition / document object model / XSLT / /

URL

http /

SocialTag