Symbolic Mathematical Computation 1965--1975: The View from a Half-Century Perspective

Documenti analoghi

• Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
  di: del Río, Tereso, et al.
  Pubblicazione: (2024)
• Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
  di: Pickering, Lynn, et al.
  Pubblicazione: (2023)
• Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
  di: Florescu, Dorian, et al.
  Pubblicazione: (2024)
• Efficient Symbolic Computation via Hash Consing
  di: Zhu, Bowen, et al.
  Pubblicazione: (2025)
• Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
  di: England, Matthew
  Pubblicazione: (2024)