Bob Neveln
Professor
mathematics
Widener University
United States of America
Biography
PhD Mathematics 1975 Northwestern University (IL)
Research Interest
currently working on extending the ProofCheck program, found at www.proofcheck.org, to work in more general contexts, such as relevance logic and constructive logic. I am also interested in the combinatorial foundations of topology, especially of manifolds.
Publications
-
Neveln, B. (2000). Linux Assembly Language Programming. Upper Saddle River, NJ: Prentice Hall.
-
Neveln, B. (1990). Comma-free and synchronizable codes. Journal of Theoretical Biology, 144(2), 209–212.
-
Neveln, B., & Alps, B. (2007). Writing and checking complete proofs in TeX. TUGboat, 28(1), 80–83.
