Christian Eder

News | Teaching | Publications | Software | Talks | Conferences & Workshops | Contact



------------------   News   ------------------

The following dates are available for oral exams:

(AgS + Geometrie) only 29.08.2017
(morning)
05.09.2017 19.09.2017
(morning)
everything else 15.08.2017 29.08.2017
(afternoon)
19.09.2017
(afternoon)
28.09.2017 17.10.2017

If you need other combinations, please get in touch.

------------------   Teaching   ------------------

------------------   Publications & Software presentations   ------------------

2017 Christian Eder, Gerhard Pfister, Adrian Popescu On Signature-based Gröbner Bases over Euclidean Rings
ISSAC 2017: Proceedings of the 2017 International Symposium of Symbolic and Algebraic Computation, Kaiserslautern (Germany), tba
Wolfram Decker, Christian Eder, Viktor Levandovskyy, Sharwan K. Tiwari Modular Techniques For Noncommutative Gröbner Bases
preprint on the arXiv
Christian Eder, Jean-Charles Faugère A survey on signature-based Gröbner basis computations
(This is the published version. It is extended in many ways compared to the 2014 preprint on the arXiv.)
Journal of Symbolic Computation 80: 719-784
2016 Christian Eder, Gerhard Pfister, Adi Popescu New Strategies for Standard Bases over Z
preprint on the arXiv
Brice Boyer, Christian Eder, Jean-Charles Faugère, Sylvian Lachartre, Fayssal Martani GBLA - Gröbner Basis Linear Algebra Package ISSAC 2016: Proceedings of the 2016 International Symposium of Symbolic and Algebraic Computation, Waterloo, Ontario (Canada), tba
2015 Christian Eder, Andreas Steenpaß Tests for operations on ideals and modules Efficient Methods in Algebraic Geometry Conference MEGA 2015 Conference in Povo (Trento), Italy
2014 Christian Eder Predicting zero reductions in Gröbner basis computations Conference proceedings of the SNC 2014 Conference in Shanghai, China
Christian Eder Signature-based Gröbner basis algorithms in SINGULAR (extended abstract) Extended abstracts of the EACA 2014 Conference in Barcelona, Spain
Christian Eder, Jean-Charles Faugère A survey on signature-based Gröbner basis computations (2014 version)
(there is a little problem with the colors of the mindmap in the arXiv version, for a nicer picture you can download the survey directly here)
preprint on the arXiv
Christian Eder Predicting zero reductions in Gröbner basis computations (extended version) preprint on the arXiv
2013 Christian Eder An analysis of inhomogeneous signature-based Groebner basis computations Journal of Symbolic Computation, 59, 21-35
Christian Eder Improving incremental signature-based Groebner bases algorithms ACM SIGSAM Communications in Computer Algebra, 47(1), 1-13
Christian Eder, Bjarke Hammersholt Roune Signature Rewriting in Groebner Basis Computation ISSAC 2013: Proceedings of the 2013 international symposium of symbolic and algebraic computation, Boston, Massachusetts (USA), 331-338
2012 Christian Eder Sweetening the sour taste of inhomogeneous signature-based Groebner basis computations preprint
Christian Eder Signature-based algorithms to compute standard bases Thesis, University of Kaiserslautern
2011 Christian Eder, Justin Gash, John Perry Modifying Faugère's F5 algorithm to ensure termination ACM SIGSAM Communications in Computer Algebra, 45(2), 70-89
Christian Eder, John Perry Signature-based algorithms to compute Groebner bases ISSAC 2011: Proceedings of the 2011 international symposium of symbolic and algebraic computation, San Jose (USA), 99-106
2010 Christian Eder, John Perry F5C: A variant of Faugère's F5 algorithm with reduced Groebner bases Journal of Symbolic Computation (MEGA2009 special issue), 45(12), 1442-1458
2008 Christian Eder On the criteria of Faugère's F5 algorithm preprint
Christian Eder A new attempt on the F5 Criterion The Computer Science Journal of Moldova, Volume 16, 4-14

------------------   Software   ------------------

