Formalization of a Newton series representation of polynomials-Reference-Cited by-同舟云学术

Formalization of a Newton series representation of polynomials

Published:2016-01-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
language:
Short-container-title:

Author:

Cohen Cyril¹,Djalal Boris¹

Affiliation:

1. Inria, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2854065.2854075

Reference8 articles.

1. T. W. Alasdair Armstrong Georg Struth. Programming and Automating Mathematics in the Tarski-Kleene Hierarchy. 2014. T. W. Alasdair Armstrong Georg Struth. Programming and Automating Mathematics in the Tarski-Kleene Hierarchy. 2014.

2. Canonical Big Operators

3. A. Bostan. Algorithmique efficace pour des opérations de base en Calcul formel. 2003. A. Bostan. Algorithmique efficace pour des opérations de base en Calcul formel. 2003.

4. Formal Power Series

5. P. Quaresma. DCpic package to draw diagrams in Latex. https://www. ctan.org/pkg/dcpic. Accessed: 25/06/2015. P. Quaresma. DCpic package to draw diagrams in Latex. https://www. ctan.org/pkg/dcpic. Accessed: 25/06/2015.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Experimental measurement and thermodynamic model predictions of the distributions of Cu, As, Sb and Sn between liquid lead and PbO–FeO–Fe2O3–SiO2 slag;International Journal of Materials Research;2020-09-16

2. Toward Hardware Spiking Neural Networks with Mixed-Signal Event-Based Learning Rules;2020 International Joint Conference on Neural Networks (IJCNN);2020-07

3. A Verified Implementation of Algebraic Numbers in Isabelle/HOL;Journal of Automated Reasoning;2018-12-09

4. Algebraic Numbers in Isabelle/HOL;Interactive Theorem Proving;2016