메뉴 건너뛰기




Volumn 4194 LNCS, Issue , 2006, Pages 89-100

Efficient preprocessing methods for quantifier elimination

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; MATHEMATICAL OPERATORS; PROGRAM PROCESSORS; SOFTWARE PROTOTYPING; SYSTEMS ANALYSIS;

EID: 33845255283     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11870814_7     Document Type: Conference Paper
Times cited : (17)

References (19)
  • 2
    • 0006431229 scopus 로고    scopus 로고
    • Simple CAD construction and its applications
    • _, Simple CAD construction and its applications, Journal of Symbolic Computation 31 (2001), no. 5, 521-547.
    • (2001) Journal of Symbolic Computation , vol.31 , Issue.5 , pp. 521-547
  • 5
    • 33744931612 scopus 로고    scopus 로고
    • QEPCAD B: A program for computing with semi-algebraic sets using CADs
    • _, QEPCAD B: a program for computing with semi-algebraic sets using CADs, ACM SIGSAM Bulletin 37 (2003), no. 4, 97-108.
    • (2003) ACM SIGSAM Bulletin , vol.37 , Issue.4 , pp. 97-108
  • 6
    • 33845275950 scopus 로고    scopus 로고
    • Algorithmic methods for computing threshold conditions in epidemic modelling
    • (St. Petersburg, Russia) (V. G. Ganzha, E. W. Mayr, and E. V. Vorozhtsov, eds.), July
    • Christopher W. Brown, M'hammed El Kahoui, Dominik Novotni, and Andreas Weber, Algorithmic methods for computing threshold conditions in epidemic modelling, Computer Algebra in Scientific Computing (CASC '04) (St. Petersburg, Russia) (V. G. Ganzha, E. W. Mayr, and E. V. Vorozhtsov, eds.), July 2004, pp. 51-60.
    • (2004) Computer Algebra in Scientific Computing (CASC '04) , pp. 51-60
    • Brown, C.W.1    El Kahoui, M.2    Novotni, D.3    Weber, A.4
  • 8
    • 0001938647 scopus 로고    scopus 로고
    • Quantifier elimination by cylindrical algebraic decomposition - 20 years of progress
    • Quantifier Elimination and Cylindrical Algebraic Decomposition (B. Caviness and J. Johnson, eds.), Springer-Verlag
    • G. E. Collins, Quantifier elimination by cylindrical algebraic decomposition - 20 years of progress, Quantifier Elimination and Cylindrical Algebraic Decomposition (B. Caviness and J. Johnson, eds.), Texts and Monographs in Symbolic Computation, Springer-Verlag, 1998.
    • (1998) Texts and Monographs in Symbolic Computation
    • Collins, G.E.1
  • 9
    • 80052985571 scopus 로고
    • Partial cylindrical algebraic decomposition for quantifier elimination
    • G.E. Collins and H. Hong, Partial cylindrical algebraic decomposition for quantifier elimination, Journal of Symbolic Computation 12 (1991), no. 3, 299-328.
    • (1991) Journal of Symbolic Computation , vol.12 , Issue.3 , pp. 299-328
    • Collins, G.E.1    Hong, H.2
  • 10
    • 85029837057 scopus 로고
    • Quantifier elimination for real closed fields by cylindrical algebraic decomposition
    • Second GI Conference on Automata Theory and Formal Languages, Springer-Verlag
    • Georges Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Second GI Conference on Automata Theory and Formal Languages, Lecture Notes in Computer Science, vol. 33, Springer-Verlag, 1975, pp. 134-183.
    • (1975) Lecture Notes in Computer Science , vol.33 , pp. 134-183
    • Collins, G.1
  • 11
    • 0002443040 scopus 로고    scopus 로고
    • Redlog: Computer algebra meets computer logic
    • A. Dolzmann and T. Sturm, Redlog: Computer algebra meets computer logic, ACM SIGSAM BULLETIN 2-9 (1997), no. 31.
    • (1997) ACM SIGSAM Bulletin , vol.2-9 , Issue.31
    • Dolzmann, A.1    Sturm, T.2
  • 13
    • 0345851264 scopus 로고    scopus 로고
    • Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
    • M. El Kahoui and A. Weber, Deciding Hopf bifurcations by quantifier elimination in a software-component architecture, Journal of Symbolic Computation 30 (2000), no. 2, 161-179.
    • (2000) Journal of Symbolic Computation , vol.30 , Issue.2 , pp. 161-179
    • El Kahoui, M.1    Weber, A.2
  • 14
    • 0000459654 scopus 로고
    • Applying linear quantifier elimination
    • Rüdiger Loos and Volker Weispfenning, Applying linear quantifier elimination, The Computer Journal 5 (1993), 450-462.
    • (1993) The Computer Journal , vol.5 , pp. 450-462
    • Loos, R.1    Weispfenning, V.2
  • 15
    • 85139916066 scopus 로고    scopus 로고
    • On projection in CAD-based quantifier elimination with equational constraint
    • Sam Dooley, ed.
    • S. McCallum, On projection in CAD-based quantifier elimination with equational constraint, Proc. International Symposium on Symbolic and Algebraic Computation (Sam Dooley, ed.), 1999, pp. 145-149.
    • (1999) Proc. International Symposium on Symbolic and Algebraic Computation , pp. 145-149
    • McCallum, S.1
  • 16
    • 0034777338 scopus 로고    scopus 로고
    • On propagation of equational constraints in CAD-based quantifier elimination
    • Bernard Mourrain, ed.
    • S. McCallum, On propagation of equational constraints in CAD-based quantifier elimination, Proc. International Symposium on Symbolic and Algebraic Computation (Bernard Mourrain, ed.), 2001, pp. 223-230.
    • (2001) Proc. International Symposium on Symbolic and Algebraic Computation , pp. 223-230
    • McCallum, S.1
  • 17
    • 0036845274 scopus 로고    scopus 로고
    • Reproduction numbers and subthreshold endemic equilibria for compartmental models of disease transmission
    • P. van den Driessche and James Watmough, Reproduction numbers and subthreshold endemic equilibria for compartmental models of disease transmission, Mathematical Biosciences 180 (2002), 29-48.
    • (2002) Mathematical Biosciences , vol.180 , pp. 29-48
    • Van Den Driessche, P.1    Watmough, J.2
  • 18
    • 0002355108 scopus 로고
    • The complexity of linear problems in fields
    • Volker Weispfenning, The complexity of linear problems in fields, Journal of Symbolic Computation 5 (1988), no. 1-2, 3-27.
    • (1988) Journal of Symbolic Computation , vol.5 , Issue.1-2 , pp. 3-27
    • Weispfenning, V.1
  • 19
    • 33749581656 scopus 로고    scopus 로고
    • Real solution classifications of parametric semi-algebraic systems
    • Yang Xia, Real solution classifications of parametric semi-algebraic systems, Proceedings of A3L, 2005.
    • (2005) Proceedings of A3L
    • Yang, X.1


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