( en | de | ru )

 

Disambiguation of "Passmore, Grant O."

Author of the publication

copydeleteadd this publication to your clipboard
Compositional Taylor Model Based Validated Integration.

, , , and . SYNASC, page 45-52. IEEE, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Grant Schindler

Phillip Grant

Grant Boctor

Marion Grant

Thomas Grant

 

Other publications of authors with the same name

Compositional Taylor Model Based Validated Integration., , , and . SYNASC, page 45-52. IEEE, (2018)ACL2 Proofs of Nonlinear Inequalities with Imandra.. ACL2, volume 393 of EPTCS, page 151-160. (2023)Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning., , , , , and . CoRR, (2023)CheckINN: Wide Range Neural Network Verification in Imandra (Extended)., , , and . CoRR, (2022)CheckINN: Wide Range Neural Network Verification in Imandra., , , and . PPDP, page 3:1-3:14. ACM, (2022)Towards a Certified Proof Checker for Deep Neural Network Verification., , , , , and . LOPSTR, volume 14330 of Lecture Notes in Computer Science, page 198-209. Springer, (2023)The Imandra Automated Reasoning System (System Description)., , , , , , , , and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 464-471. Springer, (2020)An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning., , , , , and . CICM, volume 14101 of Lecture Notes in Computer Science, page 297-302. Springer, (2023)Neural Networks in Imandra: Matrix Representation as a Verification Choice., , and . NSV/FoMLAS@CAV, volume 13466 of Lecture Notes in Computer Science, page 78-95. Springer, (2022)