Search
Search Funnelback University
- Refined by:
- Date: 2003
1 -
10 of
15
search results for news |u:www.dpmms.cam.ac.uk
Fully-matching results
-
A quick introduction to countability
https://www.dpmms.cam.ac.uk/~wtg10/countability.html26 Nov 2003: 1. ,A. 2. ,. of subsets of N, define a new set A by the condition that n belongs to A if and only if n does not belong to A. -
Riemannian Geometry (L24) Gabriel P. Paternain This course is ...
https://www.dpmms.cam.ac.uk/~gpp24/rgeo04.pdf19 Dec 2003: 1. Reading to complement course material. 1. P. Petersen, Riemannian Geometry, Graduate Texts in Mathematics, Springer-Verlag,New York, 1998. -
A counterexample to a conjecture of Selmer Tom Fisher ...
https://www.dpmms.cam.ac.uk/~taf1000/papers/ceselmer.pdf4 Mar 2003: symmetric rather than alternating. Lemma 5.2 does not apply. 6 A new example. ... Koblitz, Introduction to elliptic curves and modular forms, GTM 97.Springer-Verlag, New York, 1993. -
premon.dvi
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/bh02.pdf26 Jun 2003: M. Pitts. New foundations for fix-point computations: FIX-hyperdoctrines and the FIX-logic. ... 20] R. Paterson. A new notation for arrows. In Proceed-ings of the International Conference on Functional Pro-gramming. -
Results in Linear Mathematics (P1) T.W.Körner May 19, 2003 ...
https://www.dpmms.cam.ac.uk/~twk10/V1.pdf19 May 2003: If you invent a new proof, first check itagainst Example 4.12 and then get your supervisor to check it. -
Doron Zeilberger's attitude to computer mathematics
https://www.dpmms.cam.ac.uk/~wtg10/zeilberger.html26 Mar 2003: Suppose some definition leads to a new and thriving branch of mathematics. ... Such results then form a new body of statements, one layer deeper than the original axioms. -
Just-do-it proofs
https://www.dpmms.cam.ac.uk/~wtg10/justdoit.html8 May 2003: Each time we look at a new row or column, we have chosen only finitely many of the terms in it, so we can make the rest 1 (for a row) ... way that each time one arrives at a new object, one has not made one's task impossible. -
PERIODIC ORBITS FOR EXACT MAGNETIC FLOWS ONSURFACES GONZALO…
https://www.dpmms.cam.ac.uk/~gpp24/comfS03.pdf10 Sep 2003: In Appendix C, we present a new proof of Taimanov’s results usingGeometric Measure Theory. ... Ginzburg, New generalizations of Poincaré’s geometric theorem, Funct. Anal. Appl. 21 (1989). -
premonita.dvi
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2003/bh03.pdf21 Aug 2003: 3Lava now uses a modified version of Haskell with ‘observable sharing’: allowing new name. ... 28] R. Paterson. A new notation for arrows. In Proceedings of the International Conference onFunctional Programming. -
Abstract set theory
https://www.dpmms.cam.ac.uk/~wtg10/settheory.html9 Jun 2003: If it were, then the diagonal argument would produce a new definable real number - contradiction.). ... In other words, the axioms give us rules that allow us to create new vectors from old ones.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.