Abstract data types in Computer Algebra
JH Davenport - … Symposium on Mathematical Foundations of Computer …, 2000 - Springer
The theory of abstract data types was developed in the late 1970s and the 1980s by several
people, including the “ADJ” group, whose work influenced the design of Axiom. One …
people, including the “ADJ” group, whose work influenced the design of Axiom. One …
[HTML][HTML] Towards Formal Methods for Mathematical Modelling
U Martin - NASA CONFERENCE PUBLICATION, 2000 - books.google.com
We survey mathematical modeling, the mathematical and computational technologies upon
which it relies, and the potential sources of error. We assess formal methods and …
which it relies, and the potential sources of error. We assess formal methods and …
[PDF][PDF] Towards a Hoare Logic for Continuous-Time Control Systems
RJ Boulton, R Hardy, U Martin - 2002 - Citeseer
This paper presents a Hoare-style logic for reasoning about the frequency response of
control systems in the continuous-time domain. Two properties, the gain (amplitude) and …
control systems in the continuous-time domain. Two properties, the gain (amplitude) and …
[PDF][PDF] Ursula Martin Richard Boulton, Ruth Hardy, Tom Kelsey University of St Andrews July 2002
R Boulton - 2002 - Citeseer
The purpose of this project was to investigate machine assisted reasoning in the context of
Mathwork's Simulink, in particular in the transition from continuous to discrete models of …
Mathwork's Simulink, in particular in the transition from continuous to discrete models of …