MML review process in 2016


Incorporated into the MML:

    FM 24(1), 2016
  1. FINANCE3 (28.12.2014)
  2. EUCLID12 (9.04.2015)
  3. EUCLID13 (2.06.2015)
  4. ZMODUL08 (4.06.2015)
  5. ZMODLAT1 (9.06.2015)
  6. MEASUR10 (8.09.2015)
  7. GROUP_21 (10.09.2015)

    FM 24(2), 2016
  1. BAGORD_2 (25.09.2015)
  2. COUSIN (3.10.2015)
  3. SRINGS_5 (24.10.2015)
  4. ROUGHS_3 (18.12.2015)
  5. GTARSKI2 (3.04.2016)

    FM 24(3), 2016
  1. TOPMETR4 (9.12.2015)
  2. CARDFIL4 (11.12.2015)
  3. NEWTON03 (22.02.2016)
  4. INTEGR22 (23.02.2016)
  5. UNIFORM2 (5.03.2016)
  6. UNIFORM3 (5.03.2016)
  7. RING_4 (23.06.2016)

    FM 24(4), 2016
  1. ANPROJ_8 previously known as ANPROJ_3 (19.06.2016)
  2. INTEGR_23 (29.06.2016)
  3. NEWTON04 (21.07.2016)
  4. LEIBNIZ1 (4.08.2016)
  5. PL_AXIOM (24.08.2016)
  6. ALGNUM_1 (10.10.2016)
  7. NIVEN (23.11.2016)

[ Home | Project | Language | System | People | MML | FM | SUM ]

Last modified: January 27, 2017