|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
135 | William Naylor, Julian A. Padget |
From Untyped to Polymorphically Typed Objects in Mathematical Web Services. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
127 | Thierry Gautier, Niklaus Mannhart |
Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
92 | Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie |
Multiprocessed parallelism support in ALDOR on SMPs and multicores. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
aldor, categorical parallelism, dynamic process management, multiprocessor parallelism, shared memory |
90 | Cosmin E. Oancea, Stephen M. Watt |
Domains and expressions: an interface between two approaches to computer algebra. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
|
78 | Akpodigha Filatei, Xin Li 0009, Marc Moreno Maza, Éric Schost |
Implementation techniques for fast polynomial arithmetic in a high-level programming environment. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Aldor, polynomials, high-performance, Axiom |
73 | Martin Dunstan |
Larch/Aldor: a Larch BISL for AXIOM and Aldor. |
|
2000 |
RDF |
|
45 | Cosmin E. Oancea, Stephen M. Watt |
Parametric polymorphism for software component architectures. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
antiunification, software component architecture, generics, templates, parametric polymorphism |
45 | Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton |
Formal Methods for Extensions to CAS. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Florian Rabe 0001, Stephen M. Watt |
Extracting Theory Graphs from Aldor Libraries. |
CICM |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Laurentiu Dragan, Stephen M. Watt |
Type Specialization in Aldor. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Erik Poll, Simon J. Thompson |
Integrating Computer Algebra and Reasoning through the Type System of Aldor. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Marc Moreno Maza, Yuzhen Xie |
Component-level parallelization of triangular decompositions. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
component-level, parallelization, triangular decompositions, polynomial system solving |
23 | Songxin Liang, David J. Jeffrey |
Rule-Based Simplification in Vector-Product Spaces. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Laurentiu Dragan, Stephen M. Watt |
Performance Analysis of Generics in Scientific Computing. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|