Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

In the recent years, we have linked a large corpus of formal mathematics with automated theorem proving (ATP) tools, and started… Expand

Is this relevant?

2012

2012

The classification of possible errors in object intents is given and some possibilities of exploring them are discussed. An… Expand

Is this relevant?

2008

2008

Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and… Expand

Is this relevant?

2007

2007

Traditionally, computer simulation techniques are used to perform probabilistic analysis. However, they provide inaccurate… Expand

Is this relevant?

2007

2007

Readers may make verbatim copies of this document for noncommercial purposes by any means, provided that the above copyright… Expand

Is this relevant?

Highly Cited

2004

Highly Cited

2004

Four statements equivalent to well-foundedness (well-founded induction, existence of recursively defined functions, uniqueness of… Expand

Is this relevant?

2003

2003

MIZAR, a proof-checking system, is used to build the MIZAR Mathematical Library (MML). This is a long term project aiming at… Expand

Is this relevant?

2002

2002

The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires… Expand

Is this relevant?

1999

1999

Four statements equivalent to well-foundedness (well-founded induction, existence of recursively deened functions, uniqueness of… Expand

Is this relevant?

1998

1998

The importance of a rigorous definition of the singular degree of a distribution is demonstrated on the case of two-dimensional… Expand

Is this relevant?