MML review process in 2016
Incorporated into the MML:
FM 24(1), 2016
FINANCE3 (28.12.2014)
EUCLID12 (9.04.2015)
EUCLID13 (2.06.2015)
ZMODUL08 (4.06.2015)
ZMODLAT1 (9.06.2015)
MEASUR10 (8.09.2015)
GROUP_21 (10.09.2015)
FM 24(2), 2016
BAGORD_2 (25.09.2015)
COUSIN (3.10.2015)
SRINGS_5 (24.10.2015)
ROUGHS_3 (18.12.2015)
GTARSKI2 (3.04.2016)
FM 24(3), 2016
TOPMETR4 (9.12.2015)
CARDFIL4 (11.12.2015)
NEWTON03 (22.02.2016)
INTEGR22 (23.02.2016)
UNIFORM2 (5.03.2016)
UNIFORM3 (5.03.2016)
RING_4 (23.06.2016)
FM 24(4), 2016
ANPROJ_8 previously known as ANPROJ_3 (19.06.2016)
INTEGR_23 (29.06.2016)
NEWTON04 (21.07.2016)
LEIBNIZ1 (4.08.2016)
PL_AXIOM (24.08.2016)
ALGNUM_1 (10.10.2016)
NIVEN (23.11.2016)
[
Home
|
Project
|
Language
|
System
|
People
|
MML
|
FM
|
SUM
]
Last modified: January 27, 2017