Sciweavers

5510 search results - page 2 / 1102

» Mathematics

34

ADG
2006
Springer

252views Mathematics» more ADG 2006»

Mechanical Theorem Proving in Tarski's Geometry

13 years 10 months ago

Mechanical Theorem Proving in Tarski's Geometry

Download webs.uvigo.es

Julien Narboux

claim paper

Read More »

27

ISIPTA
2005
IEEE

148views Mathematics» more ISIPTA 2005»

Objective Imprecise Probabilistic Information, Second Order Beliefs and Ambiguity Aversion: an Axiomatization

13 years 10 months ago

Objective Imprecise Probabilistic Information, Second Order Beliefs and Ambiguity Aversion: an Axiomatization

Download www.sipta.org

Raphaël Giraud

claim paper

Read More »

27

ISIPTA
2005
IEEE

150views Mathematics» more ISIPTA 2005»

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

13 years 10 months ago

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

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

14

MPC
2004
Springer

159views Mathematics» more MPC 2004»

An Algebra of Scans

13 years 9 months ago

An Algebra of Scans

Download www.comlab.ox.ac.uk

Ralf Hinze

claim paper

Read More »

21

NAA
2004
Springer

125views Mathematics» more NAA 2004»

Numerical Methods for the Landau-Lifshitz-Gilbert Equation

13 years 9 months ago

Numerical Methods for the Landau-Lifshitz-Gilbert Equation

Download www.ma.hw.ac.uk

Lubomír Bañas

claim paper

Read More »

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