Content-based encoding of mathematical and code libraries

CEUR Workshop Proceedings

Volumn 767, Issue , 2011, Pages 49-53

  Urban, Josef ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CODE LIBRARIES; CONTENT-BASED; MACHINE PROCESSING; MATHEMATICAL OBJECTS;

SEMANTICS;

EID: 84889052134     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. [Ban90a] Grzegorz Bancerek. Cardinal arithmetics. Formalized Mathematics, 1(3):543-547, 1990.
2. [Ban90b] Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.
3. [CFGW04] Lúis Cruz-Filipe, Herman Geuvers, and Freek Wiedijk. C-corn, the constructive coq repository at nijmegen. In Andrea Asperti, Grzegorz Bancerek, and Andrzej Trybulec, editors, MKM, volume 3119 of Lecture Notes in Computer Science, pages 88-103. Springer, 2004.
4. [G3̈1] Kurt Gödel. Ü ber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme Monatshefte Fur Mathematik, 38-38:173-198, 1931.
5. [Jar30] V. Jarńik. O jist́em probĺemu minimalńim (about a certain minimal problem). Prace Moravsḱe Prirodovedecḱe Spolěcnosti, 6:57-63, 1930.
6. [Jas34] S. Jaskowski. On the rules of suppositions. Studia Logica, 1, 1934.
7. [Pel99] F. J. Pelletier. A brief history of natural deduction. History and Philosophy of Logic, 20:1 - 31, 1999.
8. [Pri57] R. C. Prim. Shortest connection networks and some generalizations. Bell Systems Technical Journal, pages 1389-1401, November 1957.
9. [Sch02] S. Schulz. E - A brainiac theorem prover. Journal of AI Communications, 15(2-3):111-126, 2002.