Sciweavers

370 search results - page 12 / 74
» Mathematical Symbol Indexing
Sort
View
ICWL
2007
Springer
15 years 3 months ago
A Web Application for Mathematics Education
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
Ana Paula Tomás, José Paulo Leal, Ma...
159
Voted
CP
2009
Springer
15 years 10 months ago
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each ...
Sophie Huczynska, Paul McKay, Ian Miguel, Peter Ni...
MKM
2005
Springer
15 years 3 months ago
Authoring Presentation for OpenMath
Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropri...
Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, E...
AMAI
2007
Springer
14 years 9 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
CORR
2007
Springer
116views Education» more  CORR 2007»
14 years 9 months ago
The Extended Edit Distance Metric
Similarity search is an important problem in information retrieval. This similarity is based on a distance. Symbolic representation of time series has attracted many researchers re...
Muhammad Marwan Muhammad Fuad, Pierre-Francois Mar...