+ Advanced Search
  1. Element List - Resources for Scientific Research
  2. Scientific Software
  3. Formal Digital Libraries (FDL) Project

Details

Formal Digital Libraries (FDL) Project

Formal Digital Libraries (FDL) Project
0/5 based on 0 votes.
A group of researchers at Cornell University, California Institute of Technology, and University of Wyoming are creating a digital library of algorithms and constructive mathematics that are usable for program and software construction.
Submitted by elementlist on Jan 27, 2007
900 views. Averaging 0 views per day.

Post Reply


Please login or register if you wish to leave a comment.

Submit

New Links

Scilime
Auto-Sklearn: Automated Machine Learning Toolkit
CalTech Learning from Data Online Course
Code4Lib Jobs
USA Spending.gov

Most Popular

Computing Research Association Job Board
ODSC Data Science Job Board
A Man with a Ph.D. - Richard Gayle's Weblog
Alaska Earthquake Information Center - University of Alaska, Fairbanks
Audio Abacus v2.21

Quick Search

Find listings where
the title contains
and the description contains
and the rating is greater than
and the number of votes is greater than

+ Advanced Search

Statistics

3,012 listings in 21 categories, with 2,293,999 clicks. Directory last updated Sep 12, 2023. Welcome JamesCal, the newest member.

Tag Cloud

science, research, any, climate change, data mining, chemistry, networks, cryptography, solar energy, information theory, global warming, einstein, seismology, fortran, caffe, c, tensorflow, neuroscience, quantum physics, genetics