5,798 research outputs found
WIRIS OM tools: a semantic formula editor
With the increasing reliance on computers for the automatic processing
of information a new method is needed for editing mathematical formulae.
We are used to WYSIWYG editors that produce beautiful presentations of
formulae and store the typesetting primitives rather than the meaning of the
formulas. However, new services such as database searching or calculation
web-services work best if they have access to the semantic information behind
a formula. This can only be done with a new generation of formula editors.
In this paper we present WIRIS OM Tools [17], a semantic oriented formula
editor which addresses these concerns. It is based on the OpenMath language
and a suitable transformation process between OpenMath and MathML ex-
pressions. Additionally, this approach adds new features for the users such
as error, type and syntax checking. The editor is currently being used in the
LeActiveMath and WebALT projects
Recommended from our members
Integration of knowledge-based system, artificial neural networks and multimedia for gear design
Design is a complicated area consisting of a combination of rules, technical information and personal judgement. The quality of design depends highly on the designer's knowledge and experience. This system attempts to simulate the design process and to capture design expertise by combining artificial neural networks (ANNs) and knowledge based system (KBS) together with multi-media (MM). It has been applied to the design of gears. Within the system the knowledge based system handles clearly defined design knowledge, the artificial neural networks capture knowledge which is difficult to quantify and multi-media provides a user-friendly interface prompting the user to input information and to retrieve results during design process. The finished system illustrates how features of different Artificial Intelligence techniques, KBS, ANNs and MM, are combined in a hybrid manner to conduct complicated design tasks
Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context
Mathematical formulae represent complex semantic information in a concise
form. Especially in Science, Technology, Engineering, and Mathematics,
mathematical formulae are crucial to communicate information, e.g., in
scientific papers, and to perform computations using computer algebra systems.
Enabling computers to access the information encoded in mathematical formulae
requires machine-readable formats that can represent both the presentation and
content, i.e., the semantics, of formulae. Exchanging such information between
systems additionally requires conversion methods for mathematical
representation formats. We analyze how the semantic enrichment of formulae
improves the format conversion process and show that considering the textual
context of formulae reduces the error rate of such conversions. Our main
contributions are: (1) providing an openly available benchmark dataset for the
mathematical format conversion task consisting of a newly created test
collection, an extensive, manually curated gold standard and task-specific
evaluation metrics; (2) performing a quantitative evaluation of
state-of-the-art tools for mathematical format conversions; (3) presenting a
new approach that considers the textual context of formulae to reduce the error
rate for mathematical format conversions. Our benchmark dataset facilitates
future research on mathematical format conversions as well as research on many
problems in mathematical information retrieval. Because we annotated and linked
all components of formulae, e.g., identifiers, operators and other entities, to
Wikidata entries, the gold standard can, for instance, be used to train methods
for formula concept discovery and recognition. Such methods can then be applied
to improve mathematical information retrieval systems, e.g., for semantic
formula search, recommendation of mathematical content, or detection of
mathematical plagiarism.Comment: 10 pages, 4 figure
Tools for producing formal specifications : a view of current architectures and future directions
During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications.
However, the process of obtaining formal specifications that are consistent with the requirements is itself a difficult activity. Hence various researchers are developing systems that aid the transition from informal to formal specifications.
The kind of problems tackled and the contributions made by these proposed systems are very diverse. This paper brings these studies together to provide a vision for future architectures that aim to aid the transition from informal to formal specifications. The new architecture, which is based on the strengths of existing studies, tackles a
number of key issues in requirements engineering such as identifying ambiguities, incompleteness, and reusability.
The paper concludes with a discussion of the research problems that need to be addressed in order to realise the proposed architecture
Fine-grained Language Composition: A Case Study
Although run-time language composition is common, it normally takes the form
of a crude Foreign Function Interface (FFI). While useful, such compositions
tend to be coarse-grained and slow. In this paper we introduce a novel
fine-grained syntactic composition of PHP and Python which allows users to
embed each language inside the other, including referencing variables across
languages. This composition raises novel design and implementation challenges.
We show that good solutions can be found to the design challenges; and that the
resulting implementation imposes an acceptable performance overhead of, at
most, 2.6x.Comment: 27 pages, 4 tables, 5 figure
A novel approach to symbolic algebra
A prototype for an extensible interactive graphical term manipulation system
is presented that combines pattern matching and nondeterministic evaluation to
provide a convenient framework for doing tedious algebraic manipulations that
so far had to be done manually in a semi-automatic fashion.Comment: 15 page
- …