Abstract. In this paper we will present SDeval, a software project that contains tools for creating and running benchmarks with a focus on problems in computer algebra. It is built on top of the Symbolic Data project, able to translate problems in the database into executable code for various computer algebra systems. The included tools are designed to be very flexible to use and to extend, such that they can be utilized even in contexts of other communities. With the presentation of SDEval, we will also address particularities of benchmarking in the field of computer algebra. Furthermore, with SDEval, we provide a feasible and automatizable way of reproducing benchmarks published in current research works, which appears to be a difficult t...
AMPL is a language and environment for expressing and manipulating mathematical programming problems...
We present three examples of the composition of Computer Algebra Systems to illustrate the progress ...
Symbolic Computation and Satisfiability Checking are two research areas, both having their individua...
From 02.07.06 to 07.07.06, the Dagstuhl Seminar 06271 ``Challenges in Symbolic Computation Software\...
Symbolic computation software allows mathematicians, scientists, engineers, or educators to deal wit...
Maxima is a free and open-source computer algebra system that can perform symbolic computations such...
While the state of the art is relatively sophisticated in programming language support for computer ...
The data descriptions of the units are called "symbolic" when they are more complex tha...
Solving equations and systems of equations symbolically is a key feature of every Computer Algebra S...
The data descriptions of the units are called "symbolic" when they are more complex than standard on...
The data descriptions of the units are called "symbolic" when they are more complex than the standar...
Symbolic computation is one of the computational domains that requires large computational resource...
We present the results of the first four years of the European research project SCIEnce—Symbolic Com...
We present the results of the first four years of the European research project SCIEnce (www.symboli...
International audienceWe describe the environment for symbolic and numeric computations, called SYNA...
AMPL is a language and environment for expressing and manipulating mathematical programming problems...
We present three examples of the composition of Computer Algebra Systems to illustrate the progress ...
Symbolic Computation and Satisfiability Checking are two research areas, both having their individua...
From 02.07.06 to 07.07.06, the Dagstuhl Seminar 06271 ``Challenges in Symbolic Computation Software\...
Symbolic computation software allows mathematicians, scientists, engineers, or educators to deal wit...
Maxima is a free and open-source computer algebra system that can perform symbolic computations such...
While the state of the art is relatively sophisticated in programming language support for computer ...
The data descriptions of the units are called "symbolic" when they are more complex tha...
Solving equations and systems of equations symbolically is a key feature of every Computer Algebra S...
The data descriptions of the units are called "symbolic" when they are more complex than standard on...
The data descriptions of the units are called "symbolic" when they are more complex than the standar...
Symbolic computation is one of the computational domains that requires large computational resource...
We present the results of the first four years of the European research project SCIEnce—Symbolic Com...
We present the results of the first four years of the European research project SCIEnce (www.symboli...
International audienceWe describe the environment for symbolic and numeric computations, called SYNA...
AMPL is a language and environment for expressing and manipulating mathematical programming problems...
We present three examples of the composition of Computer Algebra Systems to illustrate the progress ...
Symbolic Computation and Satisfiability Checking are two research areas, both having their individua...