📝 提交该分类网址

📁 Fermat's

Fermat's Last Theorem stated, in his words, "It is impossible to separate a cube into two cubes, or a fourth power into two fourth powers, or in general, any power higher than the second into two like powers." This category is for history, proof, and conjectures related to the theorem.

条目 (9+)

全部 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

British Colloquium for Theoretical Computer Science

http://www.csc.liv.ac.uk/~ped/bctcs/summary.html

👍 0 详情链接

The Continuum Hypothesis

http://www.msri.org/workshops/94

👍 0 详情链接

World Congress on Universal Logic

http://www.uni-log.org/

👍 0 详情链接

Logic, Algebra and Geometry

http://logic.pdmi.ras.ru/june2004/

👍 0 详情链接

LPAR 2001

http://www.cs.man.ac.uk/~voronkov/LPAR/2001/lpar2001.html

👍 0 详情链接

World Congress on Paraconsistency

http://www.cle.unicamp.br/wcp3/

👍 0 详情链接

CLIMA'02 - Computational Logic in Multi-Agent Systems

http://centria.di.fct.unl.pt/~jleite/clima02/

👍 0 详情链接

21st Days of Weak Arithmetics

http://logic.pdmi.ras.ru/jaf21/

👍 0 详情链接

TPTS

http://www-verimag.imag.fr/~maler/TPTS.html

👍 0 详情链接