|Erich L. Kaltofen||
North Carolina State University|
Mathematics Department, Box 8205
Raleigh, N.C. 27695-8205 USA
|WORK RELATED LINKS|
(links are to items inside documents categorized below)
- Spring 2018 courses: MA410, MA 792-002 ¶ Fall 2017 course: MA351
- My current research students/postdocs ¶ Current publications
- Current Conferences: CMS-AMS'18 @ Fudan U. ¶ Jenks Memorial Prize'17 @ ISSAC'18 ¶ Non-linear'18 Core @ ICERM
- Past Conferences:
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.
- Joint projects: Genomic Sciences ¶ LinBox
- Computer Algebra Handbook: Information for authors ¶ Springer announcement (search for "Kaltofen")
- ORMS: Oberwolfach References on Mathematical Software
The online document contains links to 151 online publications, my BibTeX bibliography, and a description of my major results. All my 78 co-authors. Paper citations by Microsoft Academic Search.Software
With my students I have built three major systems: DAGWOOD, DSC, and FoxBox. I am a founding member and co-designer of the LinBox library. APPFAC are our Maple and Matlab packages for approximate polynomial GCD and factorization, ZNIPR our Maple package for sparse rational function model recovery. ARTINPROVER is our semidefinite programming-based software for exactly certifying global optima of semialgebraic problems.Grants
My subjects are: complexity theory, computer algebra, programming languages, data structures, introductory computer science, linear algebraGraduate courses
My subjects are: algorithm design, programming languages, formal methods, parallel algorithms, symbolic computationHigh school summer program
Paper on pedagogy
A popular Maple package is my RSA encryption. My course homepages link to additional software.
Individual students for whom I have been research advisor
My screen files for several of my talks and my recorded voice are linked from the online document.
|August 8, 2017 ©Erich Kaltofen|