相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Special issue on Algebraic Geometry and Machine Learning
Jonathan D. Hauenstein et al.
JOURNAL OF SYMBOLIC COMPUTATION (2023)
Machine learning the real discriminant locus
Edgar A. Bernal et al.
JOURNAL OF SYMBOLIC COMPUTATION (2022)
Exotic Bifurcations in Three Connected Populations with Allee Effect
Gergely Rost et al.
INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS (2021)
Advancing mathematics by guiding human intuition with AI
Alex Davies et al.
NATURE (2021)
Identifying the parametric occurrence of multiple steady states for some biological networks
Russell Bradford et al.
JOURNAL OF SYMBOLIC COMPUTATION (2020)
Fully incremental cylindrical algebraic decomposition
Gereon Kremer et al.
JOURNAL OF SYMBOLIC COMPUTATION (2020)
Cylindrical algebraic decomposition with equational constraints
Matthew England et al.
JOURNAL OF SYMBOLIC COMPUTATION (2020)
Techniques for Interpretable Machine Learning
Mengnan Du et al.
COMMUNICATIONS OF THE ACM (2020)
From local explanations to global understanding with explainable AI for trees
Scott M. Lundberg et al.
NATURE MACHINE INTELLIGENCE (2020)
Validity proof of Lazard's method for CAD construction
Scott McCallum et al.
JOURNAL OF SYMBOLIC COMPUTATION (2019)
Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Zongyan Huang et al.
MATHEMATICS IN COMPUTER SCIENCE (2019)
On using Lazard's projection in CAD construction
Scott McCallum et al.
JOURNAL OF SYMBOLIC COMPUTATION (2016)
Code optimization in FORM
J. Kuipers et al.
COMPUTER PHYSICS COMMUNICATIONS (2015)
The Borda Count and its real-world alternatives: Comparing scoring rules in Nauru and Slovenia
Jon Fraenkel et al.
AUSTRALIAN JOURNAL OF POLITICAL SCIENCE (2014)
Cusp Points in the Parameter Space of Degenerate 3-RPR Planar Parallel Manipulators
Montserrat Manubens et al.
JOURNAL OF MECHANISMS AND ROBOTICS-TRANSACTIONS OF THE ASME (2012)
Cylindrical Algebraic Decomposition using validated numerics
Adam W. Strzebonski
JOURNAL OF SYMBOLIC COMPUTATION (2006)
Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
B Buchberger
JOURNAL OF SYMBOLIC COMPUTATION (2006)