Sciweavers

AISC
2006
Springer
14 years 1 months ago
Extension of First-Order Theories into Trees
Khalil Djelloul, Thi-Bich-Hanh Dao
AISC
2006
Springer
14 years 3 months ago
Hierarchical Representations with Signatures for Large Expression Management
Abstract. We describe a method for managing large expressions in symbolic computations which combines a hierarchical representation with signature calculations. As a case study, th...
Wenqin Zhou, Jacques Carette, David J. Jeffrey, Mi...
AISC
2006
Springer
14 years 3 months ago
Finding Relations Among Linear Constraints
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
Jun Yan, Jian Zhang, Zhongxing Xu
AISC
2006
Springer
14 years 3 months ago
Algebra and Geometry
Heisuke Hironaka
AISC
2006
Springer
14 years 3 months ago
Labeled @-Calculus: Formalism for Time-Concerned Human Factors
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, ...
AISC
2006
Springer
14 years 3 months ago
The Confluence Problem for Flat TRSs
We prove that the properties of reachability, joinability and confluence are undecidable for flat TRSs. Here, a TRS is flat if the heights of the left and right-hand sides of each ...
Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacq...
AISC
2006
Springer
14 years 3 months ago
A New Definition for Passivity and Its Relation to Coherence
It is an essential step in decomposition algorithms for radical differential ideals to satisfy the so-called Rosenfeld property. Basically all approaches to achieve this step are ...
Moritz Minzlaff, Jacques Calmet
AISC
2006
Springer
14 years 3 months ago
Interactive Mathematical Documents
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
Arjeh M. Cohen
AISC
2006
Springer
14 years 3 months ago
An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial
Abstract. The Complete Root Classification for a univariate polynomial with symbolic coefficients is the collection of all the possible cases of its root classification, together w...
Songxin Liang, David J. Jeffrey
AISC
2006
Springer
14 years 3 months ago
A Search Engine for Mathematical Formulae
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...
Michael Kohlhase, Ioan Sucan