2008 search results - page 2 / 402 » Computing with Equations |
SAS
1991
Springer
13 years 11 months ago
1991
Springer
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
DAGSTUHL
2007
13 years 9 months ago
2007
The problem of reducing an algebraic Riccati equation XCX − AX − XD + B = 0 to a unilateral quadratic matrix equation (UQME) of the kind PX2 + QX + R = 0 is analyzed. New redu...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
PUC
2002
13 years 7 months ago
2002
: The Media Equation asserts that people treat and behave towards computers in much the same way as towards other people, for example regarding politeness. We report the results of...
AMC
2005
13 years 7 months ago
2005
A constructive algorithm for the completion of arbitrary algebraic partial differential equation systems to involutive ones are presented. Based on it, an implementation ICS for c...