Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

We recall some bibliography on fast polynomial multiplication related to the recent progress in the paper by Cenk and Ozbudak of… Expand

2011

2011

We study anti-unification for unranked terms and hedges that may contain term and hedge variables. The anti-unification problem… Expand

Review

2007

Review

2007

The Cloud is often referred to as the next big thing in distributed computing. Cloud providers offer different kinds and… Expand

2006

2006

This paper describes a semantic extension to the Mathematical Services Query Language (MSQL). MSQL is a language for querying… Expand

2001

2001

We describe tools available and planned in the Theorema system for supporting the key issues of mathematical knowledge management… Expand

1997

1997

Geometric problems arise in many areas. Computer graphics, robotics, manufacturing, and geographic information systems are some… Expand

1996

1996

The ultimate aim of thia work is to find a semantics for reasoning about actions and change in cooperating agent scenarios based… Expand

1996

1996

Given a rational algebraic plane curve C in implicit representation we analyze the bit complexity of an algorithm to describe C… Expand

1990

1989

1989

Abstract The concept of Complete Synthetic Strategy (CSS) is defined. A CSS differs from most strategies found in the literature… Expand