Conference paper
Wavefront and caustic surfaces of refractive laser beam shaper
David L. Shealy, John A. Hoffnagle
SPIE Optical Engineering + Applications 2007
Paper
An interpretation-oriented theorem prover over integers
Abstract
A special purpose theorem prover for establishing the validity of expressions over integer variables was developed as part of a program verifier. It is built around a powerful system for manipulating and simplifying integer expressions. © 1972 Academic Press, Inc.
Related
Simeon Furrer, Dirk Dahlhaus
ISIT 2005
Jonathan Ashley, Brian Marcus, et al.
Ergodic Theory and Dynamical Systems
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering