Search Results

Documents authored by Alefeld, Götz


Document
Verification of Solutions for Almost Linear Complementarity Problems

Authors: Götz Alefeld and Zhengyu Wang

Published in: Dagstuhl Seminar Proceedings, Volume 5391, Algebraic and Numerical Algorithms and Computer-assisted Proofs (2006)


Abstract
We present a computational enclosure method for the solution of a class of nonlinear complementarity problems. The procedure also delivers a proof for the uniqueness of the solution.

Cite as

Götz Alefeld and Zhengyu Wang. Verification of Solutions for Almost Linear Complementarity Problems. In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{alefeld_et_al:DagSemProc.05391.9,
  author =	{Alefeld, G\"{o}tz and Wang, Zhengyu},
  title =	{{Verification of Solutions for  Almost Linear  Complementarity Problems}},
  booktitle =	{Algebraic and Numerical Algorithms and Computer-assisted Proofs},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5391},
  editor =	{Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.9},
  URN =		{urn:nbn:de:0030-drops-4431},
  doi =		{10.4230/DagSemProc.05391.9},
  annote =	{Keywords: Complementarity problems, verification of solutions}
}
Document
Symbolic-algebraic Methods and Verification Methods - Theory and Applications (Dagstuhl Seminar 99471)

Authors: Götz Alefeld, Jiri Rohn, Siegfried M. Rump, and Tesuro Yamamoto

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Götz Alefeld, Jiri Rohn, Siegfried M. Rump, and Tesuro Yamamoto. Symbolic-algebraic Methods and Verification Methods - Theory and Applications (Dagstuhl Seminar 99471). Dagstuhl Seminar Report 260, pp. 1-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000)


Copy BibTex To Clipboard

@TechReport{alefeld_et_al:DagSemRep.260,
  author =	{Alefeld, G\"{o}tz and Rohn, Jiri and Rump, Siegfried M. and Yamamoto, Tesuro},
  title =	{{Symbolic-algebraic Methods and Verification Methods - Theory and Applications (Dagstuhl Seminar 99471)}},
  pages =	{1--34},
  ISSN =	{1619-0203},
  year =	{2000},
  type = 	{Dagstuhl Seminar Report},
  number =	{260},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.260},
  URN =		{urn:nbn:de:0030-drops-151457},
  doi =		{10.4230/DagSemRep.260},
}
Document
Parallel Processing in the Engineering Sciences - Methods and Applications (Dagstuhl Seminar 9745)

Authors: Götz Alefeld, O. Mahrenholtz, and Roland Vollmar

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Götz Alefeld, O. Mahrenholtz, and Roland Vollmar. Parallel Processing in the Engineering Sciences - Methods and Applications (Dagstuhl Seminar 9745). Dagstuhl Seminar Report 195, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{alefeld_et_al:DagSemRep.195,
  author =	{Alefeld, G\"{o}tz and Mahrenholtz, O. and Vollmar, Roland},
  title =	{{Parallel Processing in the Engineering Sciences - Methods and Applications (Dagstuhl Seminar 9745)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{195},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.195},
  URN =		{urn:nbn:de:0030-drops-150810},
  doi =		{10.4230/DagSemRep.195},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail