3680 search results - page 206 / 736 » cases 2010 |
147
click to vote
JAR
2010
15 years 5 months ago
2010
We give a short survey of the main principles of our software for the visualisation and animation in mathematics and study the visibility and contour problems in the representation...
234
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formula...
184
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
152
click to vote
MA
2010
Springer
15 years 5 months ago
2010
Springer
Global depth, tangent depth and simplicial depths for classical and orthogonal regression are compared in examles and properies that are usefull for calculations are derived. Algo...
164
click to vote
MICS
2010
15 years 5 months ago
2010
Abstract. Following Gaudry and G¨urel who extended Kedlaya’s point-counting algorithm to superelliptic curves, we introduce Harvey’s running time improvements for large enough...