salustri + mathematics 6
Welcome ! | The Coq Proof Assistant
5 weeks ago by salustri
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification project or Java Card EAL7 certification in industrial context), the formalization of mathematics (e.g. the full formalization of the 4 color theorem or constructive mathematics at Nijmegen) and teaching.
logic
coq
proof
programming
mathematics
software
FOSS
from delicious
5 weeks ago by salustri
FreeMat
january 2012 by salustri
Free alternative to matlab.
mathematics
software
FOSS
data
processing
science
computation
matlab
statistics
engineering
2do
from delicious
january 2012 by salustri
The Reasoner
august 2011 by salustri
The Reasoner is a monthly digest highlighting exciting new research on reasoning, inference and method broadly construed. It is interdisciplinary, covering research in, e.g., philosophy, logic, AI, statistics, cognitive science, law, psychology, mathematics and the sciences.
rationalism
critical
thinking
Reasoner
reasoning
philosophy
logic
cognitive
science
psychology
mathematics
research
reference
publication
from delicious
august 2011 by salustri
related tags
* ⊕ 2do ⊕ cognitive ⊕ computation ⊕ coq ⊕ cosmology ⊕ critical ⊕ data ⊕ death ⊕ decline ⊕ education ⊕ engineering ⊕ FOSS ⊕ growth ⊕ humour ⊕ life ⊕ logic ⊕ mathematics ⊖ matlab ⊕ modelling ⊕ philosophy ⊕ processing ⊕ programming ⊕ proof ⊕ psychology ⊕ publication ⊕ rationalism ⊕ Reasoner ⊕ reasoning ⊕ reference ⊕ research ⊕ science ⊕ software ⊕ statistics ⊕ thinking ⊕ universe ⊕ USA ⊕ video ⊕Copy this bookmark: