Tag: computer-algebra

110 Most helpful math resources on the web 2009-10-23T18:54:36.030

110 Computer Algebra Errors 2010-01-12T09:50:52.010

52 Reasons to prefer one large prime over another to approximate characteristic zero 2013-05-16T00:57:10.170

38 Open source mathematical software 2010-03-22T18:46:15.457

34 Is there a systematic method for differentiating under the integral sign? 2010-12-31T23:03:40.410

33 The unification of Mathematics via Topos Theory 2010-06-23T13:03:40.380

27 Algebraic dependency over $\mathbb{F}_{2}$ 2014-11-25T18:00:18.763

26 Can Gröbner bases be used to compute solutions to large, real-world problems? 2009-11-17T00:53:53.523

24 Computer package for representation theory of the symmetric group 2012-05-11T20:29:27.560

23 Where to submit this work with several unusual features? 2016-07-21T20:52:34.483

22 two's and three's survive in gcd of Lagrange 2016-11-29T12:02:10.860

21 Fastest Algorithm to Compute the Sum of Primes? 2011-11-20T19:00:39.943

21 Is there a way of canonically labelling permutation groups? 2012-03-03T05:29:16.493

21 Minimal polynomial of cos(π/n) 2017-11-27T18:04:24.427

20 Main open computational problems in quantifier elimination? 2013-08-28T15:52:04.113

18 Where to publish computer computations 2010-03-07T01:53:06.893

17 What is currently feasible in invariant theory for binary forms? 2017-11-24T14:25:28.867

16 What to do when your research runs into a computationally challenging problem? 2011-07-30T17:30:42.867

15 "Oldest" bug in computer algebra system? 2010-02-25T04:33:26.597

15 An experiment on random matrices 2010-07-03T10:23:34.343

15 Computer software for periods 2015-03-11T10:42:36.207

15 From polynomial ideal over $\mathbb{Q}$ to polynomial ideal over $\mathbb{Z}$ 2015-07-30T16:21:10.450

13 Computing (on a computer) higher ramification groups and/or conductors of representations. 2010-03-05T19:34:18.713

13 Computational Question about finite local rings: 2010-08-19T21:26:44.843

13 Compute Lie algebra cohomology 2010-10-26T13:51:13.343

13 How can I tell if a variety is normal? 2012-08-11T03:23:03.483

12 Is Gauss-Seidel guaranteed to converge on *semi* positive definite matrices? 2011-11-13T03:24:12.760

12 Faster multiplication with a restricted set of multiplicands? 2014-01-07T21:27:15.507

12 Fast computation of a Groebner basis - What is Possible 2014-09-20T07:45:29.587

12 An efficient isomorphism between finite fields 2016-07-03T15:29:20.177

11 Is there a non self-referencing non-computable function? 2009-11-08T04:03:18.737

11 how to determine whether an ideal is prime or not by an algorithm 2011-04-07T15:49:26.857

11 Program for computing group cohomology 2012-03-29T13:33:13.537

11 Verify that a group is hyperbolic via computer algebra 2016-05-13T08:28:17.840

11 How do computer algebra packages like Sagemath implement rank of a matrix 2017-11-28T12:13:34.220

10 Counting points on varieties of low codimension 2009-11-20T16:24:59.800

10 Monomial orderings in noncommutative setting 2012-02-17T13:21:47.797

10 Algorithms in Invariant Theory 2012-09-10T15:55:13.300

10 Ideal Membership without Certificate? 2013-05-28T14:10:43.977

10 Computing in quantum groups 2016-04-21T16:04:28.340

10 Representing field elements in a computer 2018-03-18T19:18:55.647

9 is there a good computer package for working with bicomplexes? 2009-10-05T15:08:44.517

9 Which computer algebra system should I be using to solve large systems of sparse linear equations over a number field? 2009-10-25T20:14:03.840

9 Is there a stable algorithm for polynomial division (in several variables)? 2009-10-29T12:09:30.440

9 Finding minimal or canonical expressions for Boolean truth tables 2009-11-10T21:39:47.147

9 Mathematical software for computing in integral group rings of discrete groups? 2010-08-02T20:49:58.517

9 Multipolynomial resultants 2011-01-09T12:29:31.143

9 How to do integrals involving two Bessel functions and another function? 2011-12-09T02:56:54.660

9 Web interface for GAP (or other computer algebra system dealing with finite groups)? 2017-06-06T18:26:49.083

8 Basis for modular forms of half-integral weight 2010-04-06T21:27:44.797

