SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Symbolic Computation

Volumn 33, Issue 4, 2002, Pages 493-505

Quantified constraints under perturbation

(1) Ratschan, Stefan a

a JOHANNES KEPLER UNIVERSITY LINZ (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036222301 PISSN: 07477171 EISSN: None Source Type: Journal
DOI: 10.1006/jsco.2001.0519 Document Type: Article

Times cited : (23)

References (43)

1
- 0008806977
- Lp, a logic for representing and reasoning with statistical knowledge
- (1990) Comput. Intell , vol.6 , pp. 209-231
- Bacchus, F.¹

2
- 0004150856
- MIT Press
- (1990) Representing and Reasoning with Probabilistic Knowledge
- Bacchus, F.¹

3
- 84945926937
- Universally quantified interval constraints
- Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming (CP'2000), LNCS Singapore, Springer
- (2000) , vol.1894
- Benhamou, F.¹ Goualard, F.²

4
- 0003996718
- Exact real computation in computer algebra
- Technical Report 00-33, RISC, Linz
- (2000)
- Bodnár, G.¹ Pau, P.² Schicho, J.³

5
- 0003885601
- (eds) Vienna, Springer
- (1998) Quantifier Elimination and Cylindrical Algebraic Decomposition
- Caviness, B.F.¹ Johnson, J.R.²

6
- 85029837057
- Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition
- Second GI Conf. Automata Theory and Formal Languages, LNCS Heidelberg, Springer. Also in Caviness and Johnson (1998)
- (1975) , vol.33 , pp. 134-183
- Collins, G.E.¹

7
- 80052985571
- Partial cylindrical algebraic decomposition for quantifier elimination
- Also in Caviness and Johnson (1998)
- (1991) J. Symb. Comput , vol.12 , pp. 299-328
- Collins, G.E.¹ Hong, H.²

8
- 0034301279
- Quantified multivariate polynomial inequalities
- (2000) IEEE Control Syst. Mag , vol.20 , pp. 48-58
- Dorato, P.¹

9
- 0031211750
- Robust multi-objective feedback design by quantifier elimination
- (1997) J. Symb. Comput , vol.24 , pp. 153-159
- Dorato, P.¹ Yang, W.² Abdallah, C.³

10
- 0004267357
- Springer
- (1984) Mathematical Logic
- Ebbinghaus, H.-D.¹ Flum, J.² Thomas, W.³

11
- 0001840812
- Regularization methods for the stable solution of inverse problems
- (1993) Surv. Math. Ind , vol.3 , pp. 71-143
- Engl, H.W.¹

12
- 0002941151
- Solving strict polynomial inequalities by Bernstein expansion
- Munro, N. ed., The Institution of Electr. Eng. (IEE)
- (1999) The Use of Symbolic Methods in Control System Analysis and Design , pp. 339-352
- Garloff, J.¹ Graf, B.²

13
- 0004060561
- SIAM
- (1996) Accuracy and Stability of Numerical Algorithms
- Higham, N.J.¹

14
- 0031208923
- Testing stability by quantifier elimination
- (1997) J. Symb. Comput , vol.24 , pp. 161-187
- Hong, H.¹ Liska, R.² Steinberg, S.³

15
- 85031458640
- Pseudofactors of multivariate polynomials
- Proc. ISSAC'00, ACM Press
- (2000) , pp. 160-167
- Huang, Y.¹ Stetter, H.J.² Wu, W.³ Zhi, L.⁴

16
- 0031249209
- Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition
- (1997) Int. J. Solids Struct , vol.34 , pp. 4037-4070
- Ioakimidis, N.I.¹

17
- 0030218755
- Guaranteed tuning, with application to robust control and motion planning
- (1996) Automatica , vol.32 , pp. 1217-1221
- Jaulin, L.¹ Walter, E.²

18
- 0031208954
- Nonlinear control system design by quantifier elimination
- (1997) J. Symb. Comput , vol.24 , pp. 137-152
- Jirstrand, M.¹

19
- 0002500723
- Probability quantifiers
- Barwise, J., Feferman, S. eds, chapter XIV. New York, Springer
- (1985) Model Theoretic Logics
- Keisler, H.J.¹

20
- 0001446972
- Applying quantifier elimination to stability analysis of difference schemes
- (1993) Comput. J , vol.36 , pp. 497-593
- Liska, R.¹ Steinberg, S.²

21
- 0000459654
- Applying linear quantifier elimination
- (1993) Comput. J , vol.36 , pp. 450-462
- Loos, R.¹ Weispfenning, V.²

22
- 0031189803
- Robust analysis and design of control systems using interval arithmetic
- (1997) Automatica , vol.33 , pp. 1363-1372
- Malan, S.¹ Milanese, M.² Taragna, M.³

23
- 0002400729
- On a generalization of quantifiers
- (1957) Fundam. Math , vol.44 , pp. 12-36
- Mostowski, A.¹

24
- 0003915794
- Cambridge, Cambridge University Press
- (1990) Interval Methods for Systems of Equations
- Neumaier, A.¹

25
- 0003744625
- Springer
- (1989) Computability in Analysis and Physics
- Pour-El, M.B.¹ Richards, J.I.²

26
- 0006478197
- Approximate quantified constraint solving (AQCS)
- (2000)
- Ratschan, S.¹

27
- 0003924168
- Convergence of quantified constraint solving by approximate quantifiers
- Technical Report 00-23, Research Institute for Symbolic Computation (RISC), Linz, submitted for publication
- (2000)
- Ratschan, S.¹

28
- 0003240019
- Uncertainty propagation in heterogeneous algebras for approximate quantified constraint solving
- (2000) J. Univ. Comput. Sci , vol.6
- Ratschan, S.¹

29
- 26744439682
- Applications of real first-order constraint solving-bibliography
- (2001)
- Ratschan, S.¹

30
- 84957016275
- Continuous first-order constraint satisfaction
- submitted for publication
- (2001)
- Ratschan, S.¹

31
- 0036466248
- Approximate quantified constraint solving by cylindrical box decomposition
- (2002) Reliable Comput , vol.8 , pp. 21-42
- Ratschan, S.¹

32
- 0004215147
- New York, McGraw-Hill
- (1969) Many-valued Logic
- Rescher, N.¹

33
- 0000151023
- Quasi-GCD computations
- (1985) J. Complexity , vol.1 , pp. 118-137
- Schönhage, A.¹

34
- 0009360251
- Algebraic approach to the interval linear static identification, tolerance, and control problems, or one more application of Kaucher arithmetic
- (1996) Reliable Comput , vol.2 , pp. 3-33
- Shary, S.P.¹

35
- 0342283987
- A new approach to the analysis of static systems under interval uncertainty
- Scientific Computing and Validated Numerics-SCAN'95, of Mathematical Research, Alefeld, G., Frommer, A., Lang, B. eds, Akademie Verlag
- (1996) , vol.90 , pp. 118-132
- Shary, S.P.¹

36
- 0001453392
- Outer estimation of generalized solution sets to interval linear systems
- (1999) Reliable Comput , vol.5 , pp. 323-335
- Shary, S.P.¹

37
- 0033191676
- Reasoning over networks by symbolic methods
- (1999) Appl. Algebra Eng. Commun. Comput , vol.10 , pp. 79-96
- Sturm, T.¹

38
- 0003431753
- Berkeley, University of California Press. Also in Caviness and Johnson (1998)
- (1951) A Decision Method for Elementary Algebra and Geometry
- Tarski, A.¹

39
- 0002674493
- Many-valued logic
- Gabbay, D., Guenther, F. eds, Volume III. Alternatives in Classical Logic, chapter III. D. Reidel Publishing Company
- (1986) Handbook of Philosophical Logic , vol.2 , pp. 71-116
- Urquhart, A.¹

40
- 0008829457
- Generalized quantifiers
- (June)
- (1997) Bull. Eur. Assoc. Theor. Comput. Sci
- Väänänen, J.¹

41
- 0003601768
- Texts in Theoretical Computer Science, Springer
- (2000) Introduction to Computable Analysis
- Weihrauch, K.¹

42
- 0030734765
- Quantifier elimination for real algebra-the quadratic case and beyond
- (1997) Appl. Algebra Eng. Commun. Comput , vol.8 , pp. 85-101
- Weispfenning, V.¹

43
- 0003494064
- Prentice Hall
- (1964) Rounding Errors in Algebraic Processes
- Wilkinson, J.H.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.