Sciweavers

5510 search results - page 20 / 1102

» Mathematics

114

MPC
2010
Springer

166views Mathematics» more MPC 2010»

The Algorithmics of Solitaire-Like Games

15 years 7 months ago

The Algorithmics of Solitaire-Like Games

Download mpc-amast2010.fsg.ulaval.ca

Roland Carl Backhouse, Wei Chen, João F. Fe...

claim paper

Read More »

107

Voted

ITP
2010

119views Mathematics» more ITP 2010»

Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison

15 years 7 months ago

Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison

Download www.cs.mcgill.ca

Amy P. Felty, Brigitte Pientka

claim paper

Read More »

101

Voted

ITP
2010

142views Mathematics» more ITP 2010»

Inductive Consequences in the Calculus of Constructions

15 years 7 months ago

Inductive Consequences in the Calculus of Constructions

Download users.dimi.uniud.it

Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz

claim paper

Read More »

96

Voted

CASC
2009
Springer

105views Mathematics» more CASC 2009»

Parametric Analysis of Stability Conditions for a Satellite with Gyrodines

15 years 7 months ago

Parametric Analysis of Stability Conditions for a Satellite with Gyrodines

Download idstu.irk.ru

Andrey V. Banshchikov

claim paper

Read More »

110

Voted

ADG
2000
Springer

84views Mathematics» more ADG 2000»

Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study

15 years 7 months ago

Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study

Download www.lix.polytechnique.fr

Fabrice Rouillier, Mohab Safey El Din, Éric...

claim paper

Read More »

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