MathHub Dissemination

To enhance visibility and create an academic reward system for young researchers, MathHub will organize a review system for formalizations akin to the scientific review system.

• Open Rating System for FlexiForms

  MathHub.info will feature an open rating system for FlexiForms, which is driven by a /.-like discussion system. MathHub members can comment on MathHub contributions, make suggestions, and rate FlexiForms or reviews. MathHub members can obtain MathHub karma for writing good (i.e. well-rated) reviews. The MathHub karma will be used in weighting future reviews, so that hopefully a MathHub meritocracy will develop. … more

• Readers’ Choice List

  MathHub contributions whose rating exceeds a certain threshold will be harvested to a notification board that serves as a synchronous dissemination channel for popular formalizations. … more

• MathHub Notices

  The MathHub Notices will be an electronic periodical dedicated to the formal peer review and dissemination of FlexiForms. It will be managed by an international editorial board, which will also determine the publication period and volume size. Both will be restricted, so that acceptance rates are competitive with international journals. …more

  FlexiForms will be reviewed with respect to their technical quality, novelty, methodical innovation, and their reuse factor.