2008 search results - page 69 / 402 » Computing with Equations |
ADG
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
LOGCOM
2010
13 years 7 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
SIAMNUM
2010
13 years 3 months ago
2010
In this paper we develop boundary value methods for detecting Sacker-Sell spectra in discrete time dynamical systems. The algorithms are advancements of earlier methods for comput...
ICA
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We discuss causal structure learning based on linear structural equation models. Conventional learning methods most often assume Gaussianity and create many indistinguish...
SIAMAM
2008
13 years 9 months ago
2008
Fourth order thin film equations can have late stage dynamics that arise in a fashion analogous to the classical Cahn Hilliard equation. Profound differences arise however, both b...