Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Skip to content

About this Resource

Last updated unknown
Created unknown
Name /contributions_by_author/mann2009/MakeProxMCNoGulf.m
Format Web Resource
License No License Provided
Created7 months ago
Media typeapplication/vnd.wolfram.mathematica.package
has viewsFalse
id4e62277c-20f9-4e33-9f73-9f9cf1bd9152
metadata modified7 months ago
package id07966ff0-a6af-42e5-87bf-cb8396db54fb
position42
resource locator functiondownload
resource locator protocolHTTPS
stateactive