[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

trigonometry

To: pvs-help@csl.sri.com
Subject: trigonometry
From: "Victor A. Carreno" <v.a.carreno@larc.nasa.gov>
Date: Mon, 21 Jun 1999 08:16:59 -0400 (EDT)
Reply-To: "Victor A. Carreno" <v.a.carreno@larc.nasa.gov>


Has any one done some work in defining trigonometric functions in PVS?

Thank you,

Victor Carreno

Prev by Date: Re: help discharging a TCC
Next by Date: help with a typechecking error message
Prev by thread: Re: help with a typechecking error message
Next by thread: help discharging a TCC
Index(es):
- Date
- Thread