Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H; Paulson, Lawrence C

doi:10.1007/s11786-019-00394-8

Request a copy of the file

Enter the following information to request a copy for the following item: Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Requesting the following file: 1804.10520v1.pdf

Information: This item is under embargo. To send a request for access to the author or person responsible for this item, please enter the following information. If your request is either approved or declined, you will receive a response to inform you of the outcome. If the request is ignored, you will not receive a response at all, in which case you will not be able to access the item.

Name *

Your email address *This email address is used for sending the file.

Files

All files (of this item) in restricted access

Only the requested file

Message

Please enter information about why you require access to this item that will be sent to the author or person responsible. You can include information about your occupation, your research, how you discovered the item, if you know the author, and why you want to view this item.

I confirm that I request a copy of this work for my individual use only and not on behalf of someone else. I understand that I am not authorised to quote, translate, publish, archive, or share with a third party the whole or any part of the work without obtaining explicit consent from the author

In order to submit the request you must accept the Request a copy (Google reCaptcha) cookies.

Open cookie settings

Back