• 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...