4352 search results - page 61 / 871 » A Representation Theorem and Applications |
108
click to vote
MKM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
103
Voted
AUSAI
1998
Springer
15 years 5 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
102
click to vote
CHARME
2001
Springer
15 years 4 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
111
Voted
CCCG
2009
15 years 1 months ago
2009
We prove the following generalised empty pentagon theorem: for every integer 2, every sufficiently large set of points in the plane contains collinear points or an empty pentagon...
107
Voted
COMBINATORICS
2004
15 years 16 days ago
2004
The set of all orientations of a planar graph with prescribed outdegrees carries the structure of a distributive lattice. This general theorem is proven in the first part of the p...