Search For:

Displaying 1-2 out of 2 total
Asteroid Modeling for Testing Spacecraft Approach and Landing
Found in: IEEE Computer Graphics and Applications
By Iain Martin,Steve Parkes,Martin Dunstan,Nick Rowell
Issue Date:July 2014
pp. 52-62
Spacecraft exploration of asteroids presents autonomous-navigation challenges that can be aided by virtual models to test and develop guidance and hazard-avoidance systems. Researchers have extended and applied graphics techniques to create high-resolution...
Lightweight formal methods for computer algebra systems
Found in: Proceedings of the 1998 international symposium on Symbolic and algebraic computation (ISSAC '98)
By Martin Dunstan, Steve Linton, Tom Kelsey, Ursula Martin
Issue Date:August 1998
pp. 80-87
This paper defines and presents a method of inheritance for structures that are defined by rewrite rules. This method is natural in the sense that it can be easily and cleanly implemented in rewrite rules themselves. This framework of inheritance is not th...