Result 1 to 20 of 68 total
On muldowney’s criteria for polynomial vector fields with constraints. (English)
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 13th international workshop, CASC 2011, Kassel, Germany, September 5‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23567-2/pbk). Lecture Notes in Computer Science 6885, 135-143 (2011).
1
Automatic verification of the adequacy of models for families of geometric objects. (English)
Sturm, Thomas (ed.) et al., Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22‒24, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence, 116-140 (2011).
2
Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22‒24, 2008. Revised papers. (English)
Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). vii, 225~p. EUR~49.22 (2011).
3
Verification and synthesis using real quantifier elimination (English)
ISSAC, 329-336 (2011).
4
On muldowney’s criteria for polynomial vector fields with constraints (English)
CASC, 135-143 (2011).
5
Parametric qualitative analysis of ordinary differential equations: computer algebra methods for excluding oscillations (extended abstract, invited talk). (English)
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6‒12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 267-279 (2010).
6
Supporting global numerical optimization of rational functions by generic symbolic convexity tests. (English)
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6‒12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 205-219 (2010).
7
Parametric quantified SAT solving (English)
ISSAC, 77-84 (2010).
8
Supporting global numerical optimization of rational functions by generic symbolic convexity tests (English)
CASC, 205-219 (2010).
9
Parametric qualitative analysis of ordinary differential equations: computer algebra methods for excluding oscillations (Extended abstract) (Invited talk) (English)
CASC, 267-279 (2010).
10
Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology. (English)
Math. Comput. Sci. 2, No. 3, 493-515 (2009).
11
Effective quantifier elimination for Presburger arithmetic with infinity. (English)
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 11th international workshop, CASC 2009, Kobe, Japan, September 13‒17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04102-0/pbk). Lecture Notes in Computer Science 5743, 195-212 (2009).
12
Quantum computation from an algorithmic point of view. (Quantum Computation aus algorithmischer Sicht.) (German)
München: Oldenbourg Verlag (ISBN 978-3-486-58914-6/hbk). ix, 143~p. EUR~49.80 (2009).
13
Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology (English)
Mathematics in Computer Science 2, No. 3, 493-515 (2009).
14
Acronyms for a database design course (English)
FECS, 438-444 (2009).
16
Mobile applications in the German health insurance system to improve the market position (English)
HEALTHINF, 117-122 (2009).
17
Effective quantifier elimination for Presburger arithmetic with infinity (English)
CASC, 195-212 (2009).
18
Investigating generic methods to solve Hopf bifurcation problems in algebraic biology. (English)
Horimoto, Katsuhisa (ed.) et al., Algebraic biology. Third international conference, AB 2008, Castle of Hagenberg, Austria, July 31‒August 2, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85100-4/pbk). Lecture Notes in Computer Science 5147, 200-215 (2008).
19
Automatic verification of the adequacy of models for families of geometric objects (English)
Automated Deduction in Geometry, 116-140 (2008).
20
Result 1 to 20 of 68 total
Start
Contact
Print
General Help
