Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Definitions (and Concepts) in Mathematical Practice

Coumans, V.J.W.

Publication date

January 2021

DOI

10.1007/978-3-030-19071-2_94-1

Publisher

Springer Science and Business Media LLC

Abstract

Contains fulltext : 239465.pdf (Publisher’s version ) (Closed access

Extracted data

Related items

Storage and computation in the mental lexicon

Baayen, R.H.

January 2007

Contains fulltext : 44682.pdf (publisher's version ) (Closed access

Quantative Methods

Rietveld, T.
Hout, R.W.N.M. van

January 2005

Contains fulltext : 247726.pdf (publisher's version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access

Computerising Mathematical Text

Kamareddine, F.
Wells, J.
Zengler, C.
Barendregt, H.

January 2014

Contains fulltext : 134655.pdf (preprint version ) (Open Access

Buridan on mathematics

Thijssen, J.M.M.H.

January 1985

Contains fulltext : 357104.pdf (publisher's version ) (Closed access)24 p

Mathematica utens

Farkas, J.
Sarbo, J.J.

January 2004

Contains fulltext : 60490.pdf (preprint version ) (Open Access)14 p

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Pragmatics and processing

Geurts, B.
Rubio-Fernández, P.

January 2015

Contains fulltext : 144979.pdf (publisher's version ) (Closed access

Proofs of correctness in Mathematics and Industry

Barendregt, H.P.

January 2009

Contains fulltext : 75959.pdf (author's version ) (Closed access

The Dutch mathematical landscape

Landsman, K.

January 2010

Contains fulltext : 83925.pdf (publisher's version ) (Open Access

Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description

Kaliszyk, C.
Urban, J.
Vyskočil, J.
Geuvers, H.

January 2014

Contains fulltext : 129989.pdf (preprint version ) (Closed access

The Mizar Mathematical Library in OMDoc: Translation and Applications

Iancu, M.
Kohlhase, M.
Rabe, F.
Urban, J.

January 2013

Contains fulltext : 111268.pdf (preprint version ) (Open Access

Deixis and pragmatics

Levinson, S.C.

January 2003

Contains fulltext : 191155.pdf (publisher's version ) (Closed access

Frames of reference and language concepts

Majid, A.

January 2002

Contains fulltext : M_356382.pdf (publisher's version ) (Closed access)2 p

Making sense of student mathematical thinking: the role of teacher mathematical thinking

Kooloos, Chris
Oolbekkink-Marchand, H.W.
Boven, Saskia van
Kaenders, Rainer
Heckman, Gert

January 2022

Contains fulltext : 250518.pdf (Publisher’s version ) (Closed access)04 februari 2...

Storage and computation in the mental lexicon

Baayen, R.H.

January 2007

Contains fulltext : 44682.pdf (publisher's version ) (Closed access

Quantative Methods

Rietveld, T.
Hout, R.W.N.M. van

January 2005

Contains fulltext : 247726.pdf (publisher's version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access

Computerising Mathematical Text

Kamareddine, F.
Wells, J.
Zengler, C.
Barendregt, H.

January 2014

Contains fulltext : 134655.pdf (preprint version ) (Open Access

Buridan on mathematics

Thijssen, J.M.M.H.

January 1985

Contains fulltext : 357104.pdf (publisher's version ) (Closed access)24 p

Mathematica utens

Farkas, J.
Sarbo, J.J.

January 2004

Contains fulltext : 60490.pdf (preprint version ) (Open Access)14 p

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Pragmatics and processing

Geurts, B.
Rubio-Fernández, P.

January 2015

Contains fulltext : 144979.pdf (publisher's version ) (Closed access

Proofs of correctness in Mathematics and Industry

Barendregt, H.P.

January 2009

Contains fulltext : 75959.pdf (author's version ) (Closed access

The Dutch mathematical landscape

Landsman, K.

January 2010

Contains fulltext : 83925.pdf (publisher's version ) (Open Access

Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description

Kaliszyk, C.
Urban, J.
Vyskočil, J.
Geuvers, H.

January 2014

Contains fulltext : 129989.pdf (preprint version ) (Closed access

The Mizar Mathematical Library in OMDoc: Translation and Applications

Iancu, M.
Kohlhase, M.
Rabe, F.
Urban, J.

January 2013

Contains fulltext : 111268.pdf (preprint version ) (Open Access

Deixis and pragmatics

Levinson, S.C.

January 2003

Contains fulltext : 191155.pdf (publisher's version ) (Closed access

Frames of reference and language concepts

Majid, A.

January 2002

Contains fulltext : M_356382.pdf (publisher's version ) (Closed access)2 p

Making sense of student mathematical thinking: the role of teacher mathematical thinking

Kooloos, Chris
Oolbekkink-Marchand, H.W.
Boven, Saskia van
Kaenders, Rainer
Heckman, Gert

January 2022

Contains fulltext : 250518.pdf (Publisher’s version ) (Closed access)04 februari 2...

Storage and computation in the mental lexicon

Baayen, R.H.

January 2007

Contains fulltext : 44682.pdf (publisher's version ) (Closed access

Quantative Methods

Rietveld, T.
Hout, R.W.N.M. van

January 2005

Contains fulltext : 247726.pdf (publisher's version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access