Matches in SemOpenAlex for { <https://semopenalex.org/work/W1480894859> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1480894859 abstract "Problem-oriented applications of automated theorem proving.- ?IT - A strongly-typed embeddable computer algebra library.- DiscAtinf: A general framework for implementing calculi and strategies.- Equality elimination for the tableau method.- Towards lean proof checking.- WALDMEISTER: High performance equation theorem proving.- A reflective language based on conditional term rewriting.- Term rewriting systems: An h-categorical semantic.- Generative geometric modeling in a functional environment.- Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting.- Conditional categories and domains.- Parameterizing object specifications.- Analyzing the dynamics of a Z specification.- Walking faster.- Integer and rational arithmetic on masPar.- Parallel 3-primes FFT algorithm.- A master-slave approach to parallel term rewriting on a hierarchical multiprocessor.- Multi-agent cooperation - Concepts and applications.- Document-centered presentation of computing software: Compound documents are better workspaces.- Animating a non-executable formal specification with a distributed symbolic language.- Uniform representation of basic algebraic structures in computer algebra.- Integrating computer algebra with proof planning.- Structures for symbolic mathematical reasoning and computation.- Implementing FS0 in Isabelle: Adding structure at the metalevel.- An approach to class reasoning in symbolic computation.- An intelligent interface to numerical routines.- Computer algebra and the World Wide Web.- Interfacing REDUCE to Java.- Software architectures for computer algebra: A case study.- A deductive database for mathematical formulas.- CASA - A system for Computer Aided Constructive Algebraic geometry.- Making systems communicate and cooperate: The Central Control approach.- A database for number fields.- Compiling residuation for a multiparadigm symbolic programming language.- Pluggability issues in the Multi Protocol." @default.
- W1480894859 created "2016-06-24" @default.
- W1480894859 creator A5053019641 @default.
- W1480894859 creator A5070750659 @default.
- W1480894859 date "1996-09-04" @default.
- W1480894859 modified "2023-09-27" @default.
- W1480894859 title "Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings" @default.
- W1480894859 hasPublicationYear "1996" @default.
- W1480894859 type Work @default.
- W1480894859 sameAs 1480894859 @default.
- W1480894859 citedByCount "1" @default.
- W1480894859 crossrefType "book" @default.
- W1480894859 hasAuthorship W1480894859A5053019641 @default.
- W1480894859 hasAuthorship W1480894859A5070750659 @default.
- W1480894859 hasConcept C110812573 @default.
- W1480894859 hasConcept C134306372 @default.
- W1480894859 hasConcept C136119220 @default.
- W1480894859 hasConcept C154690210 @default.
- W1480894859 hasConcept C199360897 @default.
- W1480894859 hasConcept C202444582 @default.
- W1480894859 hasConcept C33923547 @default.
- W1480894859 hasConcept C41008148 @default.
- W1480894859 hasConcept C80444323 @default.
- W1480894859 hasConceptScore W1480894859C110812573 @default.
- W1480894859 hasConceptScore W1480894859C134306372 @default.
- W1480894859 hasConceptScore W1480894859C136119220 @default.
- W1480894859 hasConceptScore W1480894859C154690210 @default.
- W1480894859 hasConceptScore W1480894859C199360897 @default.
- W1480894859 hasConceptScore W1480894859C202444582 @default.
- W1480894859 hasConceptScore W1480894859C33923547 @default.
- W1480894859 hasConceptScore W1480894859C41008148 @default.
- W1480894859 hasConceptScore W1480894859C80444323 @default.
- W1480894859 hasLocation W14808948591 @default.
- W1480894859 hasOpenAccess W1480894859 @default.
- W1480894859 hasPrimaryLocation W14808948591 @default.
- W1480894859 hasRelatedWork W114006017 @default.
- W1480894859 hasRelatedWork W1484320546 @default.
- W1480894859 hasRelatedWork W1517348485 @default.
- W1480894859 hasRelatedWork W1522890951 @default.
- W1480894859 hasRelatedWork W1538028634 @default.
- W1480894859 hasRelatedWork W1541149190 @default.
- W1480894859 hasRelatedWork W1633236740 @default.
- W1480894859 hasRelatedWork W1765091824 @default.
- W1480894859 hasRelatedWork W1994932844 @default.
- W1480894859 hasRelatedWork W2125643105 @default.
- W1480894859 hasRelatedWork W2146404976 @default.
- W1480894859 hasRelatedWork W2157865241 @default.
- W1480894859 hasRelatedWork W2158003132 @default.
- W1480894859 hasRelatedWork W2810463395 @default.
- W1480894859 hasRelatedWork W2898098713 @default.
- W1480894859 hasRelatedWork W29092647 @default.
- W1480894859 hasRelatedWork W3039412221 @default.
- W1480894859 hasRelatedWork W3177634524 @default.
- W1480894859 hasRelatedWork W597535409 @default.
- W1480894859 hasRelatedWork W243719807 @default.
- W1480894859 isParatext "false" @default.
- W1480894859 isRetracted "false" @default.
- W1480894859 magId "1480894859" @default.
- W1480894859 workType "book" @default.