Hypothetical Logic of Proofs
- 期刊名称Logica Universalis
- 作者Bonelli, Eduardo; Steren, Gabriela
- 卷第8卷
- 期第1期
- 印刷ISSN1661-8297
- 电子ISSN1661-8300
- 文件大小1418.41KB
- 发表时间2014-03
- DOI10.1007/s11787-014-0098-0
- 页码103-140
Algorithm 921Hauenstein, Jonathan D.; Sottile, Frank · ACM Transactions on Mathematical Software · 2012
A Primal-Dual Formulation for Certifiable Computations in Schubert CalculusHauenstein, Jonathan D.; Hein, Nickolas; Sottile, Frank · Foundations of Computational Mathematics · 2016
Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomialsBates, Daniel J.; Hauenstein, Jonathan D.; Niemerg, Matthew E.; Sottile, Frank · Numerical Algorithms · 2016
Semantics ofOpenMathandMathML3Kohlhase, Michael; Rabe, Florian · Mathematics in Computer Science · 2012
ForewordKotsireas, Ilias S.; Márquez-Corbella, Irene; Martínez-Moro, Edgar · Mathematics in Computer Science · 2012
On Brylawski’s Generalized DualityGordon, Gary · Mathematics in Computer Science · 2012
Trajectory Planning in RoboticsGasparetto, Alessandro; Boscariol, Paolo; Lanzutti, Albano; Vidoni, Renato · Mathematics in Computer Science · 2012
ForewordRatschan, Stefan; Sturm, Thomas · Mathematics in Computer Science · 2012
On Solving Parametric Polynomial SystemsMoreno Maza, Marc; Xia, Bican; Xiao, Rong · Mathematics in Computer Science · 2012
ForewordNaimpally, Som; Peters, Jim; Wolski, Marcin · Mathematics in Computer Science · 2013
Near Sets: An IntroductionPeters, James F. · Mathematics in Computer Science · 2013