MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Equational Abstractions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

297 documents found, showing 1 through 10. Next 10 →

ATOM

Equational Abstractions
by José Meseguer, Miguel Palomino, Narciso Martí-Oliet — 2003
…Equational Abstractions Jose Meseguer 1 , Miguel Palomino 1;2 , and Narciso Mart-Oliet 2 1…
Cited by 16 (9 self) – Add To MetaCart

Strong solutions for differential equations in abstract spaces
by Eduardo V. Teixeira — 2005
… for differential equations in abstract spaces Eduardo V. Teixeira Department of Mathematics, University of Texas…
Cited by 1 (1 self) – Add To MetaCart

An Experimental Evaluation of Iterative Solvers for Large SPD Systems of Linear Equations ABSTRACT
by Thomas George, Anshul Gupta, Vivek Sarin, Thomas George
… of Iterative Solvers for Large SPD Systems of Linear Equations ABSTRACT Thomas George Dept. of Computer Science…
Add To MetaCart

Numerical Solution of Constant Coefficient Linear Delay Differential Equations as Abstract Cauchy
by A. Bellen, S. Maset
…NUMERICAL SOLUTION OF CONSTANT COEFFICIENT LINEAR DELAY DIFFERENTIAL EQUATIONS AS ABSTRACT CAUCHY…
Cited by 1 (0 self) – Add To MetaCart

Automatic Abstraction of Equations in . . .
by Miroslav N. Velev — 2003 — AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX '03)
…–213. Automatic Abstraction of Equations in a Logic of Equality Abstract. The paper presents a method…
Add To MetaCart

On Practicality of Abstract Equation Systems
by Anne Mulkers, Wim Simoens, Gerda Janssens , Maurice Bruynooghe — 1994
… On the Practicality of Abstract Equation Systems\Lambda Anne Mulkers Wim Simoensy Gerda Janssens…
Cited by 21 (7 self) – Add To MetaCart

Equational Proof-Planning by Dynamic Abstraction
by Serge Autexier, Dieter Hutter — 1997 — In M.P. Bonacina and U. Furbach, editors, Proceedings of FTP97
…Equational Proof-Planning by Dynamic Abstraction Serge Autexier CS Department University…
Cited by 5 (3 self) – Add To MetaCart

Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation
by Valrie Viet, Valérie Viet Triem Tong, Thomas Genet, Thomas Genet, Triem Tong, Triem Tong — 2002
… AUTOMATIQUE Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation…
Add To MetaCart

I/O Equations for Nonlinear Systems and Observation Spaces
by Eduardo D. Sontag, Yuan Wang — 1991 — in Proc. 30th IEEE Conf. Decision and Control
…-differential equations, and an abstract notion is also considered. New results are given on generic observability…
Cited by 4 (4 self) – Add To MetaCart

Computability In Nonlinear Solid Mechanics
by By Belytschko And, T. Belytschko, K. Mish
… equation. An abstract measure of the level of difficulty is proposed, and some examples of typical…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB