Pinned

1. Queen & Pawns Queen & Pawns

   1

   Board size: 8x8

   2

   Reachable positions: 445,744,430

   3

   Possible games: 1,604,459,716,839,504,164,627,223,238,578,860,475,424,320,234,847,754,334,683,852,291,480 (~10^66)

   4

   5

   Initial position:

2. Number Field Sieve Number Field Sieve

   1

   Attempting to factor n = 361913909399305266402579347

   2

   Working in Z[w] where w is a complex root of f and f(m) = n

   3

     where f(x) = x^4 + 1412261 * x^2 + 260933 * x - 880918

   4

     and m = 4361655

   5

   Verified that f(x) is irreducible in Z[x]

3. solve solve Public

   Solving two-player games

   Haskell

4. factor factor Public

   Factoring integers and polynomials

   Haskell 3

5. metis metis Public

   An automatic theorem prover for first order logic with equality

   Standard ML 28 1

6. opentheory opentheory Public

   The opentheory tool processes higher order logic theory packages

   Standard ML 15 3