A symbolic framework for general polynomial domains in theorema: applications to boundary problems
Abstract
Recommendations
Polynomial splines over general T-meshes
Special Issue: CAD/Graphics 2009The present authors have introduced polynomial splines over T-meshes (PHT-splines) and provided theories and applications for PHT-splines over hierarchical T-meshes. This paper generalizes PHT-splines to arbitrary topology over general T-meshes with any ...
MoSeL: a general, extensible modal framework for interactive proofs in separation logic
A number of tools have been developed for carrying out separation-logic proofs mechanically using an interactive proof assistant. One of the most advanced such tools is the Iris Proof Mode (IPM) for Coq, which offers a rich set of tactics for making ...
Quadratic trigonometric polynomial curves concerning local control
With a non-uniform knot vector and two local shape parameters, a kind of piecewise quadratic trigonometric polynomial curves is presented in this paper. The given curves have similar construction and the same continuity as the quadratic non-uniform B-...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Abstract
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 48Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in