Erich L. Kaltofen
Professor
of Mathematics,
Symbolic Computation,
NCSU
Adjunct Professor
of
Computer Science ,
Duke University
ACM Fellow
Mail address:
North Carolina State University
Mathematics Department , Box 8205
Raleigh, N.C. 27695-8205 USA
Physical address:
SAS
Hall 4220 (NCSU)
Member of the Genomics Faculty (NCSU),
Graduate Faculty of
Computer
Science (NCSU)
Phone: (919) 515 8785
¶ Secretary: (919) 515 2382
¶ Fax: (919) 515 3798
My schedule and calendar
¶ Photos of myself
¶ Resumé
(pdf )
¶ PERSONAL LINKS
WORK RELATED LINKS
Current activities
(links are to items inside documents categorized below)
-
Fall 2024 course:
MA351
¶
Spring 2024 courses:
MA410 ,
MA 792-1
¶
Fall 2023 course:
MA351
-
My
research students/postdocs
¶
Current publications
-
Current Conferences :
ISSAC'24
-
Past Conferences :
Show/Hide
ISSAC'22 ,
ACA'21 :
Hybrid Computation Session ,
CASC'20 ,
Cook
P/NP@50 ,
Wu 100 ,
ISSAC'19 ,
SAMSI
DML ,
🏆
Jenks Memorial Prize'17 @ ISSAC'18 ,
CMS-AMS'18 @ Fudan U. ,
CICM'18 ,
Non-linear'18 Core @ ICERM ,
ECCAD'17 ,
PASCO'17 ,
ISSAC'17 ,
MICA'16 @ Waterloo ,
Complexity'15 ,
Sparse'15 ,
PASCO'15 ,
Hybrid'15 ,
Summer School @ KLMM ,
Computer Algebra @ Fields ,
LCA-SNC'15 ,
Jenks Prize @ Fields ,
ECCAD'14 ,
GNOME2014 ,
SNC'14 ,
GCT'14 ,
ILAS'13 ,
ISSAC'13 ,
Jenks Prize@ISSAC'13 ,
AAG'13 ,
RICAM'13 ,
ECCAD'12 ,
LCC'12 ,
ASCM'12 ,
ACM/FCRC'11 –
Jenks Prize@SNC'11 ,
ACA'11 ,
ANR&NSFC/CRC'11 ,
SYNASC'11 ,
SIAM/AAG'11 ,
Hybrid'11 ,
Applic. Alg. Geom.'10 ,
Convex AG'10 ,
ECCAD'10 ,
Jo60 ,
DubLinBox'10 ,
ParCA'10 ,
PaSCo'10 ,
ANB2010 ,
SIAM&MSRI/Hybrid'10 ,
Open Source'09 ,
Positive Polys'09 ,
Symb. Analysis'09 ,
NSF SC 09 ,
ECCAD'09 ,
W.-T. Wu's 90th ,
ACA'09 ,
ISSAC'09 ,
CAT Santa Fe ,
NSF NAIS'09 ,
Comp.-assist. Proofs'09 ,
Complexity'09 ,
MICA'08 ,
ECCAD'08 ,
Borwein'08 ,
RTA'08 ,
ISSAC'08 ,
ApCoA'08 ,
SNSC'08 ,
ACA'08 ,
AB'08 ,
IPC'07 ,
ACST'07 ,
ECCAD'07 ,
Complexity'07 ,
AB'07 ,
ILAS'07 ,
SNC'07 ,
PASCO'07 ,
ISSAC'07 ,
NSF CDI 07 ,
CMS Winter'07 ,
MAP Summer School, Genova'06 ,
NT and crypto at Fields'06
,
IMA WS Math in the Age of Digital Libraries'06
;
see further
conferences.extserve.resume
-
Joint projects:
Genomic Sciences
¶
LinBox
-
Computer Algebra Handbook:
Springer announcement (search for "Kaltofen")
-
ORMS:
Oberwolfach References on Mathematical Software
Research
Publications
Software
With my students I have built three major systems:
D
AGWOOD , DSC, and FoxBox.
I am a founding member and co-designer of the
LinBox library.
A
PP F
AC are our Maple and Matlab
packages for approximate polynomial GCD and factorization,
ZNIPR our Maple package for sparse rational function model recovery.
ARTIN PROVER
is our semidefinite programming-based software for
exactly certifying global optima of semialgebraic problems.
Teaching
Undergraduate
courses
My subjects are:
complexity theory,
computer algebra,
programming languages,
data structures,
introductory computer science,
linear algebra
Graduate
courses
My subjects are:
algorithm design,
programming languages,
formal methods,
parallel algorithms,
symbolic computation
High
school summer program
Paper
on pedagogy
Instructional
software
A popular Maple package is my RSA encryption.
My course homepages link to additional software.
Individual students
and postdocs
for whom I have been research advisor
Public
lectures
My screen files for several of my talks and my
recorded voice are linked from the online document.
Januar 4, 2023
©Erich Kaltofen