Semantic Scholar uses AI to extract papers important to this topic.
We present a certified and complete algorithm to compute arrangements of real planar algebraic curves. It computes the… Expand The aim of SNC 2009 is to offer a forum for researchers in symbolic and numeric computation to present their work, interact… Expand Symbolic computation and numeric computation are two types of computation for solving problems arising from science and… Expand The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging… Expand In this tutorial paper, we first discuss the motivation of doing symbolic-numeric computation, with the aim of developing… Expand Algorithms that combine ideas from symbolic and numeric computation have been of increasing interest over the past decade. Not… Expand Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example… Expand An elastic stocking has an upper thigh panel which is adjustable both at the top and bottom of the panel and is fastened in… Expand PCT No. PCT/SE94/01208 Sec. 371 Date Oct. 16, 1996 Sec. 102(e) Date Oct. 16, 1996 PCT Filed Dec. 15, 1994 PCT Pub. No. WO95/18420… Expand We propose a new method with a software tool for parametric robust control synthesis by symbolic-numeric computation. The method… Expand