medieval
发表于 2025-3-23 12:32:36
http://reply.papertrans.cn/24/2321/232087/232087_11.png
Figate
发表于 2025-3-23 14:53:23
Computing Finite Soluble Quotients,A finite soluble quotient algorithm which computes power conjugate presentations for finite soluble quotients of finitely presented groups is described. A version of this algorithm has been implemented in C and is available as the ANU Soluble Quotient Program.
Definitive
发表于 2025-3-23 20:44:42
http://reply.papertrans.cn/24/2321/232087/232087_13.png
无畏
发表于 2025-3-24 01:21:46
http://reply.papertrans.cn/24/2321/232087/232087_14.png
宇宙你
发表于 2025-3-24 03:41:18
An Implementation of the Elliptic Curve Integer Factorization Method,This paper describes the second author’s implementation of the elliptic curve method for the factorization of integers as it is currently available in the computational algebra package Magma, which is under development at the University of Sydney.
Cacophonous
发表于 2025-3-24 09:07:54
http://reply.papertrans.cn/24/2321/232087/232087_16.png
FLUSH
发表于 2025-3-24 13:58:47
http://reply.papertrans.cn/24/2321/232087/232087_17.png
ensemble
发表于 2025-3-24 17:25:34
Generalisations of the Todd-Coxeter Algorithm,. Recently the author has developed two related algorithms, the double coset enumeration algorithm and the vector enumeration algorithm. This paper establishes a common framework for the three algorithms, based on a related algorithm for constructing transformation representations of monoids.
半圆凿
发表于 2025-3-24 21:41:46
http://reply.papertrans.cn/24/2321/232087/232087_19.png
ineluctable
发表于 2025-3-24 23:26:26
http://reply.papertrans.cn/24/2321/232087/232087_20.png