
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 easytouse 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 noncocompact 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...

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

SPCPM
 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 bitwise 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...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: 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 specialpurpose system for computational...

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