然加与乘,其原无不可还,而微分之原,有可还有不可还者,是犹算式中有不可还原之方耳,又何怪焉!如必曰加减乘除开方已足供吾之用,何必更求其精?是舍舟车之便利,而必欲负重远行也。其用力多而成功少,盖不待智者而辨矣。又代数术中末卷之中,载求平员周率简捷法式,为犹拉所设。未有此法之时,曾有算学士固灵用平员内容外切之多等边形,费极大工夫,算得三十六位之数。设径为一,周为三一四一五九二六五三五八九七九三二三八四六二六四三三八三二七九五零二八八。其临死之时,嘱其家以此数刻於墓碑,盖平时得意之作,恐其磨灭,故欲传之永久,亦犹亚基默得之墓,刻一球形与员柱形也。”
  又与傅氏共译三角数理,此书为英士海麻士所譔。海麻士专精三角、八线之学,著书十有二卷,皆言三角数理,即用为名。首明三角用比例之理;次论两角或多角诸比例数;次论造八线比例表之法;次解平三角诸形;次论诸角比例乘约变化之理;纪彼国算士棣弗美创例也,附以专论对数术及诸三角形设题一百则,为书三卷,以引学者;次总说球上各圈及弧三角形之界;次解正弧斜弧三角形之法;次杂论求弧三角数种特设之表;终以弧三角形设题二十七则焉。然书中说解过於烦费,仍不能变外角和较与垂弧、次形、总较诸旧法,故自海氏书出,益觉徐有壬拾遗三术难能可贵,超越西人。
  又与傅氏共译代数难题解法十六卷。
  其弟世芳,字若溪。亦通算术,著有近代畴人著述记。

  列传二百九十五 列女一
  田绪宗妻张 嵇永仁妻杨妾苏 张英妻姚
  蔡璧妻黄子世远妻刘 尹公弼妻李 钱纶光妻陈
  胡弥禅妻潘 张棠妻金 洪翘妻蒋 张蟾宾妻姜
  施曾锡妻金 廷璐妻恽 汪楷妻王妾徐 冯智懋妻谢
  郑文清妻黎 程世雄妻万 高学山妻王
  王氏女张天相女 周氏女 王孜女 缪浒妻蔡 濮氏女
  李氏女 来氏二女 曾尚增女王氏女 刘魁妻徐 薛中奇女
  吕氏女 佘长安女 王法夔女武仁女 唐氏女
  张桐女汪俨聘妻周 刘氏女 吴某聘妻周 李荐一聘妻曾
  袁斯凤女 丁氏女 硃棫之女 杜仲梅女方氏二女 刘可求女
  杨泰初女孙承沂女 赵承穀聘妻丁彭爵麒女 陈宝廉女
  吴士仁女 王济源女 董桂林女 耿恂女 吴芬女
  邵氏二女蒋遂良女 徐氏二女 李鸿普妻郭牛辅世妻张
  高位妻段 郑光春妻叶子文炳妻吴 屈崇山妻刘
  谢以炳妻路弟仲秀妻郑 季纯妻吴 王钜妻施 陈文世妻刘
  张守仁妻梁韩守立妻俞 路和生妻吴诸君禄妻唐
  牛允度妻张 游应标妻萧蒋广居妻伍
  周学臣妻柳王德骏妻盛 张茂信妻方林经妻陈
  张德邻妻李 武烈妻赵 孙朗人妻吴李天挺妻申 刘与齐妻魏
  周志桂妻冯 欧阳玉光妻蔡子惟本妻蔡 萧学华妻贺
  张友仪妻陈 冯氏 王钺妻隋 林云铭妻蔡
  陈龙妻胡 王懃妻岳 鲁宗镐妻硃 马叔籥妻丁
  许光清妻陈 黄开鼇妻廖 黄茂梧妻顾 高其倬妻蔡
  陈之遴妻徐 詹枚妻王柯蘅妻李 艾紫东妻徐
  郝懿行妻王汪远孙妻梁 陈裴之妻汪 汪延泽妻赵
  吴廷珍妻张诸妹章政平妻等 程鼎调妻汪
  陈瑞妻缪马某妻阮 富乐贺妻王 仁兴妻瓜尔佳氏 耀州三妇
  杉松邮卒妇 杨芳妻龙 崔龙见妻钱 沈葆桢妻林
  王某妻陈 李某妻赵罗杰妻陈 杨某妻唐 姚旺妻潘 盖氏
  积家而成国,家恆男妇半。女顺父母,妇敬舅姑,妻助夫,母长子女,姊妹娣姒,各尽其分。人如是,家和;家如是,国治。是故匹妇黾勉帷闼之内,议酒食,操井臼,勤织纴组紃,乃与公卿大夫士谋政事。农劳稼穑,工业势曲,商贾通货财,同有职於国,而不而阙。晚近好异议,以谓女豢於父,妻豢於夫,戚戚求自食。或谓女制於父母,妇制於舅姑,妻制於夫,将一切排决,舍家而躐国,务为闳大,其过不及若殊,要为自弃其所职而害中於家国则均。呜呼,何其诬也!古昔圣王经国中而为之轨,亿万士女毋或逾焉。是故矜其变,所以诲其正;愍其异,所以励其庸:范而趋於一。使凡为女若妇者,循循各尽其职。则且广之为风俗,永之为名教。有国者之事,以权始,以化终。权故行,化故成,国以治平。
  清制,礼部掌旌格孝妇、孝女、烈妇、烈女、守节、殉节、未婚守节,岁会而上,都数千人。军兴,死寇难役辄十百万,则别牍上请。捍强暴而死,爰书定,亦别牍上请,皆谨书於实录。其徵之也广,其襮之也显,流风馀韵,绵绵延延,风雨如晦,鸡鸣不已。故知权所以能行,化所以能成,尤必有当於人人之心,固不可强而致也。列女入史,始后汉书,用其例,择尤炳著如干人