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

*To*: pvs-help@csl.sri.com*Subject*: formalizing integration*From*: Sayan Mitra <mitras@csa.iisc.ernet.in>*Date*: Fri, 13 Apr 2001 22:03:37 +0530 (IST)*Sender*: pvs-help-owner@csl.sri.com

Hello, I am writing a theory in PVS and I need to write simple expressions involving integration, say eg. v(t) = \Int a(t) dt And then prove lemmas like : If a(t) = 0 over a range of t then v(t) remains constant . I have not found a theory which formalizes integration. Can someone tell me a way of doing this ? Thank you very much, regrads Sayan Sayan Mitra [MS(Engg)] Dept. Computer Science and Automation, Indian Institute of Science Bangalore 560012 Tel : 309-2625 (r) 309-2912 (l) URL: www2.csa.iisc.ernet.in/~mitras

- Prev by Date:
**Re: PVS batch mode** - Next by Date:
**Re: formalizing integration** - Prev by thread:
**Re: Defining a finite (super)type.** - Next by thread:
**Re: formalizing integration** - Index(es):