نتایج جستجو برای: theorem proving

تعداد نتایج: 162666  

1997
Rosemary Monahan Franz Geiselbrechtinger

This paper discusses the relationship between transformational programming and theorem proving. It illustrates the use of the theorem proving environment as a basis for a program construction tool DEBATE 1 (Deduction Based Transformational Environment) which is under construction in University College Dublin. Using a theorem proving framework directly would require the user to be familiar with ...

2000
Bruno Buchberger

Automated theorem proving is a well established subject in computer science. The advances made in the algorithmic techniques for automated theorem proving are impressive, see the survey paper [Loveland 1996]. Also, automated theorem proving has found various important applications in computer science. For example, Robinson’s resolution proving method launched a whole new programming paradigm, n...

Journal: :CoRR 2017
Dmitry Golubenko

Parikh theorem was originally stated and proved by Rohkit Parikh in MIT research report in 1961. Many different proofs of this classical theorems were produced then; our goal is to give another proof using Chomsky-Schutzenberger representation theorem. We present the proof which doesn't use any formal language theory tool at all except the representation theorem, just some linear algebra.

ژورنال: اندیشه آماری 2016
, ,

‎Basu’s theorem is one of the most elegant results of classical statistics‎. ‎Succinctly put‎, ‎the theorem says‎: ‎if T is a complete sufficient statistic for a family of probability measures‎, ‎and V is an ancillary statistic‎, ‎then T and V are independent‎. ‎A very novel application of Basu’s theorem appears recently in proving the infinite divisibility of certain statistics‎. ‎In addition ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان - دانشکده علوم پایه 1387

چکیده ندارد.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده علوم 1386

چکیده ندارد.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تهران 1386

چکیده ندارد.

Journal: :Linear Algebra and its Applications 1971

Journal: :Journal of Symbolic Computation 1995

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید