Results 251 to 260 of about 1,007,644 (283)
Some of the next articles are maybe not open access.

Mathematical proof

1985
J. E. Hebborn, C. Plumpton
openaire   +1 more source

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

Journal of Automated Reasoning, 2017
Adam Grabowski   +2 more
exaly  

100% Mathematical Proof

The Mathematical Gazette, 1999
Bob Burn   +3 more
openaire   +1 more source

Home - About - Disclaimer - Privacy