| ... | ... | @@ -20,3 +20,4 @@ |
|
|
|
| Johannes Hoang | “GeoGebra Discovery" / “Automated reasoning tools in GeoGebra Discovery” in “ISSAC 2021 Software Presentations” | | |
|
|
|
|
| Wenwen Wang | "Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT", Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler | | |
|
|
|
|
| Muqaddas Ramzan | "Iscalc: An Interactive Symbolic Computation Framework" Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu | | |
|
|
|
|
| Shokoofeh Kheirdastan | SDSS-DR12 bulk stellar spectral classification: Artificial neural networks approach | | |
