Abstract
In the present article, we consider the method of subdefinite computations, which can be regarded as a branch of constraint propagation, and describe how the techniques of computer algebra can be applied to improve the efficiency of the method. The article also presents the UniCalc problem solver which is based on the method of subdefinite computations. In conclusion, we present some examples that demonstrate the capabilities of the solver and the results of using symbolic transformations.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alefeld G., Herzberger Ju.: Introduction in Interval Computations. Academic Press, New York, 1983.
Asaithambi N.S., Zuhe Shen, Moore R.E.: On computing the range of values. Computing 28 (1982) 225–237
Borde S.B., Pon'kin S.A., Salychev M.V.: Subdefinitness and calendar scheduling. Proceedings of the East-West Conference on Artificial Intelligence EWAIC'93. Moscow, Russia (September 1993) 315–318
Davis E.: Constraint propagation with interval labels. Artificial Intelligence 32 (1987) 99–118
Hyvonen E.: Constraint reasoning based on interval arithmetic. Proceedings of IJCAI — 91 (1991) 1193–1198
Kantorovich L.V.: On a system of mathematical symbols, convenient for electronic computer operations. Proceedings of USSR Acad. of Sciences 113 N4 (1957) 738–741 (In Russian)
Kumar V.: Algorithms for constraint-satisfaction problems: a survey. AI Magazine (Spring 1992) 32–44
Narin'yani A.S.: Subdefinite models and operations with subdefinite values. Preprint, USSR Acad. of Sciences, Siberian Division, Computer Center, Novosibirsk 400 (1982)-33 p. (In Russian)
Narin'yani A.S.: Active data types for representing and processing of subdefinite information. Actual Problems of the Computer Architecture Development and Computer System Software. Novosibirsk (1983) 128–141 (In Russian)
Narin'yani A.S.: Subdefiniteness in knowledge representation and processing systems. Transactions of USSR Acad. of Sciences, Technical Cybernetics N5 (1986) 3–28 (In Russian)
Telerman V.V.: Active data types. Preprint, USSR Acad. of Sciences, Siberian Division, Computer Center, Novosibirsk 792 (1988)-30 p. (In Russian)
Babichev A.B., Kadyrova O.B., Kashevarova T.P., Leshchenko A.S., Semenov A.L.: UniCalc, A Novel Approach to Solving Systems of Algebraic Equations. Proceedings of the International Conference on Numerical Analysis with Automatic Result Verifications. Lafayette, Louisiana, USA, 1993. Interval Computations N2 (1993) 29–47
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Semenov, A., Babichev, A., Leshchenko, A. (1995). Subdefinite computations and symbolic transformations in the uniCalc solver. In: Calmet, J., Campbell, J.A. (eds) Integrating Symbolic Mathematical Computation and Artificial Intelligence. AISMC 1994. Lecture Notes in Computer Science, vol 958. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60156-2_19
Download citation
DOI: https://doi.org/10.1007/3-540-60156-2_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60156-2
Online ISBN: 978-3-540-49533-8
eBook Packages: Springer Book Archive