Author of the publication

Lemma Extraction Criteria Based on Properties of Theorem Statements.

. FM4M/MathUI/ThEdu/DP/WIP@CIKM, volume 1785 of CEUR Workshop Proceedings, page 158-171. CEUR-WS.org, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Affine Independence in Vector Spaces.. Formalized Mathematics, 18 (1-4): 87-93 (2010)Jordan Matrix Decomposition.. Formalized Mathematics, 16 (1-4): 297-303 (2008)Brouwer Fixed Point Theorem for Simplexes.. Formalized Mathematics, 19 (3): 145-150 (2011)Continuity of Barycentric Coordinates in Euclidean Topological Spaces.. Formalized Mathematics, 19 (3): 139-144 (2011)Eigenvalues of a Linear Transformation.. Formalized Mathematics, 16 (1-4): 289-295 (2008)Block Diagonal Matrices.. Formalized Mathematics, 16 (1-4): 259-267 (2008)Linear Map of Matrices.. Formalized Mathematics, 16 (1-4): 269-275 (2008)Small Inductive Dimension of Topological Spaces. Part II.. Formalized Mathematics, 17 (1-4): 219-222 (2009)AIM Loops and the AIM Conjecture., and . Formaliz. Math., 27 (4): 321-335 (2019)Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard.. J. Autom. Reason., 55 (3): 295-306 (2015)