Pacific Journal of Mathematics

Last updated

References

  1. 1 2 3 "PJM Editorial". msp.org. Retrieved 2021-08-02.
  2. 1 2 3 "Pacific Journal of Mathematics". www.scimagojr.com. Retrieved 2021-08-02.
  3. Gonthier, Georges; Asperti, Andrea; Avigad, Jeremy; Bertot, Yves; Cohen, Cyril; Garillot, François; Le Roux, Stéphane; Mahboubi, Assia; O’Connor, Russell; Ould Biha, Sidi; Pasca, Ioana; Rideau, Laurence; Solovyev, Alexey; Tassi, Enrico; Théry, Laurent (2013). "A Machine-Checked Proof of the Odd Order Theorem". Interactive Theorem Proving. Vol. 7998. Berlin, Heidelberg: Springer Berlin Heidelberg. p. 163–179. doi: 10.1007/978-3-642-39634-2_14 . ISBN   978-3-642-39633-5 . Retrieved 2025-05-10.
  4. Feit, Walter; Thompson, John (1963-09-01). "Chapter I, from Solvability of groups of odd order, Pacific J. Math, vol. 13, no. 3 (1963" (PDF). Pacific Journal of Mathematics. 13 (3): 775–787. doi: 10.2140/pjm.1963.13.775 . ISSN   0030-8730 . Retrieved 2025-05-10.