Dr. Guenter Landsmann

Research Area

Algebraic Geometry

Office

Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis

Room: 0.3-2

Postal Address

Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria

Phone

+43 732 2468 9968

+43 (0) 676 7836149 (mobile)

eMail

Guenter.Landsmann@risc.jku.at

Courses

Course Id	Title	Registration	Type	Hours	Teachers	Rhythm
326.703 (2025S)	Formal Foundations in Business Informatics	Register	UE	1,0	Günter Landsmann	Weekly
326.718 (2025S)	Formal Foundations in Business Informatics	Register	UE	1,0	Günter Landsmann	Weekly
326.405 (2025S)	Mathematics for AI II	Register	UE	2,0	Günter Landsmann	Weekly
500.901 (2025S)	Mathematics (VLG - Part 1) Zuteilung erfolgt nach Bezahlung über den MUSSS-Shop € 65/SSt	Register	KV	2,0	Günter Landsmann	Weekly
326.084 (2025S)	Special Topics Symbolic Computation Algorithmic algebraic geometrie	Register	VL	2,0	Günter Landsmann	Weekly
326.116 (2025S)	Overview of Mathematics: Analysis	Register	KV	2,0	Günter Landsmann	Weekly

Content provided by KUSSS, Johannes Kepler University Linz | E-Mail

Publications

2015

[Landsmann]

Computation of Dimension in Filtered Free Modules by Gröbner Reduction

Christoph Fuerst, Guenter Landsmann

In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ACM (ed.), Proceedings of ISSAC '15, pp. 181-188. 2015. 978-1-4503-3435-8. [doi]

[bib]

