41. Formalization of the arithmetization of Euclidean plane geometry and applications. (January 2019) Authors: Boutry, Pierre; Braun, Gabriel; Narboux, Julien Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 149 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. Functors of liftings of projective schemes. (September 2019) Authors: Bertone, Cristina; Cioffi, Francesca; Franco, Davide Journal: Journal of symbolic computation Issue: Volume 94(2019) Page Start: 105 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. Ideals of the form I1(XY). (March 2019) Authors: Saha, Joydip; Sengupta, Indranath; Tripathi, Gaurab Journal: Journal of symbolic computation Issue: Volume 91(2019) Page Start: 17 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. Imaginary projections of polynomials. (March 2019) Authors: Jörgens, Thorsten; Theobald, Thorsten; de Wolff, Timo Journal: Journal of symbolic computation Issue: Volume 91(2019) Page Start: 181 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. Integral Hodge conjecture for Fermat varieties. (November 2019) Authors: Aljovin, Enzo; Movasati, Hossein; Villaflor Loyola, Roberto Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 177 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Integration in finite terms with dilogarithmic integrals, logarithmic integrals and error functions. (September 2019) Authors: Kaur, Yashpreet; Srinivasan, Varadharaj R. Journal: Journal of symbolic computation Issue: Volume 94(2019) Page Start: 210 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. Invariant algebraic sets and symmetrization of polynomial systems. (November 2019) Authors: Hubert, Evelyne Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 53 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. (January 2019) Authors: Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 3 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. New refiners for permutation group search. (May 2019) Authors: Jefferson, Christopher; Pfeiffer, Markus; Waldecker, Rebecca Journal: Journal of symbolic computation Issue: Volume 92(2019) Page Start: 70 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. Nominal unification with atom-variables. (January 2019) Authors: Schmidt-Schauß, Manfred; Sabel, David; Kutz, Yunus D.K. Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 42 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