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?

13 years 10 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

13 years 10 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

13 years 10 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

13 years 10 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

13 years 10 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