Paul Cairns

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An application of Mary Ellen Rudin's solution to Nikiel's conjecture Topology and its Applications	2015-11-09	Paper
Using and parsing the Mizar language	2013-09-09	Paper
Integrating searching and authoring in Mizar Journal of Automated Reasoning	2007-12-03	Paper
Managing Automatically Formed Mathematical Theories Lecture Notes in Computer Science	2007-09-05	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2007-02-12	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2005-08-26	Paper
scientific article; zbMATH DE number 1951638 (Why is no real title available?)	2003-07-21	Paper
scientific article; zbMATH DE number 1951631 (Why is no real title available?)	2003-07-21	Paper
On dynamically presenting a topology course Annals of Mathematics and Artificial Intelligence	2003-06-09	Paper
On dynamically presenting a topology course	2002-02-14	Paper
Reply to `Comment on ``A framework for modelling trojans and computer virus infection\,' by E. Mäkinen The Computer Journal. Section A Section B	2001-01-01	Paper
scientific article; zbMATH DE number 859878 (Why is no real title available?)	1996-11-11	Paper

Research outcomes over time

This page was built for person: Paul Cairns