×

Found 427 Documents (Results 1–100)

Newest Citations Relevance
Brown, Christopher W.; Daves, Glenn Christopher

Applying machine learning to heuristics for real polynomial constraint solving. (English) Zbl 1503.68307

Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 292-301 (2020).
MSC:  68W30 14Q30 68T05 68T20
PDF BibTeX XML Cite
\textit{C. W. Brown} and \textit{G. C. Daves}, Lect. Notes Comput. Sci. 12097, 292--301 (2020; Zbl 1503.68307)
Full Text: DOI
Rack, Heinz-Joachim; Vajda, Robert

Explicit solution, for \(n = 6\), to a Markov-type extremal problem initiated by Schur. (English) Zbl 1460.41007

Draganov, Borislav (ed.) et al., Constructive theory of functions. Proceedings of the 13th international conference, Sozopol, Bulgaria, June 2–8, 2019. Dedicated to the memory of Blagovest Sendov. Sofia: Prof. Marin Drinov Academic Publishing House. 195-219 (2020).
MSC:  41A17 41A29
PDF BibTeX XML Cite
\textit{H.-J. Rack} and \textit{R. Vajda}, in: Constructive theory of functions. Proceedings of the 13th international conference, Sozopol, Bulgaria, June 2--8, 2019. Dedicated to the memory of Blagovest Sendov. Sofia: Prof. Marin Drinov Academic Publishing House. 195--219 (2020; Zbl 1460.41007)
Full Text: Link
Brakensiek, Joshua; Gopi, Sivakanth; Guruswami, Venkatesan

CSPs with global modular constraints: algorithms and hardness via polynomial representations. (English) Zbl 1433.68270

Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 590-601 (2019).
MSC:  68R07 68Q17 68Q25 68W40
PDF BibTeX XML Cite
\textit{J. Brakensiek} et al., in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC '19, Phoenix, AZ, USA, June 23--26, 2019. New York, NY: Association for Computing Machinery (ACM). 590--601 (2019; Zbl 1433.68270)
Full Text: DOI arXiv
Vale-Enriquez, Fernando; Brown, Christopher W.

Polynomial constraints and unsat cores in Tarski. (English) Zbl 1395.68353

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, 466-474 (2018).
MSC:  68W30
PDF BibTeX XML Cite
\textit{F. Vale-Enriquez} and \textit{C. W. Brown}, Lect. Notes Comput. Sci. 10931, 466--474 (2018; Zbl 1395.68353)
Full Text: DOI
Naldi, Simone

Solving rank-constrained semidefinite programs in exact arithmetic. (English) Zbl 1360.90190

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). 357-364 (2016).
MSC:  90C22 68W30 90C26
PDF BibTeX XML Cite
\textit{S. Naldi}, in: 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). 357--364 (2016; Zbl 1360.90190)
Full Text: DOI arXiv
Elbassioni, Khaled; Nguyen, Trung Thanh

Approximation schemes for multi-objective optimization with quadratic constraints of fixed cp-rank. (English) Zbl 1407.90285

Walsh, Toby (ed.), Algorithmic decision theory. 4th international conference, ADT 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9346, 273-287 (2015).
MSC:  90C29 90C27
PDF BibTeX XML Cite
\textit{K. Elbassioni} and \textit{T. T. Nguyen}, Lect. Notes Comput. Sci. 9346, 273--287 (2015; Zbl 1407.90285)
Full Text: DOI
Vygodchikova, I. Yu.

On approximation of multivalued mapping by algebraic polynomial with constraints. (English. Russian original) Zbl 1329.41023

Russ. Math. 59, No. 2, 25-28 (2015); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2015, No. 2, 30-34 (2015).
Reviewer: Alexander Tovstolis (Orlando)
MSC:  41A29 41A10 41A50
PDF BibTeX XML Cite
\textit{I. Yu. Vygodchikova}, Russ. Math. 59, No. 2, 25--28 (2015; Zbl 1329.41023); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2015, No. 2, 30--34 (2015)
Full Text: DOI
Dolgin, Yuri; Zeheb, Ezra

Linear constraints for convex approximation of the stability domain of a polynomial in coefficients space. (English) Zbl 1350.93062

Wolansky, Gershon (ed.) et al., Variational and optimal control problems on unbounded domains. A workshop in memory of Arie Leizarowitz, Haifa, Israel, January 9–12, 2012. Proceedings. Providence, RI: American Mathematical Society (AMS); Ramat Gan: Bar-Ilan University (ISBN 978-1-4704-1077-3/hbk; 978-1-4704-1713-0/ebook). Contemporary Mathematics 619. Israel Mathematical Conference Proceedings, 49-58 (2014).
MSC:  93D09
PDF BibTeX XML Cite
\textit{Y. Dolgin} and \textit{E. Zeheb}, Contemp. Math. 619, 49--58 (2014; Zbl 1350.93062)

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software