3454 search results - page 111 / 691 » Modern computer algebra |
140
click to vote
ICCS
2003
Springer
15 years 11 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...
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
We study the algebraic structure of directed bigraphs, a bigraphical model of computations with locations, connections and resources previously introduced as a unifying generaliza...
140
click to vote
ITA
2007
15 years 6 months ago
2007
We explicit the link between the computer arithmetic problem of providing correctly rounded algebraic functions and some diophantine approximation issues. This allows to get bounds...
184
click to vote
SIGCSE
2003
ACM
15 years 11 months ago
2003
ACM
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...
204
click to vote
HASE
2008
IEEE
16 years 20 days ago
2008
IEEE
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...