@inproceedings{RISC5154,
author = {Christoph Fuerst and Guenter Landsmann},
title = {{Computation of Dimension in Filtered Free Modules by Gröbner Reduction}},
booktitle = {{Proceedings of the International Symposium on Symbolic and Algebraic Computation}},
language = {english},
pages = {181--188},
isbn_issn = {978-1-4503-3435-8},
year = {2015},
editor = {ACM},
refereed = {yes},
length = {8},
conferencename = {ISSAC '15},
url = {http://doi.acm.org/10.1145/2755996.2756680}
}

[Landsmann]

Three Examples of Gröbner Reduction over Noncommutative Rings

Christoph Fuerst, Guenter Landsmann

Technical report no. 15-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). October 2015. [pdf]

[bib]

@techreport{RISC5178,
author = {Christoph Fuerst and Guenter Landsmann},
title = {{Three Examples of Gröbner Reduction over Noncommutative Rings}},
language = {english},
abstract = {In this report three classes of noncommutative rings are investigated withemphasis on their properties with respect to reduction relations. TheGröbner basis concepts in these rings, being developed in the literature byseveral authors, are considered and it is shown that the reduction relationscorresponding to these Gröbner bases obey the axioms of a general theoryof Gröbner reduction.},
number = {15-16},
year = {2015},
month = {October},
sponsor = {partially supported by the Austrian Science Fund (FWF): W1214-N15, project DK11},
length = {31},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

2014

[Landsmann]

The Concept of Gröbner Reduction for Dimension in filtered free modules

Christoph Fuerst, Guenter Landsmann

Technical report no. 14-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). October 2014. [pdf]

[bib]

@techreport{RISC5068,
author = {Christoph Fuerst and Guenter Landsmann},
title = {{The Concept of Gröbner Reduction for Dimension in filtered free modules}},
language = {english},
abstract = {We present the concept of Gröbner reduction that is a Gröbner basistechnique on filtered free modules. It allows to compute the dimensionof a filtered free module viewn as a K-vector space. We apply the de-veloped technique to the computation of a generalization of Hilbert-typedimension polynomials in K[X] as well as in finitely generated difference-differential modules. The latter allows us to determine a multivariatedimension polynomial where we partition the set of derivations and theset of automorphism in a difference-differential ring in an arbitrary way.},
number = {14-12},
year = {2014},
month = {October},
length = {13},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

2005

[Landsmann]

A topological criterion for polynomiality

G. Landsmann, P.Mayr and J.Schicho

Proc. Algorithmic Algebra and Logic, pp. 155-158. 2005. Norderstedt, 0.

[bib]

@article{RISC2946,
author = {G. Landsmann and P.Mayr and J.Schicho},
title = {{A topological criterion for polynomiality}},
language = {english},
journal = {Proc. Algorithmic Algebra and Logic},
pages = {155--158},
publisher = {Norderstedt},
isbn_issn = {0},
year = {2005},
refereed = {yes},
length = {4}
}

[Landsmann]

A topological property of polynomial functions on GL(2, R)

G. Landsmann, P.Mayr and J.Schicho

Aequationes, pp. -. 2005. 0.

[bib]

@article{RISC2947,
author = {G. Landsmann and P.Mayr and J.Schicho},
title = {{A topological property of polynomial functions on GL(2,R)}},
language = {english},
journal = {Aequationes},
pages = {--},
isbn_issn = {0},
year = {2005},
refereed = {yes},
length = {0}
}

2004

[Landsmann]

The Construction of Universal Objects in Differential Algebra

G.Landsmann

In: Proceedings of the 8th World Multi-Conference in Systemics, Cybernetics and Informatics, SCI2004, Nagib Callaos (ed.), Computer Science and Engineering 5, pp. 310-317. 2004. 980-6560-13-2.

[bib]

@inproceedings{RISC409,
author = {G.Landsmann},
title = {{The Construction of Universal Objects in Differential Algebra}},
booktitle = {{Proceedings of the 8th World Multi-Conference in Systemics, Cybernetics and Informatics, SCI2004}},
language = {english},
series = {Computer Science and Engineering},
volume = {5},
pages = {310--317},
isbn_issn = {980-6560--13-2},
year = {2004},
editor = {Nagib Callaos},
refereed = {yes},
length = {8}
}

[Landsmann]

Symbolic Differential Elimination for Symmetry Analysis

Erik Hillgarter, Ralf Hemmecke, Günter Landsmann, Franz Winkler

Mathematical and Computer Modelling of Dynamical Systems 10(2), pp. 123-147. 2004. ISSN 1387-3954. [url] [pdf]

[bib]

@article{RISC2295,
author = {Erik Hillgarter and Ralf Hemmecke and Günter Landsmann and Franz Winkler},
title = {{Symbolic Differential Elimination for Symmetry Analysis}},
language = {english},
journal = {Mathematical and Computer Modelling of Dynamical Systems},
volume = {10},
number = {2},
pages = {123--147},
isbn_issn = { ISSN 1387-3954},
year = {2004},
refereed = {yes},
length = {25},
url = {http://www.tandf.co.uk/journals/titles/13873954.asp}
}

2003

[Landsmann]

Symbolic Differential Elimination Theory for Symmetry Analysis

Erik Hillgarter, Ralf Hemmecke, Günter Landsmann, Franz Winkler

Technical report no. 03-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). October 2003. [ps]

[bib]

@techreport{RISC1255,
author = {Erik Hillgarter and Ralf Hemmecke and Günter Landsmann and Franz Winkler},
title = {{Symbolic Differential Elimination Theory for Symmetry Analysis}},
language = {english},
number = {03-12},
year = {2003},
month = {October},
sponsor = {FWF SFB013/F1304 (Austrian Science Fundation)},
length = {0},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Landsmann]

Symbolic Differential Elimination for Symmetry Analysis

R. Hemmecke, E. Hillgarter, G. Landsmann, F. Winkler

In: Proc. 4th IMACS Symposium on Mathematical Modelling, F. Breitenecker, I. Troch (ed.), pp. 790-796. Feb. 2003. Techn. Univ. Vienna, ISBN 3-901608-24-9. [pdf]

[bib]

@inproceedings{RISC268,
author = {R. Hemmecke and E. Hillgarter and G. Landsmann and F. Winkler},
title = {{Symbolic Differential Elimination for Symmetry Analysis}},
booktitle = {{Proc. 4th IMACS Symposium on Mathematical Modelling}},
language = {english},
pages = {790--796},
isbn_issn = {ISBN 3-901608-24-9},
year = {2003},
month = {Feb.},
editor = {F. Breitenecker and I. Troch},
refereed = {yes},
institution = {Techn. Univ. Vienna},
length = {7}
}

2002

[Landsmann]

Implicitization of Algebraic Varieties

G.Landsmann

In: Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, SCI2002, Nagib Callaos (ed.), Computer Science 2 11, pp. 290-296. July 2002. Orlando, Florida, USA, 980-07-8150-1.

[bib]

@inproceedings{RISC408,
author = {G.Landsmann},
title = {{Implicitization of Algebraic Varieties}},
booktitle = {{Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, SCI2002}},
language = {english},
series = {Computer Science 2},
volume = {11},
pages = {290--296},
address = {Orlando, Florida, USA},
isbn_issn = {980-07-8150-1},
year = {2002},
month = {July},
editor = {Nagib Callaos},
refereed = {yes},
length = {7}
}

[Landsmann]

Implicitization of Algebraic Varieties

G.Landsmann

RISC-Linz. Technical report no. 02-18, 2002.

[bib]

@techreport{RISC407,
author = {G.Landsmann},
title = {{Implicitization of Algebraic Varieties}},
language = {english},
number = {02-18},
year = {2002},
institution = {RISC-Linz},
length = {0}
}

[Landsmann]

Implicitization of Algebraic Varieties

Guenter Landsmann

Technical report no. 02-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). September 2002. [ps]

[bib]

@techreport{RISC1285,
author = {Guenter Landsmann},
title = {{Implicitization of Algebraic Varieties}},
number = {02-18},
year = {2002},
month = {September},
keywords = {Implicitization, Interpolation, Gröbner Bases, Resultants, Moving Lines},
sponsor = {FWF project SFB F013 subproject 04},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

2001

[Landsmann]

The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares

G. Landsmann, J. Schicho, F. Winkler

Journal of Symbolic Computation 32(1&2), pp. 119-132. 2001. ISSN 0747-7171. [ps] [pdf]

[bib]

@article{RISC228,
author = {G. Landsmann and J. Schicho and F. Winkler},
title = {{The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares}},
language = {english},
journal = {Journal of Symbolic Computation},
volume = {32},
number = {1&2},
pages = {119--132},
isbn_issn = {ISSN 0747-7171},
year = {2001},
refereed = {yes},
length = {16}
}

2000

[Landsmann]

Symbolic Parametrization of pipe and Canal Surfaces

G. Landsmann, J. Schicho, F. Winkler, E. Hillgarter

In: International Symposium on Symbolic and Algebraic Computation (ISSAC'00), C. Traverso (ed.), Proceedings of ISSAC'00, St. Andrews, Scotland, pp. 202-208. 2000. ACM-Press, ISBN 1-58113-218-2. [pdf] [ps]

[bib]

@inproceedings{RISC224,
author = {G. Landsmann and J. Schicho and F. Winkler and E. Hillgarter},
title = {{Symbolic Parametrization of pipe and Canal Surfaces}},
booktitle = {{International Symposium on Symbolic and Algebraic Computation (ISSAC'00)}},
language = {english},
pages = {202--208},
publisher = {ACM-Press},
isbn_issn = {ISBN 1-58113-218-2},
year = {2000},
editor = {C. Traverso},
refereed = {yes},
length = {7},
conferencename = {ISSAC'00, St. Andrews, Scotland}
}

1999

[Landsmann]

Simultaneous Existence of Right Inverses for 1-ab and 1-ba.

W.Herfort, G.Landsmann

RISC Linz. Technical report no. 99-26, 1999.

[bib]

@techreport{RISC403,
author = {W.Herfort and G.Landsmann},
title = {{Simultaneous Existence of Right Inverses for 1-ab and 1-ba.}},
language = {english},
number = {99-26},
year = {1999},
institution = {RISC Linz},
length = {0}
}

[Landsmann]

Simultaneous Existence of right Inverses for $1-ab$ and $1-ba$

Wolfgang Herfort, G\"unter Landsmann

Technical report no. 99-26 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). September 1999. [ps]

[bib]

@techreport{RISC1457,
author = {Wolfgang Herfort and G\"unter Landsmann},
title = {{Simultaneous Existence of right Inverses for $1-ab$ and $1-ba$}},
number = {99-26},
year = {1999},
month = {September},
keywords = {term rewriting},
sponsor = {Austrian Science Foundation},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Landsmann]

Generalized Offsets as Envelopes of a One-parameter Set of Spheres

Erik Hillgarter, G\"unter Landsmann, Josef Schicho, Franz Winkler

Technical report no. 99-27 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). September 1999. [ps]

[bib]

@techreport{RISC1465,
author = {Erik Hillgarter and G\"unter Landsmann and Josef Schicho and Franz Winkler},
title = {{Generalized Offsets as Envelopes of a One-parameter Set of Spheres}},
number = {99-27},
year = {1999},
month = {September},
keywords = {canal surface, sum of two squares},
sponsor = {Austrian Science Fund (FWF), Proj.Nr. P11160-TEC (HySax), Proj.Nr. P12662-TEC (Adjoints), and the special research area SFB F013, subprojects 03 and 04.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}