A C library for Gröbner basis computations GB Library implemented by Christian Eder. Implementation of Faugère's F4 algorithm using GBLA for the linear algebra part.
A C library for specialized linear algebra for Gröbner basis computations GBLA Library implemented by Brice Boyer, Christian Eder, Jean-Charles Faugère and Fayssal Martani. Improved handling of data structures, improved parallelization on multicore CPUs and NUMAs.The library also comes with a huge database for example matrices.
A library for exact linear algebra LELA Library implemented by Bradford Hovinen and Fayssal Martani. Supported for structured hybrid sparse-dense matrices. Further testing and improving this library.
A library for computing Gröbner bases MathicGB Library written by Bjarke Hammersholt Roune and Mike Stillman. Supported Bjarke by implementing linear algebra for Gröbner basis computations.
A library for testing different parallel scheduler for dense linear algebra pLA Library written to test various parallel schedulers (like OpenMP, Intel TBB, xKAAPI, etc.) and compare their behaviours for dense linear algebra, esp. Gaussian Elimination.
A computer algebra system Singular Implemented fast signature-based Gröbner basis algorithms covering many variants like F5, G2V, GVW, etc.
Benchmark file in Singular language singular-benchmarks Various Gröbner basis benchmarks for the Singular computer algebra system.
A library for special-purpose memory allocation xmalloc Implemented a special-purpose memory allocation for the computer algebra system Singular (used Singular's omalloc implementation as a basis).

------------------   Talks   ------------------

2017 May 05 Current Advances in Open Source Gröbner Basis Algorithms Tagung der Fachgruppe Computeralgebra, Kassel, Germany
March 31 Current Challenges in the Development of Open Source Computer Algebra Software AAA - Algebraic Algorithms and Applications , Pisa, Italy
2016 November 23 Parallel Groebner Basis Algorithms over Finite Fields Oberseminar Algebra, Siegen, Germany
October 14 Parallel Groebner Basis Algorithms over Finite Fields 3CinG (Classification, Computation, and Construction: New Methods in Geometry) kick-off meeting, Warwick (UK)
October 11 Implementing Parallel Groebner Basis Algorithms over Finite Fields DFG-SPP1489 annual meeting in Kaiserslautern, Germany
July 13 Improved Parallel Gaussian Elimination for Groebner Bases Computations in Finite Fields ICMS 2016 at ZIB in Berlin, Germany
March 15 Diophantische Gleichungen Mathecamp 2016 at University of Kaiserslautern (Germany)
2015 October 01 Improved Parallel Gaussian Elimination for Groebner Bases Computations in Finite Fields (differs only slightly from ACA'15 talk, more timings for GBLA v0.2) 5th annual meeting of priority project SPP1489, Osnabrückl (Germany)
July 21 Midway upon the journey (slides by John Perry) ACA 2015 Conference in Kalamata (Greece)
July 21 Improved Parallel Gaussian Elimination for Groebner Bases Computations in Finite Fields ACA 2015 Conference in Kalamata (Greece)
June 25 Multivariate public key cryptography seminar on Fundamental Algorithms, Kaiserslautern (Germany)
June 16 Tests for operations on ideals and modules (slides by Andreas Steenpaß) Efficient Methods in Algebraic Geometry Conference MEGA 2015 Conference in Povo, Trento (Italy)
May 18 Exploiting algebraic structures to solve polynomial systems of equations Séminaire de théorie des codes et cryptographie à Neuchâtel (et à Zürich) (Switzerland)
March 17 Diophantische Gleichungen Mathecamp 2015 at University of Kaiserslautern (Germany)
February 19 Efficient Gröbner bases computations Seminar of Johannes Buchmann in Darmstadt (Germany)
2014 September 11 Computing Gröbner bases -- a short overview Seminar of LORIA CARAMEL Project Team in Nancy (France)
July 30 Predicting zero reductions in Gröbner basis algorithms SNC 2014 Conference in Shanghai (China)
July 10 A (short) survey on signature-based Gröbner basis algorithms ACA 2014 Conference in New York (USA)
June 19 Signature-based Gröbner basis algorithms in SINGULAR
(same as in Kassel )
EACA 2014 Conference in Barcelona (Spain)
June 05 Gröbner basis computations seminar on Fundamental Algorithms, Kaiserslautern (Germany)
May 15 Signature-based Gröbner basis algorithms in SINGULAR biannual meeting of the Fachgruppe Computer Algebra, Kassel (Germany)
March 04 Signature-based Gröbner bases 4th annual meeting of priority project SPP1489, Bad Boll (Germany)
2013 December 11 Hybrid Matrix Multiplication and Gaussian Elimination HPAC Developers Meeting, Lyon (France)
September 04 Signature-based Gröbner Basis computation Gröbner Bases, Resultants and Linear Algebra: GBRELA 2013, at RISC in Hagenberg (Austria)
September 04 Introduction to F4 & F5 (slides by Jean-Charles Faugère) Gröbner Bases, Resultants and Linear Algebra: GBRELA 2013, at RISC in Hagenberg (Austria)
June 29 Signature Rewriting in Gröbner Basis Computation ISSAC 2013 Conference at Northeastern University, Boston Massachusetts (USA)
June 25 Improved Gröbner Basis computation with applications in cryptography University of Mississippi, Hattiesburg Mississippi (USA)
June 12 Mathic, LELA, Singular and Xmalloc HPAC Developers Meeting, Paris (France)
June 11 Parallel schedulers on dense matrices HPAC Developers Meeting, Paris (France)
March 08 Signature-based Gröbner basis computation University of Pierre and Marie Curie in Paris (France)
2012 June 06 Signature-based Gröbner basis algorithms in SINGULAR University of Kaiserslautern (Germany)
April 13 Signaturbasierte Gröbner Basen Algorithmen University of Kaiserslautern (Germany)
2011 July 21 SINGULAR Tutorial ACAGM Summer School in Leuven (Belgium)
June 29 Signature-based algorithms to compute Gröbner bases The 17th International Conferences on Applications of Computer Algebra ACA 2011, Houston Texas (USA)
June 29 SINGULAR - Recent developments The 17th International Conferences on Applications of Computer Algebra ACA 2011, Houston Texas (USA)
June 09 Signature-based algorithms to compute Gröbner bases joint seminar KL - SB, University of Saarbrücken (Germany)
2010 September 16 SINGULAR's memory management (with Hans Schönemann) SINGULAR Workshop, TU Kaiserslautern (Germany)
September 15 An introduction to F4, some remarks on F5 SINGULAR Workshop, TU Kaiserslautern (Germany)
June 17 Faugère's F5 algorithm: variants and termination issues Oberseminar am Lehrstuhl J. Buchmann, TU Darmstadt (Germany)
2009 June 24 Faugère's F5 algorithm: variants and implementation issues Sage Days 16 in Barcelona (Spain)
June 16 F5C: a variant of Faugère's F5 algorithm with reduced Groebner bases MEGA 2009 Conference in Barcelona (Spain)
2008 July 08 On the criteria of Faugère's F5 Algorithm Soria Summer School on Computational Mathematics in Soria (Spain)

------------------   Conferences, Workshops & Research Meetings   ------------------

2017 March 07 Research meeting with Frank-Olaf Schreyer and Mike Stillman, Saarbrücken (Germany)
2016 October 13-15 3CinG (Classification, Computation, and Construction: New Methods in Geometry) kick-off meeting, Warwick (UK)
October 10-14 DFG-SPP1489 annual meeting, Kaiserslautern (Germany)
October 04 Research meeting with INRIA PolSys Team, Paris (France)
July 11-14 ICMS 2016: International Conference on Mathematical Software, Berlin (Germany)
April 25 Research meeting with Frank-Olaf Schreyer, Saarbrücken (Germany)
February 18 Research meeting with INRIA PolSys Team, Paris (France)
2015 December 17 Research meeting with INRIA PolSys Team, Paris (France)
September 28 - October 02 5th annual meeting of priority project SPP1489, Osnabrück (Germany)
September 17 Research meeting with INRIA PolSys Team, Paris (France)
July 20-23 ACA 2015 Conference: Applications of Computer Algebra in Kalamata, Greece
July 10-11 PASCO 2015 Conference at University of Bath in Bath, UK
July 06-09 ISSAC 2015 Conference at University of Bath in Bath, UK
June 22-26 Singularities and Computer Algebra - Conference in honors of Gert-Martin Greuel's 70th birthday in Lambrecht, Germany
June 15-19 Efficient Methods in Algebraic Geometry Conference MEGA 2015 Conference in Povo (Trento), Italy
June 11 Research meeting with INRIA PolSys Team, Paris (France)
April 02-03 Workshop on Cybersecurity in a Post-Quantum World at the Gaithersburg Campus of NIST, Maryland (US)
March 30 - April 01 PKC (Public Key Cryptography) 2015 at the Gaithersburg Campus of NIST, Maryland (US)
February 19 Research meeting with Johannes Buchmann's crypto team, Darmstadt (Germany)
February 11 Research meeting with INRIA PolSys Team, Paris (France)
2014 November 27-28 Research meeting with INRIA PolSys Team, Paris (France)
November 24-28 Number Theory in Kaiserslautern 2014: Number Theory meets Geometry conference , Kaiserslautern (Germany)
October 08-09 Research meeting with INRIA PolSys Team, Paris (France)
September 10-11 invited talk and research meeting with LORIA CARAMEL Team, Nancy (France)
September 01-02 Research meeting with INRIA PolSys Team, Paris (France)
July 28-31 SNC 2014 Conference: Symbolic-Numeric Computation, Shanghai (China)
July 09-12 ACA 2014 Conference: Applications of Computer Algebra, New York (US)
June 18-20 EACA 2014 Conference: XIV Encuentro de Álgebra Computacional y Aplicaciones Institut d'Estudis Catalans, Barcelona (Spain)
May 15-17 Biannual meeting of the Fachgruppe Computer Algebra, Kassel (Germany)
April 04 Research meeting with INRIA PolSys Team, Paris (France)
March 06-07 Developers meeting with INRIA PolSys Team, Paris (France)
March 03-04 4th annual meeting of priority project SPP1489, Bad Boll (Germany)
2013 December 10-11 HPAC Developers Meeting, Lyon (France)
November 08 Research meeting on signature-based Gröbner bases in Kaiserslautern (Germany)
September 03-06 Gröbner Bases, Resultants and Linear Algebra: GBRELA 2013, at RISC in Hagenberg (Austria)
June 26-29 ISSAC 2013 Conference at Northeastern University, Boston Massachusetts (USA)
June 23-25 Meeting John Perry, Hattiesburg (USA)
June 11-12 HPAC Developers Meeting, Paris (France)
June 03-07 MEGA 2013, Frankfurt am Main (Germany)
2012 August 27-31 3rd Singular GAP Developers Meeting, St. Andrews (Scotland)
June 25-28 ACA 2012 - 18th International Conference on Applications of Computer Algebra, Sofia (Bulgaria)
June 04-08 Efficient Linear Algebra for Gröbner Basis Computations, Kaiserslautern (Germany)
2011 November 14-18 2nd Singular GAP Developers Meeting, Kaiserslautern (Germany)
September 26-30 Singular Sage Days (Sage Days 34), Kaiserslautern (Germany)
July 10-22 ACAGM Summer School, Leuven (Belgium)
June 27-30 The 17th International Conferences on Applications of Computer Algebra ACA 2011, Houston, Texas (USA)
May 16-20 1st Singular GAP Developers Meeting, St. Andrews (Scottland)
February 21-25 1st annnual meeting of DFG priority project SPP 1489, Aachen (Germany)
2010 September 15-17 Software Workshop: Fast linear algebra, Gröbner Baes, and Parallelization in SINGULAR, Kaiserslautern (Germany)
July 21-23 PASCO 2010, Grenoble (France)
February 11-14 Software Workshop: Geometry & Combinatorics I, Kaiserslautern (Germany)
2009 July 13-24 S^3CM summer school 2009, Soria (Spain)
June 22-27 Sage Days 16, Barcelona (Spain)
June 15-19 MEGA 2009, Barcelona (Spain)
2008 July 23-30 S^3CM summer school 2008, Soria (Spain)

------------------   Contact   ------------------

ederc ((at)) mathematik ((dot)) uni ((minus)) kl ((dot)) de

Phone: +49 (0)631 205 4406
Fax: +49 (0)631 205 4795

Office: 48-425

Department of Mathematics
University of Kaiserslautern
PO box 3049
67653 Kaiserslautern
--- Impressum ---