|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 21 keywords
|
|
|
|
|
Results
Found 128 publication records. Showing 128 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Philippe Vidal |
The computation of Gröbner bases on a shared memory multiprocessor.  |
DISCO  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Thom W. Frühwirth |
Polymorphic Type Checking with Subtypes in Prolog. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification |
| 1 | Norbert Kajler |
Building graphic user interfaces for Computer Algebra Systems. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | S. V. Chmutov, E. A. Gaydar, I. M. Ignatovich, V. F. Kozadoy, Andrei P. Nemytykh, Victoria A. Pinchuk |
Implementation Of The Symbolic Analytic Transformations Language FLAC. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Bundy |
The Use of Proof Plans in Formal Methods. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolyn L. Talcott |
A theory for program and data type specification. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Attardi |
Requirements for Standards in Knowledge Base Systems (Abstract). |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Petermann |
Programming Paradigms For Symbolic Computation Systems - Analysis Of An Example. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio P. Faconti, R. D. Bettarini, Fabio Paternò |
A Model of Interaction for Graphical Systems. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Clarkson |
Praxis: A Rule-Based Expert System for MACSYMA. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla Limongelli, M. Beatrice Mele, Mauro Regio, Marco Temperini |
Abstract Specification Of Mathematical Structures And Methods. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Claude Reynaud |
Putting Algebraic Components Together: A Dependent Type Approach. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael C. Dewar, M. G. Richardson |
Reconciling Symbolic and Numeric Computation in a Practical Setting. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrajit L. Bajaj, Andrew V. Royappa |
The GANITH algebraic geometry toolkit. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop |
On the Power of Subsumption and Context Checks. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, John J. Cannon |
The Design of Cayley - a Language for Modern Algebra. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Adi, Claude Kirchner |
AC-Unification Race: The System Solving Approach And Its Implementation. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfonso Miola (eds.) |
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | André Galligo, J. Grimm, Loic Pottier |
The design of SISYPHE: a system for doing symbolic and algebraic computations. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | A. V. Bocharov |
Will DELia Grow Into An Expert System? |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul S. Wang |
A System Independent Graphing Package for Mathematical Functions. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Davenport |
Current Problems in Computer Algebra Systems Design. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Baj, Massimo Bruschi, Antonella Zanzi |
Design and development of ENprover, an automated theorem proving system based on EN-strategy. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Davenport, Barry M. Trager |
Scratchpad's View of Algebra I: Basic Commutative Algebra. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Siva Anantharaman, Nirina Andrianarivelo |
Heuristical Criteria in Refutational Theorem Proving. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Hennicker |
Context Induction: a Proof Principle for Behavioural Abstractions. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kin-Hong Lee, Kwong-Sak Leung, Sin Man Cheang |
The Implementation of A PC-Based List Processor for Symbolic Computation. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Kredel |
Mas Modula-2 Algebra System. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #128 of 128 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license