Results 1 to 20 of 331
Sort by:

  • Miura
  • Referenced in 1 article [sw20305]
  • Weierstrass form. Miura: Divisor Class Group Arithmetic. The Package Miura contains functions that compute divisor ... class group arithmetic for nonsingular curves. The package reduces computation in a divisor class group ... also for understanding the divisor class group arithmetic from the ideal point of view...

  • PandA
  • Referenced in 2 articles [sw08229]
  • PandA, a software framework for pairings and arithmetic. It is designed to bring together advances ... algorithms for pairing computation and group arithmetic. PandA offers an API in the C programming...

  • SEAL

  • Referenced in 8 articles [sw23558]
  • Simple Encrypted Arithmetic Library. The Simple Encrypted Arithmetic Library is an easy-to-use homomorphic ... developed by researchers in the Cryptography Research Group at Microsoft Research. SEAL is written...

  • CoxIter
  • Referenced in 6 articles [sw13972]
  • hyperbolic Coxeter groups. Given such a group, the program determines whether it is cocompact ... finite covolume, whether it is arithmetic in the non-cocompact case, and whether it provides...

  • fakequadrics
  • Referenced in 6 articles [sw34706]
  • commensurability class of their fundamental group. To accomplish this task, we develop a number ... techniques that explicitly bound the arithmetic invariants of a fake quadric and more generally...

  • surface_dynamics

  • Referenced in 3 articles [sw38631]
  • arbitrary precision arithmetic; PARI/GP for number field computations; GAP for finite groups representation and permutation...

  • DoCon-A
  • Referenced in 1 article [sw37631]
  • algebraic structures: Semigroup, Group, Ring, and so on. Arithmetic and some other operations are defined...

  • FoCaL
  • Referenced in 1 article [sw09352]
  • library for modular arithmetic through the certification of quotient groups and quotient rings which...

  • NEDA
  • Referenced in 2 articles [sw03493]
  • Distributed Arithmetic (NEDA) completes multiply/accumulate by an adder only and achieves excellent performance in terms ... this paper, an optimal algorithm for grouping in NEDA is introduced, which is effective...

  • libeval
  • Referenced in 0 articles [sw05760]
  • arithmetic expression evaluator supporting addition (+), subtraction (-), multiplication (*), division (/), modulo division (), exponentiation (^), sign change (+-), percentages (%), grouping...

  • Darwin

  • Referenced in 1 article [sw35912]
  • discrete problems, matrix decomposition routines, complex/long integer arithmetic operations), (3) an improved language with ... charge from the Computational Biochemistry Research Group (CBRG), reachable at http://cbrg.inf.ethz.ch...

  • SPC-PM
  • Referenced in 3 articles [sw37679]
  • being developed in our research group under the supervision of Prof. A. Meyer ... behavior of the algorithms can be monitored: arithmetic and communication time is measured, the discretization...

  • BMXNet
  • Referenced in 1 article [sw21104]
  • applying bit-wise operations instead of standard arithmetic operations. Therefore it could significantly improve ... maintained and developed by the multimedia research group at Hasso Plattner Institute and released under...

  • ADOL-C
  • Referenced in 257 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...

  • ATLAS
  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...

  • ACL2
  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...

  • AXIOM
  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...

  • BARON
  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...

  • CASA
  • Referenced in 111 articles [sw00108]
  • CASA is a special-purpose system for computational...

  • cdd
  • Referenced in 119 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...