Search Sciweavers | Sciweavers

767 search results - page 2 / 154

» Logic for Mathematical Writing

click to vote

IEE
2008

115views more IEE 2008»

Faithful mapping of model classes to mathematical structures

13 years 7 months ago

Download www.eecs.ucf.edu

ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...

Ádám Darvas, Peter Müller

claim paper

Read More »

click to vote

MKM
2009
Springer

129views Information Technology» more MKM 2009»

Formal Proof: Reconciling Correctness and Understanding

14 years 6 hour ago

Download kwarc.info

Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...

Cristian S. Calude, Christine Müller

claim paper

Read More »

click to vote

HICSS
1999
IEEE

80views Biometrics» more HICSS 1999»

The Genre of Mathematics Writing and its Implications for Digital Documents

13 years 11 months ago

Download www.fxpal.com

Eleanor G. Rieffel

claim paper

Read More »

click to vote

ISIPTA
2005
IEEE

150views Mathematics» more ISIPTA 2005»

Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLO

14 years 1 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

click to vote

ENTCS
2008

91views more ENTCS 2008»

Implementing Real Numbers With RZ

13 years 7 months ago

Download math.andrej.com

RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...

Andrej Bauer, Iztok Kavkler

claim paper

Read More »

« Prev « First page 2 / 154 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers