3 Search Results for "Davenport, James"


Document
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)

Authors: Erika Abraham, James H. Davenport, Matthew England, and Alberto Griggio

Published in: Dagstuhl Reports, Volume 12, Issue 2 (2022)


Abstract
Dagstuhl Seminar 22072 gathered researchers from Symbolic Computation and Satisfiability Checking. These communities have independent histories but worked together in recent years (e.g. Dagstuhl Seminar 15471 and the EU SC-Square Project). We seek to tackle problems which are in the interest of both communities, and require the expertise of both to overcome.

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)


Copy BibTex To Clipboard

@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-dev.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}
}
Document
Symbolic, Algebraic and Validated Numerical Computation (Dagstuhl Seminar 9232)

Authors: James H. Davenport, Fritz Krückeberg, Ramon E. More, and Siegfried M. Rump

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


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)


Copy BibTex To Clipboard

@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-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.43},
  URN =		{urn:nbn:de:0030-drops-149318},
  doi =		{10.4230/DagSemRep.43},
}
Document
Algorithms of Computeralgebra (Dagstuhl Seminar 9151)

Authors: Bruno Buchberger, James Davenport, and Fritz Schwarz

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


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)


Copy BibTex To Clipboard

@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-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.27},
  URN =		{urn:nbn:de:0030-drops-149151},
  doi =		{10.4230/DagSemRep.27},
}
  • Refine by Author
  • 2 Davenport, James H.
  • 1 Abraham, Erika
  • 1 Buchberger, Bruno
  • 1 Davenport, James
  • 1 England, Matthew
  • Show More...

  • Refine by Classification
  • 1 Computing methodologies → Symbolic and algebraic manipulation
  • 1 Theory of computation → Automated reasoning

  • Refine by Keyword
  • 1 SMT Solvers
  • 1 computer algebra systems
  • 1 verification

  • Refine by Type
  • 3 document

  • Refine by Publication Year
  • 2 1992
  • 1 2022

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