Sciweavers

370 search results - page 38 / 74
» Mathematical Symbol Indexing
Sort
View
ISSAC
2005
Springer
70views Mathematics» more  ISSAC 2005»
15 years 3 months ago
Approximation of dynamical systems using s-systems theory: application to biological systems
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...
Laurent Tournier
ICDAR
2003
IEEE
15 years 3 months ago
Automated Segmentation of Math-Zones from Document Images
With an aim to high-level understanding of the mathematical contents in a document image the requirement of math-zone extraction and recognition technique is obvious. In this pape...
S. P. Chowdhury, S. Mandal, Amit Kumar Das, Bhabat...
TABLEAUX
1998
Springer
15 years 1 months ago
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
Bernhard Beckert, Ulrike Hartmer
IJBC
2007
61views more  IJBC 2007»
14 years 9 months ago
Labyrinth Chaos
A particularly simple and mathematically elegant example of chaos in a threedimensional flow is examined in detail. It has the property of cyclic symmetry with respect to intercha...
Julien Clinton Sprott, Konstantinos E. Chlouveraki...
ISCI
2008
104views more  ISCI 2008»
14 years 9 months ago
Unconditionally secure cryptosystems based on quantum cryptography
Most modern cryptographic studies design cryptosystems and algorithms using mathematical concepts. In designing and analyzing cryptosystems and protocols, mathematical concepts ar...
Yu-Fang Chung, Zhen Yu Wu, Tzer-Shyong Chen