Sciweavers

370 search results - page 12 / 74
» Mathematical Symbol Indexing
Sort
View
94
Voted
ICWL
2007
Springer
15 years 8 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...
CP
2009
Springer
16 years 2 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...
109
Voted
MKM
2005
Springer
15 years 7 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...
123
Voted
AMAI
2007
Springer
15 years 2 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»
15 years 1 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...