Zobrazeno 1 - 3
of 3
pro vyhledávání: '"del Rio, Tereso"'
Autor:
del Río, Tereso, England, Matthew
Publikováno v:
Mathematics in Computer Science, vol 18, article number 17. Springer, 2024
Symbolic Computation algorithms and their implementation in computer algebra systems often contain choices which do not affect the correctness of the output but can significantly impact the resources required: such choices can benefit from having the
Externí odkaz:
http://arxiv.org/abs/2401.13343
Autor:
del Rio, Tereso, England, Matthew
Publikováno v:
Proceedings of the 8th Workshop on Satisfiability Checking and Symbolic Computation (SC2 '23), E. \'Abrah\'am and T. Sturm eds. CEUR Workshop Proceedings 3455, pp. 29-38, 2023
This paper discusses and evaluates ideas of data balancing and data augmentation in the context of mathematical objects: an important topic for both the symbolic computation and satisfiability checking communities, when they are making use of machine
Externí odkaz:
http://arxiv.org/abs/2307.06984
Autor:
del Río, Tereso, England, Matthew
Publikováno v:
In: F. Boulier, M. England, T.M. Sadykov, and E.V. Vorozhtsov, eds. Computer Algebra in Scientific Computing (Proc. CASC '22), pp. 300-317. (Lecture Notes in Computer Science, 13366). Springer International, 2022
It is well known that the variable ordering can be critical to the efficiency or even tractability of the cylindrical algebraic decomposition (CAD) algorithm. We propose new heuristics inspired by complexity analysis of CAD to choose the variable ord
Externí odkaz:
http://arxiv.org/abs/2206.13480