Christian Eder

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



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

GroebnerBasis.jl is now an official Julia package. It provides fast Groebner basis algorithms for the OSCAR computer algebra system.

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

Summer 19 Lineare Algebra für Informatiker
Introduction to Computer Algebra
Winter 18/19 Algebraische Strukturen ( URM | OLAT )
Proseminar Kryptologie ( URM | OLAT )
Summer 18 Grundlagen der Mathematik I (Introduction to Analysis and Linear Algebra)
Summer 17 Algebraische Strukturen
Cryptography
Winter 16/17 Grundlagen der Mathematik II (Linear Algebra and Analysis II)
Summer 16 Grundlagen der Mathematik I (Introduction to Analysis and Linear Algebra)
Summer 15 Introduction to Topology
Winter 14/15 Grundlagen der Mathematik I (Introduction to Analysis and Linear Algebra)
Summer 14 Introduction to Topology
January 13 Numbers and algebra for MT FET at AIMSSEC in Stellenbosch, South Africa
Several IT courses for MT FET at AIMSSEC in Stellenbosch, South Africa
Winter 12/13 Grundlagen der Mathematik I (Introduction to Analysis and Linear Algebra)
Commutative Algebra
Summer 12 Höhere Mathematik 4: Funktionentheorie (Maths for electric engineers: Complex analysis)
Winter 11/12 Computer Algebra
Commutative Algebra
Summer 11 Praktische Mathematik: Einführung in das symbolische Rechnen (Introduction to symbolic computations)
Summer 09 Mathematik für Informatiker: Algebraische Strukturen (Maths for computer scientists: Algebraic structures)

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

2019 Christian Eder Breaking the Hidden Irreducible Polynomials Scheme
preprint on eprint
Christian Eder, Viktor Levandovskyy, Julien Schanz, Simon Schmidt, Andreas Steenpass, Moritz Weber Existence of quantum symmetries for graphs on up to seven vertices: a computer based approach
preprint on the arXiv
Christian Eder, Tommy Hofmann Efficient Gröbner Bases Computation over Principal Ideal Rings
preprint on the arXiv
2018 Christian Eder, Gerhard Pfister, Adrian Popescu Standard Bases over Euclidean Domains
preprint on the arXiv
2017 Mohamed Barakat, Christian Eder, Timo Hanke An Introduction to Cryptography
Lecture notes of a course given at the University of Kaiserslautern, summer term 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), 141-148
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), 135-142
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 Julia wrapper for gb GroebnerBasis.jl Library implemented by Christian Eder. Interface between Singular and gb which also provides a benchmark suite, part of the OSCAR computer algebra system.
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   ------------------

2020 July 13 msolve - An open source C library for algebraic multivariate system solving ICMS 2020 in Braunschweig, Germany
2019 May 17 Starke Gröbnerbasen über Euklidischen Ringen Tagung der Fachgruppe Computeralgebra in Kassel, Germany
January 08 Crypto Introduction for school Kids KOMMS TUK.math.junior in Kaiserslautern, Germany
2018 November 27 gb - A package for Gröbner basis computation OSCAR meeting 11-2018 in Berlin, Germany
September 27 gb - A package for Gröbner basis computation 2nd annual meeting of the SFB TRR-195 in Tübingen, Germany
September 01-12 Gröbner basis theory and applications - five part lecture series Second Research School on Commutative Algebra and Algebraic Geometry in Zanjan, Iran
June 09 Wie funktioniert mathematische Forschung am Beispiel des SFB TRR195 Tag der Mathematik 2018 in Kaiserslautern, Germany
April 24 An Introduction on Polynomial System Solving TRR-195 Seminar in Kaiserslautern, Germany
March 08 Current Advances in Open Source Gröbner Basis Algorithmss GDMV Tagung 2018 in Paderborn, Germany
2017 July 27 On Signature-based Gröbner Bases over Euclidean Rings ISSAC 2017 Conference at TU Kaiserslautern in Kaiserslautern, Germany
May 05 Current Advances in Open Source Gröbner Basis Algorithms Tagung der Fachgruppe Computeralgebra in Kassel, Germany
March 31 Current Challenges in the Development of Open Source Computer Algebra Software AAA - Algebraic Algorithms and Applications in Pisa, Italy
2016 November 23 Parallel Groebner Basis Algorithms over Finite Fields Oberseminar Algebra in 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   ------------------

2020 September 22-24 4th annual meeting of the SFB TRR-195 in Kaiserslautern, Germany (virtual)
July 20-23 ISSAC 2020 in Kalamata, Greece (virtual)
July 13-16 ICMS 2020 in Braunschweig, Germany (virtual)
2019 August 15-23 GAP Singular Meeting and School in Lambrecht, Germany
July 01-04 Summer school on Randomness and Learning in Non-Linear Algebra at MPI in Leipzig, Germany
June 11-14 OSCAR: Workshop and Coding Meeting 06-2019 in Kaiserslautern, Germany
May 16-18 Biannual meeting of the Fachgruppe Computer Algebra in Kassel, Germany
February 18-21 Retreat 2019 of the SFB-TRR 195 in Bad Münster am Stein, Germany
January 14-18 MPI-INF and MPI-MiS joint workshop on Theoretical Computer Science and Algebraic Geometry in Saarbrücken, Germany
2018 November 26-30 OSCAR: Workshop and Coding Meeting 11-2018 in Berlin, Germany
September 24-28 2nd annual meeting of the SFB TRR-195 in Tübingen, Germany
September 01-12 Second Research School on Commutative Algebra and Algebraic Geometry in Zanjan, Iran
August 13-17 Summer School on Numerical Computing in Algebraic Geometry at MPI in Leipzig, Germany
May 14-18 OSCAR: Workshop and Coding Meeting 2 2018 in Siegen, Germany
March 05-09 GDMV Tagung 2018 in Paderborn, Germany
February 12-14 Research meeting with INRIA PolSys Team in Paris, France
January 15-19 OSCAR: Workshop and Coding Meeting 1 2018 in Aachen, Germany
2017 December 11 - 12 Open Source Computer Algebra Research (OSCAR) at the Max Planck Institute for Mathematics in the Sciences in Leipzig, Germany
November 28 - 30 Introduction to Computer Algebra Systems in Saarbrücken;, Germany
July 31 - August 04 OSCAR : Antic Workshop and coding sprint in Kaiserslautern, Germany
July 29 SC2 2017 Conference in Kaiserlautern, Germany
July 25-28 ISSAC 2017 Conference in Kaiserlautern, Germany
July 23-24 PASCO 2017 Conference in Kaiserlautern, Germany
May 04-06 Biannual meeting of the Fachgruppe Computer Algebra, Kassel (Germany)
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 Bases, 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 ---