Displaying similar documents to “A new interpretor for PARI/GP”

Symbol Declarations in Mathematical Writing

Wolska, Magdalena, Grigore, Mihai

Similarity:

We present three corpus-based studies on symbol declaration in mathematical writing. We focus on simple object denoting symbols which may be part of larger expressions. We look into whether the symbols are explicitly introduced into the discourse and whether the information on once interpreted symbols can be used to interpret structurally related symbols. Our goal is to support fine-grained semantic interpretation of simple and complex mathematical expressions. The results of our analysis...

Towards Reverse Engineering of PDF Documents

Baker, Josef B., Sexton, Alan P., Sorge, Volker

Similarity:

We present a progress report on our ongoing project of reverse engineering scientific PDF documents. The aim is to obtain mathematical markup that can be used as source for regenerating a document that resembles the original as closely as possible. This source can then be a basis for further document processing. Our current tool uses specialised PDF extraction together with image analysis to produce near perfect input for parsing mathematical formula. Applying a linear grammar and specific...

Real-valued GCS classifier system

Łukasz Cielecki, Olgierd Unold (2007)

International Journal of Applied Mathematics and Computer Science

Similarity:

Learning Classifier Systems (LCSs) have gained increasing interest in the genetic and evolutionary computation literature. Many real-world problems are not conveniently expressed using the ternary representation typically used by LCSs and for such problems an interval-based representation is preferable. A new model of LCSs is introduced to classify real-valued data. The approach applies the continous-valued context-free grammar-based system GCS. In order to handle data effectively, the...

Specifics in Applying Agile Software Methodologies in Portal Solutions

Todorov, Nikolay, Eskenazi, Avram (2011)

Serdica Journal of Computing

Similarity:

Agile methodologies are becoming more popular in the software development process nowadays. The iterative development lifecycle, openness to frequent changes, tight cooperation with the client and among the software engineers are turning into more and more effective practices and respond to a higher extend to the current business needs. It is natural to raise the question which methodology is the most suitable for use when starting and managing a project. This depends on many factors—product...

Tree-controlled grammars with restrictions placed upon cuts and paths

Jiří Koutný, Alexander Meduna (2012)

Kybernetika

Similarity:

First, this paper discusses tree-controlled grammars with root-to-leaf derivation-tree paths restricted by control languages. It demonstrates that if the control languages are regular, these grammars generate the family of context-free languages. Then, in a similar way, the paper introduces tree-controlled grammars with derivation-tree cuts restricted by control languages. It proves that if the cuts are restricted by regular languages, these grammars generate the family of recursively...