Abstract
This paper describes a novel approach to solving systems of algebraic equations and inequalities that is based on subdefinite calculations. The use of these methods makes it possible to solve overdetermined and underdetermined systems, as well as systems with imprecise and incomplete data. The UniCalc solver, also described in this paper, was developed on the basis of this approach. To illustrate the capabilities of UniCalc, we give examples of problems solved with its help.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Moore R.E. Interval Analysis. Englewood Cliffs, New Jersey, Prentice-Hall, 1966. — 145 p.
Alefeld G., Herzberger Ju. Introduction in Interval Computations. Academic Press, New York, 1983.
Zahde L.A. Fuzzy Sets. Information and Control. v.8, N3, 1965. pp. 338–353.
Leler W. Constraint Programming Languages. Their Specification and Generation. Reading, Massachussets, Addison-Wesley, 1988. — 202 p.
Hyvonen E.. Constraint Reasoning Based on Interval Arithmetic. In: Proceedings of IJCAI — 91. 1991. pp. 1193–1198.
Narin'yani A.S. Subdefinite Models and Operations with Subdefinite Values. Preprint, USSR Acad. of Sciences, Siberian Division, Computer Center; N400. Novosibirsk, 1982. — 33 p. (In Russian).
Narin'yani A.S. Subdefiniteness in Knowledge Representation and Processing Systems. Transactions of USSR Acad. of Sciences, Technical Cybernetics, N5, 1986. pp. 3–28. (In Russian).
Narin'yani A.S. Active Data Types for Representing and Processing of Subdefinite Information. In: Actual Problems of the Computer Architecture Development and Computer System Software. Novosibirsk, 1983. pp. 128–141. (In Russian).
Telerman V.V. Active Data Types. Preprint, USSR Acad. of Sciences, Siberian Division, Computer Center; N792. Novosibirsk, 1988. — 30 p. (In Russian).
Narin'yani A.S., Telerman V.V., Dmitriev V.E. Virtual Data-Flow Machine as Vehicle of Inference/Computations in Knowledge Bases. In: Artificial Intelligence II. Methodology, Systems, Application. Ed. by Ph. Jorrand, V. Sgurev. North-Holland, 1987. pp. 149–155.
Dmitriev V.E. Technological Complex for Producing Problem-oriented S-processors. In: Designing Software Tools for Intelligent Problems. Novosibirsk: USSR Acad. of Sciences, Siberian Division, Computer Center. 1988. pp. 103–111. (In Russian).
Kearfott R.B. Some Tests of Generalized Bisection. ACM Trans. Math. Soft. N3, 1987. pp. 197–220.
Vrahatis M.N. Solving Systems of Nonlinear Equations Using the Nonzero Value of the Topological Degree. ACM Trans. Math. Softw. N4, 1988. pp. 312–329.
Meintjes K. and Morgan A.P. Chemical Equilibrium Systems as Numerical Test Problems. ACM Trans. Math. Softw. N2, 1990. pp. 143–151.
More J.J., Garbow B.S., Hillstrom K.E. Testing Unconstrained Optimization Software. ACM Trans. Math. Softw. N1, 1981. pp. 17–41.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag
About this paper
Cite this paper
Narin'yani, A.S., Semenov, A.L., Babichev, A.B., Kashevarova, T.P., Leshchenko, A.S. (1994). A new approach to solving algebraic systems by means of sub-definite models. In: Henry, J., Yvon, JP. (eds) System Modelling and Optimization. Lecture Notes in Control and Information Sciences, vol 197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035484
Download citation
DOI: https://doi.org/10.1007/BFb0035484
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19893-2
Online ISBN: 978-3-540-39337-5
eBook Packages: Springer Book Archive