DSpace at RU >

Browsing by Author Urban, J.

Full Text	Issue Date	Title	Author(s)
	2013	ATP and Presentation Service for Mizar Formalizations	Urban, J.; Rudnicki, P.; Sutcliffe, G.
	2013	The Mizar Mathematical Library in OMDoc: Translation and Applications	Iancu, M.; Kohlhase, M.; Rabe, F.; Urban, J.
	2012	Automated and Human Proofs in General Mathematics: An Initial Comparison	Alama, J.A.; Kühlwein, D.A.; Urban, J.
	2012	Learning from multiple proofs : first experiments	Kühlwein, D.; Urban, J.
	2012	Initial Experiments with External Provers and Premise Selection on HOL Light Corpora	Kaliszyk, C.; Urban, J.
	2012	Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics	Kühlwein, D.; Laarhoven, T.M. van; Tsivtsivadze, E.; Urban, J.; Heskes, T.
	2012	Point-and-Write – Documenting Formal Mathematics by Reference	Tankink, C.; Lange, C.; Urban, J.
	2012	Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar	Alama, J.; Mamane, L.; Urban, J.
	2011	Learning2Reason	Kühlwein, D.A.; Urban, J.; Tsivtsivadze, E.; Geuvers, H.; Heskes, T.
	2011	MaLeCoP: Machine Learning Connection Prover	Urban, J.; Vyskočil, J.; Štěpánek, P.
	2011	Large Formal Wikis: Issues and Solutions	Alama, J.A.; Brink, K.; Mamane, L.E.; Urban, J.
	2011	Licensing the Mizar mathematical library	Alama, J.A.; Kohlhase, M.; Mamane, L.E.; Naumowicz, A.; Rudnicki, P., et al
	2011	Preface	Davenport, J.; Farmer, W.; Rabe, F.; Urban, J.
	2011	Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings	Davenport, J.; Farmer, W.; Urban, J.; Rabe, F.
	2011	Content-based encoding of mathematical and code libraries	Urban, J.
	2011	MathWikis-2011 Mathematical Wikis : Proceedings of the ITP 2011 Workshop on Mathematical Wikis	Lange, C.; Urban, J.
	2011	An Overview of Methods for Large-Theory Automated Theorem Proving	Urban, J.
	2011	Semantic Graph Kernels for Automated Reasoning	Tsivtsivadze, E.; Urban, J.; Geuvers, H.; Heskes, T.
	2011	Multi-Output Ranking for Automated Reasoning	Kühlwein, D.A.; Urban, J.; Tsivtsivadze, E.; Geuvers, H.; Heskes, T.
	2010	Evaluation of Automated Theorem Proving on the Mizar Mathematical Library	Fukuda, K.; Hoeven, J.; Joswig, M.; Takayama, N.; Urban, J., et al
	2010	Automated Proof Compression by Invention of New Definitions	Clarke, E.; Voronkov, A.; Vyskocil, J.; Stanovsky, D.; Urban, J.
	2010	A wiki for Mizar: Motivation, considerations, and initial prototype	Urban, J.; Alama, J.; Rudnicki, P.; Geuvers, H.
	2010	Automated reasoning and presentation support for formalizing mathematics in Mizar	Urban, J.; Sutcliffe, G.