Search Sciweavers | Sciweavers

18 search results - page 1 / 4

» mkm 2007

click to vote

MKM
2007
Springer

100views Information Technology» more MKM 2007»

What Might "Understand a Function" Mean?

14 years 5 months ago

Download people.bath.ac.uk

James H. Davenport

claim paper

Read More »

click to vote

MKM
2007
Springer

95views Information Technology» more MKM 2007»

The On-Line Encyclopedia of Integer Sequences

14 years 5 months ago

Download pictor.math.uqam.ca

Neil J. A. Sloane

claim paper

Read More »

click to vote

MKM
2007
Springer

83views Information Technology» more MKM 2007»

A Framework for Interactive Proof

14 years 5 months ago

Download www.informatik.uni-bremen.de

David Aspinall, Christoph Lüth, Daniel Winter...

claim paper

Read More »

click to vote

MKM
2007
Springer

75views Information Technology» more MKM 2007»

Restoring Natural Language as a Computerised Mathematics Input Method

14 years 5 months ago

Download www.macs.hw.ac.uk

Fairouz Kamareddine, Robert Lamar, Manuel Maarek, ...

claim paper

Read More »

click to vote

MKM
2007
Springer

109views Information Technology» more MKM 2007»

Towards Constructive Homological Algebra in Type Theory

14 years 5 months ago

Download arnaud.spiwack.free.fr

This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].

Thierry Coquand, Arnaud Spiwack

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers