Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Roman Comedy in Early Modern England
The Cambridge Companion to Roman Comedy, 2019, p.312-324
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Scratchpad's view of algebra I: Basic commutative algebra
Design and Implementation of Symbolic Computation Systems, 2005, p.40-54
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Sketching concepts and computational model of TROLL light
Design and Implementation of Symbolic Computation Systems, 2005, p.17-32
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The weyl computer algebra substrate
Design and Implementation of Symbolic Computation Systems, 2005, p.303-318
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Gauss: a parameterized domain of computation system with support for signature functions
Design and Implementation of Symbolic Computation Systems, 2005, p.81-94
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Distributed deduction by Clause-Diffusion: the aquarius prover
Design and Implementation of Symbolic Computation Systems, 2005, p.272-287
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On the power of subsumption and context checks
Design and Implementation of Symbolic Computation Systems, 2005, p.131-140
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A unified-algebra-based specification language for symbolic computing
Design and Implementation of Symbolic Computation Systems, 2005, p.122-133
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Heuristical criteria in refutational theorem proving
Design and Implementation of Symbolic Computation Systems, 2005, p.184-193
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Improving the multiprecision Euclidean algorithm
Design and Implementation of Symbolic Computation Systems, 2005, p.45-58
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The use of proof plans in formal methods
Design and Implementation of Symbolic Computation Systems, 2005, p.151-153
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Efficient type inference and coercion in computer algebra
Design and Implementation of Symbolic Computation Systems, 2005, p.56-60
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
GLEFATINF:A graphic framework for combining theorem provers and editing proofs for different logics
Design and Implementation of Symbolic Computation Systems, 2005, p.229-240
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Storage allocation for the Karatsuba integer multiplication algorithm
Design and Implementation of Symbolic Computation Systems, 2005, p.59-65
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Matching and unification for the object-oriented symbolic computation system AlgBench
Design and Implementation of Symbolic Computation Systems, 2005, p.164-176
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Proving the correctness of algebraic implementations by the ISAR system
Design and Implementation of Symbolic Computation Systems, 2005, p.2-16
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Process scheduling in DSC and the large sparse linear systems challenge
Design and Implementation of Symbolic Computation Systems, 2005, p.66-80
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Decision procedures for set/hyperset contexts
Design and Implementation of Symbolic Computation Systems, 2005, p.192-215
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Dynamic term rewriting calculus and its application to inductive equational reasoning
Design and Implementation of Symbolic Computation Systems, 2005, p.256-271
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The design of the SACLIB/PACLIB kernels
Design and Implementation of Symbolic Computation Systems, 2005, p.288-302
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Extending RISC-CLP(Real) to handle symbolic functions
Design and Implementation of Symbolic Computation Systems, 2005, p.241-255
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On the uniform representation of mathematical data structures
Design and Implementation of Symbolic Computation Systems, 2005, p.319-330
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A type system for computer algebra
Design and Implementation of Symbolic Computation Systems, 2005, p.177-191
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
IZIC: a portable language-driven tool for mathematical surfaces visualization
Design and Implementation of Symbolic Computation Systems, 2005, p.341-353
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On coherence in computer algebra
Design and Implementation of Symbolic Computation Systems, 2005, p.95-106
2005
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 76
Suche als RSS-Feed
Aktive Filter
ThemaMaterials Science
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen