Search
Results:
lex.ucsd.edulex.ucsd.edu/links Algebraic Number Theory Archives
Electronic preprint archives for mathematics research papers in algebraic number theory and... July 31, 2002, Simple proofs of classical explicit reciprocity laws on curves using determinant...
Structures and Deduction
algebraic semantics of proofs. game semantics. proof nets. deductive proof nets <> deep inference. operads and structads. calculus of structures <> deduction modulo
Pythagorean Theorem and its many proofs
In the Foreward, the author rightly asserts that the number of algebraic proofs is limitless as is also the number of geometric proofs, but that the proposition admits no trigonometric proof.
The Source of All Wisdom
A Guide to Arithmetic ( dvi , ps , pdf ) Notes on Algebraic Numbers ( dvi , ps , pdf ) Algebraic Number... This gives (so far) fourteen proofs that the sum of the reciprocals of the squares of the natural...
Formal Methods Virtual Library
Common Algebraic Specification Language, for algebraic specification and development, from CoFI , the... Coq proof assistant : checks proofs about assertions, helps to find formal proofs and extracts...
Pythagoras' Theorem - dissections
Some of them turn out to be closely related to the straightforward `algebraic' proofs. There is in fact a general and elementary result about areas in the plane (apparently proven first around 1900...
Algebraic Topology
A downloadable textbook in algebraic topology... This is an incomplete draft, lacking some proofs. pdf file (89KB, 6 pages) or postscript...
Algebraic Semiotics
... Algebraic semiotics combines aspects of algebraic specification and social semiotics. It has been applied to information visualization, user interface design, the representation of mathematical proofs...
Algebraic Structures and Number Theory
... throughout the course, not only in computational venues, but especially in mathematical situations involving exploration, conjecture, discovery, and the construction of numerical or algebraic proofs.
