2008 search results - page 92 / 402 » Computing with Equations |
121
Voted
CMA
2011
14 years 9 months ago
2011
Recently, Parida and Gupta [J. Comp. Appl. Math. 206 (2007), 873-877] used Rall’s recurrence relations approach (from 1961) to approximate roots of nonlinear equations, by develo...
111
Voted
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. The deformation of applicable surfaces such as sheets of paper satisfies the differential geometric constraints of isometry (lengths and areas are conserved) and vanishin...
152
click to vote
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
129
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
163
Voted
BICOB
2011
Springer
14 years 2 months ago
2011
Springer
Although the populations of biological systems are inherently discrete and their dynamics are strongly stochastic, it is usual to consider their limiting behaviour for large envir...