R.P. Nederpelt's Documents

R.P. Nederpelt's Documents

Selected Papers on Automath

Selected Papers on Automath
Read more
Selected papers on automath

Selected papers on automath
Read more
Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)
Read more
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction
Read more
Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)
Read more
Introduction to hyperplane arrangements

Introduction to hyperplane arrangements
Read more
Dictionnaire Hmong-Francais

Dictionnaire Hmong-Francais
Read more
Linear Algebra and Linear Models

Linear Algebra and Linear Models
Read more
Simulating physics with computers

Simulating physics with computers
Read more
Mechanisms in Advanced Organic Chemistry

Mechanisms in Advanced Organic Chemistry
Read more
Mechanisms in Advanced Organic Chemistry

Mechanisms in Advanced Organic Chemistry
Read more
Handbook of Polymer Testing: Short-Term Mechanical Tests

Handbook of Polymer Testing: Short-Term Mechanical Tests
Read more
Partial Differentiation, 2nd Edition

Partial Differentiation, 2nd Edition
Read more
Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)
Read more
Stuart (History of the American Light Tank, Vol. 1)

Stuart (History of the American Light Tank, Vol. 1)
Read more
Combinatorics and commutative algebra

Combinatorics and commutative algebra
Read more
BIOMAT 2009 : International Symposium on Mathematical and Computational Biology, Brasilia, Brazil, 1-6 August 2009

BIOMAT 2009 : International Symposium on Mathematical and Computational Biology, Brasilia, Brazil, 1-6 August 2009
Read more
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction
Read more
Holomorphiegebiete pseudokonvexe Gebiete und das Levi-Problem

Holomorphiegebiete pseudokonvexe Gebiete und das Levi-Problem
Read more
Constructive Methods for Elliptic Equations

Constructive Methods for Elliptic Equations
Read more
An operator calculus having applications in quantum electrodynamics

An operator calculus having applications in quantum electrodynamics
Read more
Failing Teachers?

Failing Teachers?
Read more
Writing tools. 50 essential strategies for every writer

Writing tools. 50 essential strategies for every writer
Read more
Sparse Matrices (Mathematics in Science and Engineering 99)

Sparse Matrices (Mathematics in Science and Engineering 99)
Read more
Mechanisms in AdvancedOrganic Chemistry

Mechanisms in AdvancedOrganic Chemistry
Read more
Surely you're joking, Mr. Feynman

Surely you're joking, Mr. Feynman
Read more
Separation Chemistry

Separation Chemistry
Read more
Lectures on physics. Vol. 1. Exercises

Lectures on physics. Vol. 1. Exercises
Read more
Practical Guide to the Assessment of the Useful Life of Rubbers

Practical Guide to the Assessment of the Useful Life of Rubbers
Read more
Integration, 6th ed. (University Mathematical Texts Series)

Integration, 6th ed. (University Mathematical Texts Series)
Read more