Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Browsing by Subject Proof theory
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 20 of 58
next >
Issue Date
Title
Author(s)
2000
√2 and Eulerian primes
Muscat, Joseph
2004
Abelian sandpiles
Duncan, Andrew
2000
The appeal of operative proofs recreation with rectangles
Sciriha, Irene
2003
Applying Hilbert spaces to the 'line of best fit' problem
Suda, David
2003
Artificial neural networks
Cortis, Andrew
2000
A basic number theoretic result
Borg, Peter
2002
Basic properties of Cayley graphs
Cortis, Andrew
;
Duncan, Andrew
2017
Bi-directional transition nets
Spiteri Staines, Tony
2002
Boolean matrices
Farrugia, Alexander
2001
Boolean rings
Casha, Louise
;
Vella, Alexander
2003
Breeding rabbits
Saliba, Martin
2001
The cantor set
Borg, Peter
2001
A construction of the set of integers Z
Farrugia, Alexander
2001
Converse of Wilson's theorem
Mercieca, Vincent
2003
Crystallography and symmetry groups
Micallef, Roberta
2003
Discriminating between two groups using eigenvectors
Buhagiar, Anton
2002
The duplex of a graph
Farrugia, Alexander
2004
The eigenvalues of self-complementary graphs
Lombardi, Angela
2000
Equivalent intervals
Borg, Peter
2009
The Erdős-Ko-Rado properties of various graphs containing singletons
Borg, Peter
;
Holroyd, Fred