×

Found 43 Documents (Results 1–43)

Certifying reality of projections. (English) Zbl 1396.14053

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 200-208 (2018).
MSC:  14Qxx 65H10

Experimentation in the Schubert calculus. (English) Zbl 1378.14056

Naruse, Hiroshi (ed.) et al., Schubert calculus – Osaka 2012. Proceedings of the 5th Mathematical Society of Japan-Seasonal Institute, MSJ-SI, Osaka, Japan, July 17–27, 2012. Tokyo: Mathematical Society of Japan (MSJ) (ISBN 978-4-86497-038-9/hbk). Advanced Studies in Pure Mathematics 71, 295-335 (2016).
MSC:  14N15 14Q15

Validating the completeness of the real solution set of a system of polynomial equations. (English) Zbl 1362.13027

Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 143-150 (2016).

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field