8 Computing only the order of Galois group (not the group itself). 2010-06-13T03:38:47.477

8 A 2F1 Hypergeometric identity from a Feynman integral 2011-05-30T12:29:45.643

8 Homological computations 2011-10-07T20:19:38.897

8 Constructing a unitary matrix 2011-10-18T14:14:04.410

8 computer algebra system for polynomial algebras over finite fields 2012-08-05T22:53:05.400

8 Computing determinants of matrices of linear forms 2012-08-13T18:28:00.487

8 Efficient SVD of a matrix without some of the columns 2015-11-07T19:32:53.643

8 Computer Algebra Systems that support variable sized matrices 2015-11-21T17:39:06.493

8 Algebraic Shifting Computer Code 2016-09-06T15:57:43.177

8 How to compute with the Stark conjectures? 2017-05-04T14:34:26.197

7 Is there a good computer package for working with complexes over non-commutative rings? 2009-10-05T14:47:37.010

7 Software for rigorous optimization of real polynomials 2009-10-20T21:12:51.243

7 Choosing a fast computer algebra system that works in characteristic p? 2009-12-31T05:00:57.657

7 Rational exponential expressions 2010-01-26T09:57:23.700

7 Software for computing multi-graded Hilbert series 2010-04-03T20:43:32.870

7 Are there any sofware packages for computing Picard numbers? 2010-05-30T11:04:12.967

7 What are you using for symbolic computation? 2010-07-06T19:25:33.133

7 Where can I find tables of dual canonical basis vectors? 2011-06-30T02:41:54.780

7 Is there a MAGMA function to calculate the absolutely irreducible components of an algebraic curve defined over the rationals? 2011-08-16T08:44:01.023

7 Using MAGMA for Group Theory 2011-12-07T13:52:10.493

7 Computer Algebra solution for simplicial resolutions for André-Quillen cohomology 2012-05-12T17:07:52.800

7 Algorithm to find exponential map of differential operators acting on function 2013-05-18T18:00:33.630

7 Computer algebra system for Weyl algebra computations 2015-08-31T13:23:26.533

6 Computer power in plane geometry 2010-07-18T18:19:57.093

6 Complexity of high-order differentiation 2010-07-27T23:56:56.550

6 Bounds on remainder term of power series of elementary functions 2010-08-17T00:00:54.460

6 Quantum Group Calculations in Mathematica 2010-10-23T19:08:01.880

6 Differential Geometry/General Relativity Computer Algebra 2011-01-27T03:18:10.827

6 Computer algebra system for calculation of characteristic polynomial of sparse matrix 2011-10-23T16:56:38.630

6 Reasonable implementation of finding Gröbner bases over non-field coefficient rings 2012-05-18T21:13:23.237

6 Using math software to show that the following groups are infinite? 2014-03-03T06:29:39.300

6 Constructing the normal sheaf for the plucker embedding in MAGMA (or a similar programming language) 2015-09-21T02:09:30.387

6 Computing algebraic properties of trace fields, as given by SnapPy 2016-03-28T04:14:32.930

6 Problem on triangles 2016-11-17T11:33:15.073

6 Is there a good computer program for searching for endomorphisms between finite algebras which make diagrams commute? Is this problem NP-complete? 2017-02-11T18:25:10.460

6 Check irreducibility of an explicit polynomial, without computer 2017-02-26T19:25:16.387

6 Computation of a minimal polynomial 2017-09-03T15:55:20.017

6 Computing kernels of maps of modules over a finitely presented algebra 2017-10-07T21:59:11.790

6 Software for computing equivariants 2018-03-21T17:35:59.130

5 Is there a software package that does Schubert Calculus computations? 2009-10-20T04:41:55.633

5 Sections of a divisor on elliptic curve 2009-10-28T16:05:39.380

5 software for computations on flag varieties in arbitrary characteristic 2010-05-30T19:38:25.753

5 Automatic proving some expression is positive 2010-08-03T20:21:13.227

5 Algorithm for Weierstrass Preparation Theorem for Formal Power Series 2010-10-18T01:05:54.087

5 Computational Algebra - Where? 2010-11-12T11:01:09.183

5 Does a variety contain a cartesian product of two curves? 2011-06-04T14:13:06.777

5 Expressing a element of a Matrix subgroup in terms of subgroup generators 2011-10-10T07:53:55.570

5 Is it possible to check two curves on birational equivalence by some computer algebra system? 2011-11-08T22:59:42.843

5 Finding Presentations of Groups with GAP 2011-12-22T19:35:43.977