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) |
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 |
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). |
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) |
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) |