[Lecture Notes in Computer Science] The Semantic Web – ISWC 2016 Volume 9982 || Towards Analytics Aware Ontology Based Access to Static and Streaming Data
- 作者Groth, Paul; Simperl, Elena; Gray, Alasdair; Sabou, Marta; Krötzsch, Markus; Lecue, Freddy; Flöck, Fabian; Gil, Yolanda
- 文件大小877.85KB
- 发表时间2016
- DOI10.1007/978-3-319-46547-0_31
- 页码344-362
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9301 ||Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2015
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9890 ||Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2016
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9301 || Simplification of Cylindrical Algebraic FormulasGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2015
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9890 || Algorithmic Computation of Polynomial AmoebasGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2016
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9890 || Incompleteness, Undecidability and Automated ProofsGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2016
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9890 || Improved Computation of Involutive BasesGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2016
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9301 || Symbolic Computation and Finite Element MethodsGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2015
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9301 || Janet Bases and Resolutions in CoCoALibGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2015