Publications

From symbolicdata
Jump to: navigation, search


Presentations and Publications about the SymbolicData Project

Presentations

Publications

  • A. Heinle, W. Koepf, W. Sperber: Some steps to improve software information. (pdf)
In: Computeralgebra-Rundbrief 60 (March 2017) and Communications in Computer Algebra ??
  • H.-G. Gräbe: The SymbolicData Project – a Community Driven Project for the CA Community. (pdf)
Not accepted for the conference proceedings. (2017).
  • 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: Semantic-aware Fingerprints of Symbolic Research Data. (pdf)
Talk at the ICMS 2016 Session Information Services for Mathematics: Software, Services, Models, and Data.
Published 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. Communications in Computer Algebra vol. 49.1 (March 2015), pp 1-10. (pdf)
  • H.-G. Gräbe, A. Nareike, S. Johanning: The SymbolicData Project. (pdf)
Revised version of 2014-06-23, presented at iceseh-2014, not accepted for the conference proceedings.
  • 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)