Constraint-Based Framework for Reasoning with Differential Equations

Cyber-Physical Systems Security ◽

10.1007/978-3-319-98935-8_2 ◽

2018 ◽

pp. 23-41 ◽

Cited By ~ 1

Author(s):

Julien Alexandre dit Sandretto ◽

Alexandre Chapoutot ◽

Olivier Mullier

Keyword(s):

Differential Equations

Download Full-text

Partial Differential Equations

10.1017/9781108839808 ◽

2020 ◽

Author(s):

A. K. Nandakumaran ◽

P. S. Datti

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

Partial Differential

Download Full-text

Perturbation of the Boundary in Boundary-Value Problems of Partial Differential Equations

10.1017/cbo9780511546730 ◽

2005 ◽

Cited By ~ 54

Author(s):

Dan Henry

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

Boundary Value Problems ◽

Boundary Value ◽

Partial Differential

Download Full-text

Computer Algebra and Differential Equations

10.1017/cbo9780511565816 ◽

1994 ◽

Cited By ~ 2

Keyword(s):

Differential Equations ◽

Computer Algebra

Download Full-text

p-adic Differential Equations

10.1017/cbo9780511750922 ◽

2009 ◽

Cited By ~ 38

Author(s):

Kiran S. Kedlaya

Keyword(s):

Differential Equations

Download Full-text

Partial Differential Equations in Fluid Dynamics

10.1017/cbo9780511754654 ◽

2008 ◽

Cited By ~ 4

Author(s):

Isom H. Herron ◽

Michael R. Foster

Keyword(s):

Fluid Dynamics ◽

Partial Differential Equations ◽

Differential Equations ◽

Partial Differential

Download Full-text

Differential Equations for Engineers

10.1017/cbo9780511761683 ◽

2009 ◽

Cited By ~ 4

Author(s):

Wei-Chau Xie

Keyword(s):

Differential Equations

Download Full-text

A First Course in the Numerical Analysis of Differential Equations

10.1017/cbo9780511995569 ◽

2008 ◽

Cited By ~ 94

Author(s):

Arieh Iserles

Keyword(s):

Numerical Analysis ◽

Differential Equations

Download Full-text

Product Integration with Application to Differential Equations

10.1017/cbo9781107340701 ◽

1984 ◽

Cited By ~ 4

Author(s):

John Day Dollard ◽

Charles N. Friedman

Keyword(s):

Differential Equations ◽

Product Integration

Download Full-text

Partial Differential Equations

10.1017/cbo9781139171755 ◽

1987 ◽

Cited By ~ 391

Author(s):

J. Wloka

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

Partial Differential

Download Full-text

Dispersive Partial Differential Equations

10.1017/cbo9781316563267 ◽

2016 ◽

Cited By ~ 9

Author(s):

M. Burak Erdogan ◽

Nikolaos Tzirakis

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

Partial Differential

Download Full-text