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
SAS
Hall 4220 (NCSU)
Genomics Faculty (NCSU),
Graduate Faculty of
Computer
Science (NCSU)
My schedule and calendar
¶ Photos of myself
¶ Resumé
(pdf )
¶ PERSONAL 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 Public
lectures
My screen files for several of my talks and my
recorded voice are linked from the online document.
