又与傅兰雅共译微积溯源八卷，序之曰：“吾以为古时之算法，惟有加、减而已。其乘与除乃因加减之不胜其繁，故更立二术以使之简易也。开方之法，又所以济除法之穷者也。盖学算者自有加、减、乘、除、开方五法，而一切简易浅近之数，无不可通矣。惟人之心思智虑日出不穷，往往以能人之所不能者为快，遇有窒碍难通之处，辄思立法以济其穷，故有减其所不可减，而正负之名不得不立矣；除其所不受除，而寄母通分之法又不得不立矣。代数中种种记号之法，皆出於不得已而立者也。惟每立一法，必能使繁者为简，难者为易，迟者为速，而算学之境界，藉此得更进一层。如是屡进不已，而所立之法，於是乎日多矣。微分、积分者，盖又因乘、除、开方之不胜其繁，且有窒碍难通之处，故更立此二术以济其穷，又使简易而速者也。试观圜径求周、真数求对数之事，虽无微分、积分之时，亦未尝不可求，惟须乘、除、开方数十百次，其难有不可言喻者。不如用微积之法，理明而数捷也。然则谓加、减、乘、除、代数之外，更有二术焉，一曰微分，一曰积分可也。其积分犹微分之还原，犹之开方为自乘之还原，除法为乘法之还原，减法为加法之还原也。然加与乘，其原无不可还，而微分之原，有可还有不可还者，是犹算式中有不可还原之方耳，又何怪焉！如必曰加减乘除开方已足供吾之用，何必更求其精？是舍舟车之便利，而必欲负重远行也。其用力多而成功少，盖不待智者而辨矣。又代数术中末卷之中，载求平员周率简捷法式，为犹拉所设。未有此法之时，曾有算学士固灵用平员内容外切之多等边形，费极大工夫，算得三十六位之数。设径为一，周为三一四一五九二六五三五八九七九三二三八四六二六四三三八三二七九五零二八八。其临死之时，嘱其家以此数刻於墓碑，盖平时得意之作，恐其磨灭，故欲传之永久，亦犹亚基默得之墓，刻一球形与员柱形也。”
又与傅氏共译三角数理，此书为英士海麻士所譔。海麻士专精三角、八线之学，著书十有二卷，皆言三角数理，即用为名。首明三角用比例之理；次论两角或多角诸比例数；次论造八线比例表之法；次解平三角诸形；次论诸角比例乘约变化之理；纪彼国算士棣弗美创例也，附以专论对数术及诸三角形设题一百则，为书三卷，以引学者；次总说球上各圈及弧三角形之界；次解正弧斜弧三角形之法；次杂论求弧三角数种特设之表；终以弧三角形设题二十七则焉。然书中说解过於烦费，仍不能变外角和较与垂弧、次形、总较诸旧法，故自海氏书出，益觉徐有壬拾遗三术难能可贵，超越西人。
又与傅氏共译代数难题解法十六卷。
其弟世芳，字若溪。亦通算术，著有近代畴人著述记。