THEOREM PROVING SYSTEM - Encyclopedia Information

From Wikipedia, the free encyclopedia

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Theorem Proving System" – news · newspapers · books · scholar · JSTOR (May 2016) ( Learn how and when to remove this template message)

The topic of this article may not meet Wikipedia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.
Find sources: "Theorem Proving System" – news · newspapers · books · scholar · JSTOR (May 2016) ( Learn how and when to remove this template message)

The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS (Educational Theorem Proving System).

External links

Theorem Proving System web page

This article about mathematics software is a stub. You can help Wikipedia by expanding it.

Retrieved from " https://en.wikipedia.org/?title=Theorem_Proving_System&oldid=1168232164"

Hidden categories:

From Wikipedia, the free encyclopedia

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Theorem Proving System" – news · newspapers · books · scholar · JSTOR (May 2016) ( Learn how and when to remove this template message)

The topic of this article may not meet Wikipedia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.
Find sources: "Theorem Proving System" – news · newspapers · books · scholar · JSTOR (May 2016) ( Learn how and when to remove this template message)

The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS (Educational Theorem Proving System).

External links

Theorem Proving System web page

This article about mathematics software is a stub. You can help Wikipedia by expanding it.

Retrieved from " https://en.wikipedia.org/?title=Theorem_Proving_System&oldid=1168232164"

Hidden categories:

Videos

Youtube | Vimeo | Bing

Websites

Google | Yahoo | Bing

Encyclopedia

Google | Yahoo | Bing

Facebook