Algebraic Statistics in OSCAR
Tobias Boege, Antony Della Vecchia, Marina Garrote-L\'opez, Benjamin Hollering
TL;DR
This paper introduces the AlgebraicStatistics section of OSCAR, emphasizing its design, data sharing capabilities, and advanced algorithms for algebraic statistical computations.
Contribution
It presents a new algebraic statistics module within OSCAR, showcasing its extensible architecture and state-of-the-art implicitization algorithms.
Findings
Extensible design for algebraic statistics in OSCAR
Serialization features for data sharing and database creation
Implementation of advanced implicitization algorithms
Abstract
We introduce the AlgebraicStatistics section of the OSCAR computer algebra system. We give an overview of its extensible design and highlight its features including serialization of data types for sharing results and creating databases, and state-of-the-art implicitization algorithms.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPolynomial and algebraic computation · Logic, programming, and type systems · Formal Methods in Verification