Custom Automations in Mizar
暂无分享,去创建一个
[1] Adam Naumowicz,et al. Mizar in a Nutshell , 2010, J. Formaliz. Reason..
[2] Piotr Rudnicki,et al. On Equivalents of Well-Foundedness , 1999, Journal of Automated Reasoning.
[3] Josef Urban,et al. Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics , 2006, Int. J. Artif. Intell. Tools.
[4] Marco B. Caminati,et al. Preliminaries to Classical First Order Model Theory , 2011, Formaliz. Math..
[5] Adam Naumowicz. Evaluating Prospective Built-in Elements of Computer Algebra in Mizar ⋆ , 2007 .
[6] Josef Urban,et al. MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics , 2006, J. Appl. Log..
[7] Josef Urban,et al. Escape to ATP for Mizar , 2011, PxTP.
[8] Josef Urban,et al. Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles , 2004, MKM.
[9] Paul A. Cairns,et al. Integrating Searching and Authoring in Mizar , 2007, Journal of Automated Reasoning.
[10] Adam Naumowicz,et al. Improving Mizar Texts with Properties and Requirements , 2004, MKM.
[11] Freek Wiedijk. Mizar's Soft Type System , 2007, TPHOLs.