Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Konferenzschrift 28 [ausschließen]
- Computeralgebra 24 [ausschließen]
- Aufsatzsammlung 11 [ausschließen]
- Algorithmus 10 [ausschließen]
- Datenverarbeitung 8 [ausschließen]
- Polynom 6 [ausschließen]
- Algorithmes 5 [ausschließen]
- Automatisches Beweisverfahren 5 [ausschließen]
- Algebra 4 [ausschließen]
- Logique symbolique et mathématique 4 [ausschließen]
- Programmation (mathématiques) 4 [ausschließen]
- Algebra Data processing Congresses 3 [ausschließen]
- Algèbre 3 [ausschließen]
- Deduktion 3 [ausschließen]
- Festschrift 3 [ausschließen]
- Algebra Data processing 2 [ausschließen]
- Algebraische Geometrie 2 [ausschließen]
- Algèbre différentielle 2 [ausschließen]
- Anwendung 2 [ausschließen]
- Automatic theorem proving Congresses 2 [ausschließen]
- Berechnungskomplexität 2 [ausschließen]
- Calcul formel 2 [ausschließen]
- Calcul formel - Congrès 2 [ausschließen]
- Eliminationsverfahren 2 [ausschließen]
- Geometrisches Objekt 2 [ausschließen]
- Gleichung 2 [ausschließen]
- Géométrie - Informatique 2 [ausschließen]
- Informatik 2 [ausschließen]
- Komplexitätstheorie 2 [ausschließen]
- Logique de premier ordre 2 [ausschließen]
-
1
Journal of symbolic computation an international journal
Veröffentlicht 1985
VolltextElektronisch Zeitschrift -
2
-
3
Special issue on symbolic computation and its applications [... Symbolic Computation and its Application (SCA) 2010 Conference, held in Maribor, Slovenia, June 30 - July 2, 2010]
Veröffentlicht 2012“… Journal of symbolic computation …”
Buch -
4
Special issue on International Workshop on Invariant Generation [... 3rd ...(WING 2010) that was held on 21 July 2010 in Edinburg, as a satellite event of the fifth International F...
Veröffentlicht 2012“… Journal of symbolic computation …”
Tagungsbericht Buch -
5
Special issue on Groebner bases and applications
Veröffentlicht 2011“… Journal of symbolic computation …”
Buch -
6
Symbolic computation in software science [First Workshop on Symbolic Computation in Software Science ... Castle of Hagenberg in July 2008]
Veröffentlicht 2010“… Journal of symbolic computation …”
Tagungsbericht Buch -
7
Algebraic coding theory and applications [follow-up to the "Soria Summer School on Computational Mathematics: Algebraic Coding Theory" ...]
Veröffentlicht 2010“… Journal of symbolic computation …”
Buch -
8
Special issue on invariant generation and advanced techniques for reasoning about loops [contributions ... following the WING 2007 and 2009 workshops]
Veröffentlicht 2010“… Journal of symbolic computation …”
Buch -
9
Gröbner bases in cryptography, coding theory, and algebraic combinatorics [workshop ... held in Hagenberg, April 30 - May 06, 2006]
Veröffentlicht 2009“… Journal of symbolic computation …”
Buch -
10
Special issue on Spanish National Conference on Computer Algebra [presented at the meeting EACA2006, held in Seville, Spain, 9 - 11 September 2006]
Veröffentlicht 2009“… Journal of symbolic computation …”
Tagungsbericht Buch -
11
Special issue on ASCM 2005 [grew out of the Seventh Asian Symposium on Computer Mathematics (ASCM 2005) held during December 8 - 10, 2005 at Korea Institute for Advanced Study (KIA...
Veröffentlicht 2008“… Journal of symbolic computation …”
Tagungsbericht Buch -
12
Occasion of Volker Weispfenning's 60th birthday
Veröffentlicht 2006“… Journal of symbolic computation …”
Buch -
13
Reduction stategies in rewriting and programming [WRS 2001 (1st Int. Workshop on Reduction Strategies in Rewriting and Programming, Utrecht, The Netherlands, May 26, 2001 ... WRS 2...
Veröffentlicht 2005“… Journal of symbolic computation …”
Tagungsbericht Buch -
14
Calculemus 99 integrating computation and deduction
Veröffentlicht 2001“… Journal of symbolic computation …”
Buch -
15
-
16
Special issue on advances in mathematics mechanization [an International Conference on Mathematics Mechanization was held from May 11 to May 13, 2009, in Beijing, China]
Veröffentlicht 2012“… Journal of symbolic computation …”
Buch -
17
Special issue on first-order theorem proving [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, i...
Veröffentlicht 2012“… Journal of symbolic computation …”
Buch -
18
Special issue on International Symposium on Symbolic and Algebraic Computation (ISSAC 2009) [The 34th meeting of the International Symposium on Symbolic and Algebraic Computation (...
Veröffentlicht 2012“… Journal of symbolic computation …”
Tagungsbericht Buch -
19
Effective methods in algebraic geometry [selected papers on work presented at, or related to, MEGA 2007, held in Strobl (Austria), June 25 - June 29, 2007]
Veröffentlicht 2009“… Journal of symbolic computation …”
Tagungsbericht Buch -
20