Zum Inhalt springen

  1. Asperti, Andrea [HerausgeberIn]; Buchberger, Bruno [Sonstige Person, Familie und Körperschaft]; Davenport, James Harold [Sonstige Person, Familie und Körperschaft] ; MKM 2 2003, Bertinoro Bertinoro

    Mathematical knowledge management : second international conference ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 2594

  2. Davenport, James Harold [Sonstige Person, Familie und Körperschaft] ; EUROCAL 1987 Leipzig

    EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2 - 5, 1987 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1989 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 37800

  3. Fessenden, Thomas [VerfasserIn] ; Griffith, James Davenport [DruckerIn]; Griffith, James Davenport [Sonstige Person, Familie und Körperschaft] Freemasons Rising Sun Lodge (Keene, N.H.), Freemasons Rising Sun Lodge (Keene, N.H.)

    A luminous shining character : deliniated [sic] and recommended in a sermon, preached before the Most Ancient and Honorable Society of Free and Accepted Masons, of the Rising Sun Lodge, in Keene, on Wednesday, June 24, 1789. By Thomas Fessenden, A.M. Pastor of the church in Walpole. [Four lines of Scripture texts]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Keene: (State of New-Hampshire): Printed by Brother James D. Griffith, [1789] ; Online-Ausg.: Farmington Hills, Mich: Cengage Gale, 2009

  4. Moorhead, Sarah Parsons [VerfasserIn] ; Harrison, Charles [Sonstige Person, Familie und Körperschaft]; Davenport, James [Sonstige Person, Familie und Körperschaft]

    To the Reverend Mr. James Davenport on his departure from Boston, by way of a dream : with a line to the scoffers at religion, who make an ill improvement of his naming out our worthy minister. To which is added, a postcript to the Rev. Mr. A--d--w C--w-ll. By a female friend

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Boston: Printed for Charles Harrison, in Cornhil, over against the Brazen-Head, 1742 ; Online-Ausg.: Farmington Hills, Mich: Cengage Gale, 2009

  5. Davenport, James Harold [VerfasserIn] ; Farmer, William M. [Sonstige Person, Familie und Körperschaft]; Urban, Josef [Sonstige Person, Familie und Körperschaft]; Rabe, Florian [Sonstige Person, Familie und Körperschaft]

    Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6824

  6. Davenport, James Harold [VerfasserIn]

    EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

    Erschienen in: Lecture notes in computer science ; 378

  7. England, Matthew [HerausgeberIn]; Davenport, James H. [HerausgeberIn]; Kohlhase, Andrea [HerausgeberIn] ; CICM 2014 Coimbra

    CICM-WS-WiP 2014, Workshop and Work in Progress papers at CICM 2014 : the 9th Workshop on Mathematical User Interfaces (MathUI), the 26th OpenMath Workshop, the 2014 Workshop on Theorem proving components for Educational software (ThEdu), the Work in Progress Section of CICM 2014 : joint proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM, co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen, Germany: RWTH Aachen, [2014]

    Erschienen in: CEUR workshop proceedings ; 118600

  8. Mulligan, Casey B. [VerfasserIn] ; Davenport, James H. [Sonstige Person, Familie und Körperschaft]; England, Matthew [Sonstige Person, Familie und Körperschaft]; Bradford, Russell [Sonstige Person, Familie und Körperschaft]; Tonks, Zak [Sonstige Person, Familie und Körperschaft] National Bureau of Economic Research

    Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge, Mass: National Bureau of Economic Research, May 2018

    Erschienen in: NBER working paper series ; no. w24602

  9. Mulligan, Casey B. [VerfasserIn] ; Bradford, Russell [Sonstige Person, Familie und Körperschaft]; Davenport, James H. [Sonstige Person, Familie und Körperschaft]; England, Matthew [Sonstige Person, Familie und Körperschaft]; Tonks, Zak [Sonstige Person, Familie und Körperschaft]

    Non-Linear Real Arithmetic Benchmarks Derived from Automated Reasoning in Economics

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [S.l.]: SSRN, [2018]

    Erschienen in: NBER Working Paper ; No. w24602

  10. Kremer, Gereon [VerfasserIn] ; Ábrahám, Erika [AkademischeR BetreuerIn]; Davenport, James Harold [AkademischeR BetreuerIn]; Levandovskyy, Viktor [AkademischeR BetreuerIn]

    Cylindrical algebraic decomposition for nonlinear arithmetic problems

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2020

  11. Abraham, Erika [VerfasserIn]; Davenport, James H. [VerfasserIn]; England, Matthew [VerfasserIn]; Griggio, Alberto [VerfasserIn] ; Erika Abraham and James H. Davenport and Matthew England and Alberto Griggio [MitwirkendeR]

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

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  12. Davenport, James Harold [HerausgeberIn]; Kauers, Manuel [HerausgeberIn]; Labahn, George [HerausgeberIn]; Urban, Josef [HerausgeberIn] ; International Congress on Mathematical Software 6. 2018 South Bend, Ind

    Mathematical Software – ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2018

    Erschienen in: Lecture notes in computer science ; 1093100

  13. Watt, Stephen M. [VerfasserIn] ; Davenport, James Harold [HerausgeberIn]; Sexton, Alan P. [HerausgeberIn]; Sojka, Petr [HerausgeberIn]; Urban, Josef [HerausgeberIn]

    Intelligent Computer Mathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8543