Paper Search Console

Home Search Page About Contact

Journal Title

Title of Journal: MathComputSci

Search In Journal Title:

Abbravation: Mathematics in Computer Science

Search In Journal Abbravation:

Publisher

Birkhäuser-Verlag

Search In Publisher:

DOI

10.1007/s00542-005-0552-2

Search In DOI:

ISSN

1661-8289

Search In ISSN:
Search In Title Of Papers:

Mathematical Context in Interactive Documents

Authors: A M Cohen H Cuypers R Verrijzer
Publish Date: 2010/03/10
Volume: 3, Issue: 3, Pages: 331-347
PDF Link

Abstract

In this paper we introduce the concept of an interactive mathematical document We give a formal description of such a document which enables us to introduce the notion of a context as user and time dependent information regarding both mathematical and personal data We also describe the realization of interactive mathematical documents within the MathDox system developed at Eindhoven University of Technology

Keywords:

References

.
Search In Abstract Of Papers:
Other Papers In This Journal:
  1. Associativity and Non-Associativity of Some Hypergraph Products
  2. Intuitionistic Fuzzy Logic Control for Heater Fans
  3. Local Algorithms for the Prime Factorization of Strong Product Graphs
  4. Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems
  5. On Brylawski’s Generalized Duality
  6. Linear Differential Elimination for Analytic Functions
  7. Subdivision Strategies for Boxes in Branch-and-Bound Nonlinear Solvers and Verification
  8. Some Types of Filters in BE -algebras
  9. Digital Mathematics Libraries: The Good, the Bad, the Ugly
  10. First Order Perturbation and Local Stability of Parametrized Systems
Search Result: