✦ LIBER ✦

The Federal Support of Mathematics

✍ Scribed by David, Edward E.

Book ID: 109986110
Publisher: Nature Publishing Group
Year: 1985
Tongue: English
Weight: 379 KB
Volume: 252
Category: Article
ISSN: 0036-8733
DOI: 10.1038/scientificamerican0585-45

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SURVEY OF FEDERAL RESEARCH SUPPORT

📂 Article 📅 1970 🏛 Wiley (Blackwell Publishing) ⚖ 163 KB

The future of federal support for health

The future of federal support for health research

✍ Roland W. Moskowitz 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 168 KB 👁 1 views

Federal support of computer-based humani

Federal support of computer-based humanities research

✍ Weingarten, Fred W. 📂 Article 📅 1974 🏛 Springer 🌐 English ⚖ 373 KB

FEDERAL SUPPORT OF LOCAL CRIMINAL JUSTIC

FEDERAL SUPPORT OF LOCAL CRIMINAL JUSTICE OPERATIONS

✍ ALFRED BLUMSTEIN 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 44 KB

The research group on history of mathema

The research group on history of mathematics at the Federal University of Paraná

✍ Clóvis Pereira Da Silva 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 81 KB

This department welcomes brief notes and article-length manuscripts. The former may include announcements of contemplated ongoing projects, information on doctoral theses in progress or completed (writer, title, institution, supervisor, and available information on completion time), proposals and qu

Supporting the formal verification of ma

Supporting the formal verification of mathematical texts

✍ Claus Zinn 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 264 KB

The formal verification of mathematical texts is one of the most interesting applications for computer systems. In fact, we argue that the expert language of mathematics is the natural choice for achieving efficient mathematician-machine interaction. Our empirical approach, the analysis of carefully