Search Sciweavers | Sciweavers

3058 search results - page 84 / 612

» Reflections on Reflections

click to vote

PRESENCE
2000

45views more PRESENCE 2000»

Evaluation of Rate-Based Force-Reflecting Teleoperation in Free Motion and Contact

13 years 9 months ago

Download oak.cats.ohiou.edu

Robert L. Williams II, Jason M. Henry, Daniel W. R...

claim paper

Read More »

click to vote

COMBINATORICS
1998

42views more COMBINATORICS 1998»

On Noncrossing and Nonnesting Partitions for Classical Reflection Groups

13 years 8 months ago

Download www.combinatorics.org

The number of noncrossing partitions of {1, 2, . . . , n} with ﬁxed block sizes has a simple closed form, given by Kreweras, and coincides with the corresponding number for nonne...

Christos A. Athanasiadis

claim paper

Read More »

click to vote

INFFUS
2002

65views more INFFUS 2002»

Editorial reflections

13 years 8 months ago

Download www.ijfm.org

Belur V. Dasarathy

claim paper

Read More »

click to vote

DM
1998

46views more DM 1998»

Modular elements in the lattice L(A) when A is a real reflection arrangement

13 years 8 months ago

Download math.la.asu.edu

Hélène Barcelo, Edwin C. Ihrig

claim paper

Read More »

click to vote

JAR
2002

77views more JAR 2002»

Proof Reflection in Coq

13 years 8 months ago

Download www.phil.uu.nl

We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...

Dimitri Hendriks

claim paper

Read More »

« Prev « First page 84 / 612 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers