Search Results

Abstract

Cite as

Bruno Buchberger, James Davenport, and Fritz Schwarz. Algorithms of Computeralgebra (Dagstuhl Seminar 9151). Dagstuhl Seminar Report 27, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1992)

@TechReport{buchberger_et_al:DagSemRep.27,
  author =	{Buchberger, Bruno and Davenport, James and Schwarz, Fritz},
  title =	{{Algorithms of Computeralgebra (Dagstuhl Seminar 9151)}},
  pages =	{1--16},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{27},
  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.27},
  URN =		{urn:nbn:de:0030-drops-149151},
  doi =		{10.4230/DagSemRep.27},
}

Abstract

Cite as

Erika Abraham, James H. Davenport, Matthew England, and Alberto Griggio. New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). In Dagstuhl Reports, Volume 12, Issue 2, pp. 67-86, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

@Article{abraham_et_al:DagRep.12.2.67,
  author =	{Abraham, Erika and Davenport, James H. and England, Matthew and Griggio, Alberto},
  title =	{{New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)}},
  pages =	{67--86},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{2},
  editor =	{Abraham, Erika and Davenport, James H. and England, Matthew and Griggio, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.67},
  URN =		{urn:nbn:de:0030-drops-169310},
  doi =		{10.4230/DagRep.12.2.67},
  annote =	{Keywords: computer algebra systems, SMT Solvers, verification}
}

Abstract

Cite as

James H. Davenport, Fritz Krückeberg, Ramon E. More, and Siegfried M. Rump. Symbolic, Algebraic and Validated Numerical Computation (Dagstuhl Seminar 9232). Dagstuhl Seminar Report 43, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1992)

@TechReport{davenport_et_al:DagSemRep.43,
  author =	{Davenport, James H. and Kr\"{u}ckeberg, Fritz and More, Ramon E. and Rump, Siegfried M.},
  title =	{{Symbolic, Algebraic and Validated Numerical Computation (Dagstuhl Seminar 9232)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{43},
  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.43},
  URN =		{urn:nbn:de:0030-drops-149318},
  doi =		{10.4230/DagSemRep.43},
}