Andrzej Trybulec

According to our database, Andrzej Trybulec authored at least 7 papers between 1985 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

Formal Mathematics for Mathematicians - Foreward to the Special Issue.

Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Trybulec Kuperberg

J. Autom. Reason., 2013

2006

Mizar.

Andrzej Trybulec

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

2003

On the Integrity of a Repository of Formalized Mathematics.

Piotr Rudnicki, Andrzej Trybulec

Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

2001

Commutative Algebra in the Mizar System.

Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec

J. Symb. Comput., 2001

1999

On Equivalents of Well-Foundedness.

Piotr Rudnicki, Andrzej Trybulec

J. Autom. Reason., 1999

1985

Computer Aider Reasoning.

Andrzej Trybulec, Howard A. Blair

Proceedings of the Logics of Programs, 1985

Computer Assisted Reasoning with MIZAR.

Andrzej Trybulec, Howard A. Blair

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985