Sciweavers

5510 search results - page 2 / 1102

» Mathematics

50

ADG
2006
Springer

252views Mathematics» more ADG 2006»

Mechanical Theorem Proving in Tarski's Geometry

14 years 1 months ago

Mechanical Theorem Proving in Tarski's Geometry

Download webs.uvigo.es

Julien Narboux

claim paper

Read More »

39

ISIPTA
2005
IEEE

148views Mathematics» more ISIPTA 2005»

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

14 years 1 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 »

39

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

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 »

30

MPC
2004
Springer

159views Mathematics» more MPC 2004»

An Algebra of Scans

14 years 23 days ago

An Algebra of Scans

Download www.comlab.ox.ac.uk

Ralf Hinze

claim paper

Read More »

35

NAA
2004
Springer

125views Mathematics» more NAA 2004»

Numerical Methods for the Landau-Lifshitz-Gilbert Equation

14 years 23 days 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 »