-
2
-
-
0006431229
-
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
-
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
-
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
-
7
-
-
33749575816
-
On using bi-equational constraints in cad construction
-
(New York, NY, USA), ACM Press
-
Christopher W. Brown and Scott McCallum, On using bi-equational constraints in cad construction, ISSAC '05: Proceedings of the 2005 international symposium on Symbolic and algebraic computation (New York, NY, USA), ACM Press; 2005, pp. 76-83.
-
(2005)
ISSAC '05: Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation
, pp. 76-83
-
-
Brown, C.W.1
McCallum, S.2
-
8
-
-
0001938647
-
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
-
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
-
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
-
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
-
12
-
-
9444281527
-
Efficient projection orders for CAD
-
(New York, NY, USA), ACM Press
-
Andreas Dolzmann, Andreas Seidl, and Thomas Sturm, Efficient projection orders for CAD, ISSAC '04: Proceedings of the 2004 international symposium on Symbolic and algebraic computation (New York, NY, USA), ACM Press, 2004, pp. 111-118.
-
(2004)
ISSAC '04: Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation
, pp. 111-118
-
-
Dolzmann, A.1
Seidl, A.2
Sturm, T.3
-
13
-
-
0345851264
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|