Presentations and Publications about the SymbolicData Project

Presentations

• SymbolicData at ACA 2016 in Kassel (Germany), August 2016.
  • H.-G. Gräbe: The SymbolicData Project – a Community Driven Project for Computer Algebra.
    • Abstract
    • Additional material
  • A. Heinle: Benchmarks and Quality Evaluation of CAS.
• H.-G. Gräbe: Semantic-aware Fingerprints of Symbolic Research Data. Presentation at ICMS 2016 in Berlin (Germany), July 13, 2016. (Additional material)
• SymbolicData at ACA 2015 in Kalamata (Greece), July 2015.
  • H.-G. Gräbe: SymbolicData, Computer Algebra and Web 2.0.
    • Presentation in the session “Human-Computer Algebra Interaction”, 2015-07-20.
      • Submitted Abstract.
    • Hands on session, 2015-07-21: Material.
  • H.-G. Gräbe, A. Heinle, V. Levandovskyy: SDEval – A Benchmarking Toolkit for Computer Algebra. Contribution to the poster session.
    • Submitted Abstract.
• H.-G. Gräbe: Presentation of the SymbolicData Project at the DMV-PTM joint meeting 2014 in Poznań (Poland), 2014-09-18.
• H.-G. Gräbe: Presentation of the SymbolicData Project at the Conferences on Intelligent Computer Mathematics 2014 in Coimbra (Portugal), 2014-07-07.
• H.-G. Gräbe: Presentation of the SymbolicData Project at the International Conference on Infrastructures and Cooperation in e-Science and e-Humanities in Leipzig, 2014-06-05.
• H.-G. Gräbe: Presentation of the SymbolicData Project at the AKSW Colloquium, 2014-03-17.
• H.-G. Gräbe: Presentation of the SymbolicData Project at the SPP 1489 Annual Meeting in Bad Boll, 2014-03-04.
• A. Nareike: Presentation of the SymbolicData Project at the E-Science Workshop in Dresden, 2013-06-11.
• The SymbolicData Poster (designed by Andreas Nareike, 2013)
• H.-G. Gräbe: The SymbolicData Project. Talk given at the Special Semester on Groebner Bases Linz 2006. (pdf)

Publications

• H.-G. Gräbe: 20 Years SymbolicData. (pdf)
  • In: Computeralgebra-Rundbrief 63 (October 2018) and Communications in Computer Algebra, vol. 52.3 (2019), pp 45–54.
• A. Heinle, W. Koepf, W. Sperber: Some steps to improve software information. (pdf)
  • In: Computeralgebra-Rundbrief 60 (March 2017) and Communications in Computer Algebra 51.1 (March 2017), pp 1-11.
• H.-G. Gräbe: The SymbolicData Project - Maturing the Computer Algebra Social Network Perspective. (pdf)
  • In: Computeralgebra-Rundbrief 59 (October 2016)
• H.-G. Gräbe: The SymbolicData Project – a Community Driven Project for the CA Community. (pdf)
  • Submitted to the ACA 2016 Session: Information services for mathematical software, models, and research data. Not accepted for the conference proceedings.
• H.-G. Gräbe: Semantic-aware Fingerprints of Symbolic Research Data. (pdf)
  • Talk at the ICMS 2016 Session ‘‘Information Services for Mathematics: Software, Services, Models, and Data’’.
  • In: Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese (Eds.). ‘‘Mathematical Software – ICMS 2016’’. LNCS 9725, 411-418. DOI 10.1007/978-3-319-42432-3.
• H.-G. Gräbe: The SymbolicData Project in a Computer Algebra Social Network Perspective. Some Architectural Considerations. (pdf)
  • Version of 2016-03-19, not accepted for the Projects and Surveys section of CICM-16.
• A. Heinle, V. Levandovskyy: The SDEval Benchmarking Toolkit. (pdf)
  • In: Communications in Computer Algebra vol. 49.1 (March 2015), pp 1-10.
• H.-G. Gräbe, A. Nareike, S. Johanning: The SymbolicData Project. (pdf)
  • Revised version of 2014-06-23, not accepted for the conference proceedings.
  • Presented at iceseh-2014.
• H.-G. Gräbe, S. Johanning, A. Nareike: The SymbolicData Project - from Data Store to Computer Algebra Social Network. (pdf)
  • In: Computeralgebra-Rundbrief 55 (October 2014)
• H.-G. Gräbe, A. Nareike, S. Johanning: The SymbolicData Project – Towards a Computer Algebra Social Network. (pdf)
  • Published in Workshop and Work in Progress Papers at CICM 2014 in CEUR-WS.org vol. 1186 (2014)
  • Presented at the “Work in Progress” section of CICM-14.
• H.-G. Gräbe: Workshop on SymbolicData Design. Leipzig, 27.–28. August 2013. (pdf)
  • In: Computeralgebra-Rundbrief 53 (Oct 2013)
• A. Heinle, V. Levandovskyy, A. Nareike: SymbolicData:SDEval – Benchmarks for Everyone. Preprint, April 2013. (pdf)
  • Submitted to CASC-13. Not accepted.
• H.-G. Gräbe: Workshop on SymbolicData Design. Leipzig, 13.–14. December 2012. (pdf)
  • In: Computeralgebra-Rundbrief 52 (March 2013)
• H.-G. Gräbe: Neues vom SymbolicData Projekt. (pdf)
  • In: Computeralgebra-Rundbrief 51 (Oct 2012) (in german)
• H.-G. Gräbe: The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes. (pdf)
  • Talk at the ADG-02 conference in Linz, Sept 2002.
  • In: Automated Deduction in Geometry 2002, ed. F. Winkler, LNAI 2930. Springer, Berlin 2004, p. 67-86.
• H.-G. Gräbe: The SymbolicData Geometry Collection and the GeoProver Packages (pdf)
  • Proceedings “8th Rhine Workshop on Computer Algebra” (RWCA-02), March 2002 in Mannheim, p. 173-194. Published by Univ. Mannheim.
• H.-G. Gräbe: The SymbolicData Benchmark Problems Collection of Polynomial Systems. (pdf)
  • Proceedings “Workshop on Under- and Overdetermined Systems of Algebraic or Differential Equations”, March 2002 in Karlsruhe, p. 57-76. Published by IAS, Univ. Karlsruhe
• H.-G. Gräbe: Neues vom SymbolicData Projekt. (pdf)
  • In: Computeralgebra-Rundbrief 28 (March 2001) (in german)
• O. Bachmann, H.-G. Gräbe: The SymbolicData Project - Towards an Electronic Repository of Tools and Data for Benchmarks of Computer Algebra Software. (pdf)
  • Reports On Computer Algebra 27 (2000), Centre for Computer Algebra, University of Kaiserslautern.
• O. Bachmann, H.-G. Gräbe: Das SymbolicData Projekt. (pdf)
  • In: Computeralgebra-Rundbrief 26 (March 2000) (in german)