Theorema

Authors:
Wolfgang Windsteiger;Bruno Buchberger;Markus Rozenkranz
Affiliations:
No institute given;No institute given;No institute given
Venue:
The Seventeen Provers of the World
Year:
2006

Citing 2
Cited 1

A survey of the Theorema project

ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
The TH ∃ OREM ∀ project: a progress report

Symbolic computation and automated reasoning

Using Theorema in the formalization of theoretical economics

MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics

Quantified Score

Hi-index	0.00

Visualization

Abstract

Statement Theorem”gsqrt[2 irrational”, ¬ rat$\sqrt{2}$