Back to Results
First PageMeta Content
Formal systems / Logical truth / Proof theory / Theorem / Formal proof / TeX / Mathematical proof / Syntax / Mathematical logic / Logic / Logical syntax / Formal languages


Writing and checking complete proofs in TEX Bob Neveln Widener University Bob Alps Towers Perrin
Add to Reading List

Document Date: 2007-03-14 10:17:19

Open Document

File Size: 98,85 KB

Share Result on Facebook

City

Report / Chicago / /

Company

Sandia Laboratories / /

Currency

USD / /

Facility

Northwestern University / /

IndustryTerm

blind linear search / /

NaturalFeature

Alps / /

OperatingSystem

Unix / /

Organization

Widener University / A. Note / MIT / Northwestern University / /

Person

William Richter / Bob Neveln / Tony Morse / Bob Alps / /

Position

author / mathematician / /

ProgrammingLanguage

Metafont / Python / /

PublishedMedium

Theoretical Computer Science / TUGboat / /

Technology

Unix / /

SocialTag