Search
Search Funnelback University
- Refined by:
- Date: 2017
1 -
2 of
2
search results for `B B B1 B2` |u:www.dpmms.cam.ac.uk
Fully-matching results
-
COMPUTING THE CASSELS-TATE PAIRING ON 3-ISOGENYSELMER GROUPS VIA…
https://www.dpmms.cam.ac.uk/~taf1000/papers/ctp-3isog.pdf8 Nov 2017: a b b1 b2 c u v. 5316 35685 3965 3 2521 11 75316 5364 149 6 52 2 148 151585867584 [take cube-free parts]. ... first iteration we have c = 2512758208506770505416151958382 and. (u,v) = (1056910260262351, 931597016217248).On this and subsequent iterations -
Part III Logic in Lent Term 2017 Chapter 2: ...
https://www.dpmms.cam.ac.uk/~tef10/cam_only/partiiilogic2017.pdf27 Nov 2017: We shall construct a chain of models. B0 A0 B1 A1. ... cbn) such that Bn1 |= S(b1. bn). • A sentence φU such that An |= φ.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.