281 search results - page 1 / 57 » Solving Parametric Algebraic Systems |
ISSAC
1992
Springer
13 years 9 months ago
1992
Springer
For a parametric polynomial system: p1 = 0,
ICCSA
2011
Springer
12 years 8 months ago
2011
Springer
This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues i...
ICCS
2003
Springer
13 years 10 months ago
2003
Springer
: We present a maple-package SyNRAC for solving real algebraic constraints aiming to realize a robust parametric control toolbox on MATLAB. Our main tool is real quantifier elimin...
SMC
2010
IEEE
13 years 3 months ago
2010
IEEE
—The paper concerns approximate dynamic decision making. It deals with solving Bellman equation to obtain the Bellman function via so-called suboptimal strategies. The suboptimal...
TLCA
1993
Springer
13 years 9 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...