5510 search results - page 329 / 1102 » Mathematics |
202
click to vote
FROCOS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
183
click to vote
ISSAC
2007
Springer
16 years 27 days ago
2007
Springer
Numerical homotopy continuation gives a powerful tool for the applied scientist who seeks solutions to a system of polynomial equations. Techniques from numerical homotopy continu...
185
click to vote
ISSAC
2007
Springer
16 years 27 days ago
2007
Springer
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...
161
click to vote
ISSAC
2007
Springer
16 years 27 days ago
2007
Springer
Consider a rational matrix, particularly one whose entries have large numerators and denominators, but which is presented as a product of very sparse matrices with relatively smal...
154
click to vote
WAIFI
2007
Springer
16 years 26 days ago
2007
Springer
Kabastianskii, Krouk and Smeets proposed in 1997 a digital signature scheme based on random error-correcting codes. In this paper we investigate the security and the efficiency of ...