Sciweavers

JSC
2011
100views more  JSC 2011»
13 years 3 months ago
Toric forms of elliptic curves and their arithmetic
We scan a large class of one-parameter families of elliptic curves for efficient arithmetic. The construction of the class is inspired by toric geometry, which provides a natural ...
Wouter Castryck, Frederik Vercauteren
JSC
2011
99views more  JSC 2011»
13 years 3 months ago
Sparse polynomial division using a heap
In 1974, Johnson showed how to multiply and divide sparse polynomials using a binary heap. This paper introduces a new algorithm that uses a heap to divide with the same complexit...
Michael B. Monagan, Roman Pearce
JSC
2011
76views more  JSC 2011»
13 years 7 months ago
Parallelization of Modular Algorithms
Nazeran Idrees, Gerhard Pfister, Stefan Steidel
JSC
2011
55views more  JSC 2011»
13 years 7 months ago
Meta-expansion of transseries
Joris van der Hoeven
JSC
2011
74views more  JSC 2011»
13 years 7 months ago
Constructive homomorphisms for classical groups
Let Ω ≤ GLd(q) be a quasisimple classical group in its natural representation and let ∆ = NGLd(q)(Ω). We construct the projection from ∆ to ∆/Ω and provide fast, poly...
Scott H. Murray, Colva M. Roney-Dougal
JSC
2011
62views more  JSC 2011»
13 years 7 months ago
Trace-based verification of imperative programs with I/O
Gregory Malecha, Greg Morrisett, Ryan Wisnesky
JSC
2011
71views more  JSC 2011»
13 years 7 months ago
Chern numbers of smooth varieties via homotopy continuation and intersection theory
Homotopy continuation provides a numerical tool for computing the equivalence of a smooth variety in an intersection product. Intersection theory provides a theoretical tool for re...
Sandra Di Rocco, David Eklund, Chris Peterson, And...
JSC
2011
61views more  JSC 2011»
13 years 7 months ago
Static consistency checking of web applications with WebDSL
Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kat...
JSC
2011
110views more  JSC 2011»
13 years 7 months ago
Computing symmetric rank for symmetric tensors
We consider the problem of determining the symmetric tensor rank for symmetric tensors with an algebraic geometry approach. We give algorithms for computing the symmetric rank for...
Alessandra Bernardi, Alessandro Gimigliano, Monica...