About
Calculator
Ordering
FAQ
Download
Documentation
Citations
Conferences
Links
Contact
CAG
Login
Magma
Computer • algebra
Citations: Peter Kullmann
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
1970–1979
1980–1989
1990–1994
1995–1999
2000–2004
2005–2009
2010
2011
Clemens Ballarin, Jacques Calmet, and Peter Kullmann,
Integration of deduction and computation
, Preprint (2000), 19 pages.