Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Andrzej Trybulec"'
Autor:
Karol Pak, Andrzej Trybulec
Publikováno v:
Formalized Mathematics, Vol 15, Iss 3, Pp 143-150 (2007)
Laplace ExpansionIn the article the formula for Laplace expansion is proved.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2bda1df09f219c6c4cccaf77f834b2a3
https://doaj.org/article/ac364e9f1632415593bca86caad7de03
https://doaj.org/article/ac364e9f1632415593bca86caad7de03
Publikováno v:
Journal of Automated Reasoning. 50:119-121
The collection of works for this special issue was inspired by the presentations given at the 2011 AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics. The issue features a collection of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96760733e4c96cb6d3587a54f11510a5
https://doi.org/10.1007/s10817-012-9268-z
https://doi.org/10.1007/s10817-012-9268-z
Publikováno v:
Journal of Symbolic Computation. 32:143-169
We report on the development of algebra in the Mizar system. This includes the construction of formal multivariate power series and polynomials as well as the definition of ideals up to a proof of the Hilbert basis theorem. We present how the algebra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::147f6cc8e7b3b485519e9db5757b93b6
https://doi.org/10.1006/jsco.2001.0456
https://doi.org/10.1006/jsco.2001.0456
Autor:
Andrzej Trybulec
Publikováno v:
The Seventeen Provers of the World ISBN: 9783540307044
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::16b3a1c9e09a6f5fe10742143453cdfe
https://doi.org/10.1007/11542384_4
https://doi.org/10.1007/11542384_4
Autor:
Andrzej Trybulec, Piotr Rudnicki
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540005681
MKM
MKM
MIZAR, a proof-checking system, is used to build the MIZAR Mathematical Library (MML). This is a long term project aiming at building a comprehensive library of mathematical knowledge. The language and the checking software evolve, and the evolution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::db55ebdd170fc84332f9587e0a7ca67f
https://doi.org/10.1007/3-540-36469-2_13
https://doi.org/10.1007/3-540-36469-2_13
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540005681
Mathematical Knowledge Management
Mathematical Knowledge Management
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4de687592edd8f32fbb9e48201fe28ce
https://doi.org/10.1007/3-540-36469-2
https://doi.org/10.1007/3-540-36469-2
This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selec
Autor:
Piotr Rudnicki, Andrzej Trybulec
Publikováno v:
Fundamenta Informaticae. 4:511-516
An analytic investigation of formal languages is of practical value, apart from their description by means of generative grammars. This paper deals with the problem of grouping into classes the vocabulary elements of similar syntactic properties. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9167d68deba95948c928269d7adb52e
https://doi.org/10.3233/fi-1981-4303
https://doi.org/10.3233/fi-1981-4303
Autor:
Andrzej Trybulec
Publikováno v:
Studia Logica. 35:7-16
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26001f4854f8cd817f9aeb65c2d08ffa
https://doi.org/10.1007/bf02120949
https://doi.org/10.1007/bf02120949
Autor:
Andrzej Trybulec, Howard A. Blair
Publikováno v:
Logics of Programs ISBN: 9783540156482
We present a language intended to be a first step in approximating the language of mathematical papers, and a validator; that is, a program that checks the validity of arguments written in this language. The validator approximates the activity of a m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::402884ed1ad29bf5821db6d9bde791ee
https://doi.org/10.1007/3-540-15648-8_30
https://doi.org/10.1007/3-540-15648-8_30