RISC JKU

>
>
>

Josef Schicho, A.Univ.-Prof. Dr.

RISC Faculty

Publications

Jiayue Qi, Josef Schicho. Five Equivalent Representations of a Phylogenetic Tree. Maple Transactions 3(3), pp. -. 2023. (ISSN) 2564-3029. [url] [bib]
L. Buse, P. Gonz'alez-Maz'on, J. Schicho. Trilinear birational maps in dimension three. M. Comp. 92, pp. 1837-1866. 2023. 0025-5718. [bib]
E. Hoxhaj, J.-M. Menjanahary, J. Schicho. Using Algebraic Geometry to Reconstruct a Darboux Cyclide from a Calibrated Camera Picture. J. AAECC, pp. -. 2023. 1432-0622. to appear. [url] [bib]
C. Koutschan, B. Moser, A. Ponomarchuk, J. Schicho. Representing piecewise linear functions by functions with small arity. J. AAECC, pp. -. 2023. 1432-0622. [bib]
B. J�ttler, J. Schicho, Z. Sir. Apollonian-de Casteljau type algorithms for complex rational Bezier curves. CAGD 107, pp. -. 2023. 0167-8396. [bib]
Matteo Gallet, Georg Grasegger, Jan Legerský, Josef Schicho. Zero-Sum Cycles in Flexible Non-triangular Polyhedra. In: 2nd IMA Conference on Mathematics of Robotics, W. Holderbaum, J.M. Selig (ed.), Springer Proceedings in Advanced Robotics 21, pp. 137-143. 2022. 978-3-030-91351-9. [url] [bib]
J. Schicho. And Yet it Moves - Paradoxically Moving Linkages in Kinematics. Bulletin AMS 59, pp. 59-95. 2022. ISSN 0273-0979. [url] [bib]
M. Gallet, G. Grasegger, J. Legersky, J. Schicho. Zero-sum Cycles in Flexible Polyhedra. Bull. LMS 54, pp. 112-125. 2022. 1469-2120. [bib]
T. Duarte Guerreiro, Z. Li, J. Schicho. Classification of higher mobility closed-loop linkages. Annali di Matematica Pura et Applicata, pp. -. 2022. 0373-3114. [bib]
M. Gallet, J. Schicho. A new line-symmetric mobile infinity-pod. Confl. Math. 14, pp. 35-47. 2022. 1793-7442. [bib]
B. J�ttler, N. Lubbes, J. Schicho. Projective isomorphisms between rational surfaces. J. Algebra 54, pp. 112-125. 2022. 0021-8693. [bib]
C. Koutschan, A. Ponomarchuk, J. Schicho . Approximation of convex polygons by polygons. In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), C. Schneider et al. (ed.), pp. 91-98. 2022. IEEE, 978-1-6654-0650-5. [bib]
M. Gallet, G. Grasegger, J. Legerský, J. Schicho. Combinatorics of Bricard's octahedra. Comptes Rendus. Mathématique 359(1), pp. 7-38. 2021. Académie des sciences, Paris, ISSN 1631-073X. [url] [bib]
M. Gallet, G. Grasegger, J. Legerský, J. Schicho. On the Existence of Paradoxical Motions of Generically Rigid Graphs on the Sphere. SIAM Journal on Discrete Mathematics 35(1), pp. 325-361. 2021. ISSN 0895-4801. [url] [bib]
G. Grasegger, J. Legerský, J. Schicho. Graphs with Flexible Labelings allowing Injective Realizations. Discrete Mathematics 343(6), pp. Art. 111713-. 2020. ISSN 0012-365X. [url] [bib]
M. Gallet, M. Makhul, J. Schicho. Probabilities of incidence between lines and a plane curve over finite field. Finite Fields and Their Applications 61, pp. 1-22. 2020. 1071-5797. [bib]
M. Gallet, G. Grasegger, J. Legerský, J. Schicho. Combinatorics of Bricard’s octahedra. arXiv. Technical report, 2020. [url] [bib]
M. Gallet, G. Grasegger, J. Legerský, J. Schicho. Zero-sum cycles in flexible polyhedra. arXiv. Technical report, 2020. [url] [bib]
G. Grasegger, J. Legerský, J. Schicho. On the Classification of Motions of Paradoxically Movable Graphs. Journal of Computational Geometry 11(1), pp. 548-575. 2020. ISSN: 1920-180X. [url] [bib]
M. Gallet, G. Grasegger, J. Schicho. Counting realizations of {L}aman graphs on the sphere. Electronic Journal of Combinatorics 27(2), pp. 1-18. 2020. 1077-8926 . [url] [bib]
V. Bartzos, I. Emiris, J. Schicho. On the multihomogeneous Bezout bound on the number of embeddings of minimally rigid graphs. Applicable Algebra in Engineering, Communication and Computing 31, pp. 325-357. 2020. 0938-1279. [url] [bib]
M. Gallet, J. Schicho. Counting Projections of Rational Curves. Israel Journal of Mathematics 240, pp. 503-538. 2020. 0021-2172 . [url] [bib]
J. Capco, M. Safey el Din, J. Schicho. Robots, computer algebra and 8 connected components. In: Proceedings of ISSAC 2020, I. Emiris, L. Zhi (ed.), pp. 62-69. 2020. 978-1-4503-7100-1. [url] [bib]
J. Schicho (ed.). JSC. 0747-7171. [url] [bib]
Jiayue Qi, Josef Schicho. Five Equivalent Ways to Describe a Phylogenetic Tree. Doctoral Program “Computational Mathematics”. Technical report, December 2020. [url] [bib]
G. Grasegger, J. Legerský, J. Schicho. Graphs with Flexible Labelings. Discrete & Computational Geometry 62(2), pp. 461-480. 2019. 1432-0444. arXiv:1708.05298. [url] [bib]
M. Hauer, B. Jüttler, J. Schicho. Projective and affine symmetries and equivalences of rational and polynomial surfaces. J. Comp. Appl. Math. 349, pp. 424-437. 2019. 0377-0427. [bib]
A. Lin, M. Makhul, H. N. Mojarrad, J. Schicho, K. Swanepoel, F. de Zeeuw. On sets defining few ordinary circles. Discrete and Computational Geometry 59, pp. 59-87. 2018. 0179-5376. [bib]
N. Lubbes, J. Schicho. Kinematic generation of Darboux cyclides. Comp. Aided Geom. Des. 64, pp. -. 2018. 0167-8396. [bib]
Z. Li, J. Schicho, H.-P. Schröcker. Kempe's Universality Theorem for Rational Space Curves. Found. Comp. Math. 18, pp. 509-536. 2018. 1615-3375. [bib]
M. Gallet, C. Koutschan, Z. Li, G. Regensburger, J. Schicho, N. Villamizar. Planar linkages following a prescribed motion. Math. Comp. 87, pp. 473-506. 2017. ISSN: 1088-6842. [url] [bib]
M. Gallet, G. Nawratil, J. Schicho, J. Selig. Mobile Icosapods. Adv. Appl. Math. 88, pp. 1-25. 2017. ISSN: 0196-8858. [url] [bib]
U. Hertrich-Jeromin, B. Jüttler, J. Schicho. New developments in geometry. Theory and applications. Comp. Aided Geom. Des. 47, pp. 1-2. 2017. ISSN: 0167-8396. [url] [bib]
M. Gallet, G. Nawratil, J. Schicho. Liaison linkages. J. Symb. Comp. 79, pp. 65-98. 2017. ISSN: 0747-7171. [url] [bib]
Jose Capco, Georg Grasegger, Matteo Gallet, Christoph Koutschan, Niels Lubbes, Josef Schicho. The number of realizations of a Laman graph. Research Institute for Symbolic Computation (RISC/JKU). Technical report, 2017. [url] [pdf] [bib]
Jose Capco, Georg Grasegger, Matteo Gallet, Christoph Koutschan, Niels Lubbes, Josef Schicho. Computing the number of realizations of a Laman graph. In: Electronic Notes in Discrete Mathematics (Proceedings of Eurocomb 2017), Vadim Lozin (ed.), Proceedings of The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17)61, pp. 207-213. 2017. ISSN 1571-0653. [url] [bib]
Zijia Li, , J. Schicho, Hans-Peter Schröcker. The rational motion of minimal dual quaternion degree with prescribed trajectory. Comp. Aided Geom. Des. 41, pp. 1-9. 2016. ISSN: 0167-8396. [url] [bib]
Zijia Li , Josef Schicho, Hans-Peter Schröcker. A survey on the theory of bonds. IMA Journal of Mathematical Control and Information, pp. -. 2016. ISSN: 1471-6887. online. [url] [bib]
G. Nawratil, J. Schicho. Duporcq pentapods. J. Mechanisms Robotics 9, pp. -. 2016. ISSN: 1942-4302. [url] [bib]
Josef Schicho, Matteo Gallet. Ambiguities in a Problem in Planar Geodesy. SIGMA(008), pp. 1-13. 2015. 1815-0659. [url] [bib]
G. Hegedüs, Z. Li, J. Schicho, H.-P. Schroecker. The theory of bonds II: closed 6R linkages with maximal genus. J. Symb. Comp. 68, pp. 167-180. 2015. 0747-7171. [bib]
H. Ahmadinezhad, Z. Li, J. Schicho. An algebraic study of linkages with helical joints. J. Pure and Appl. Algebra 219, pp. 2245-2259. 2015. 0022-4049. [bib]
G. Nawratil, J. Schicho. Pentapods with Mobility 2. ASME Journnal of Mechanasms and Robotics J. Mechanisms Robotics, pp. -. 2015. 1942-4302. [bib]
Z. Li, J. Schicho. A technique for deriving equational conditions on the Denavit-Hartenberg parameters of a 6R linkage that are necessary for movability. Mech. Mach. Theory 94, pp. 1-8. 2015. 0094-114X. [bib]
Z. Li, J. Schicho, H.-P. Schroecker. Spatial straight-line linkages by factorization of motion polynomials. J. Mechanisms Robotics, pp. -. 2015. 1942-4302. [bib]
Z. Li, , J. Schicho, H.-P. Schroecker. 7R Darboux Linkages by Factorication of Motion Polynomials. In: Proc. IFToMM 14, S.-H. Chang et al (ed.), pp. 841-847. 2015. 978-986-04-6098-8. [bib]
Z. Li, , T. Rad, J. Schicho, H.-P. Schroecker. Factorization of Rational Motions: A Survey with Examples and Applications. In: Proc. IFToMM 14, S.-H. Chang et al. (ed.), pp. 833-840. 2015. ISBN 978-986-04-6098-8. [bib]
M. Gallet, G. Nawratil, J. Schicho. Bond theory for pentapods and hexapods. Journal of Geometry, pp. 1-18. 2014. 0047-2468. online first. [url] [pdf] [bib]
M. Gallet, G. Nawratil, J. Schicho. Moebius photogrammetry. Journal of Geometry, pp. 1-19. 2014. 1420-8997. [url] [pdf] [bib]
J. Schicho. A simplified game for resolution of singularities. In: The Resolution of Singular Algebraic Varieties, D. Ellwood and H. Hauser and S. Mori and J. Schicho (ed.), pp. 209-224. 2014. Amer. Math. Soc., ISBN 978-0-8218-8982-4. [bib]
J. Schicho, J. Top. Algebraic approaches to FlipIt. In: The Resolution of Singular Algebraic Varieties, D. Ellwood and H. Hauser and S. Mori and J. Schicho (ed.), pp. 319-326. 2014. Amer. Math. Soc., ISBN 978-0-8218-8982-4. [bib]
J. Schicho, D. Sevilla. Tschirnhaus-Weierstrass curves. Math. Comp. 83, pp. 3005-3015. 2014. ISSN 0025-5718. [bib]
S. Di Rocco, J. Schicho. Foreword to the Special Issue on Computational Algebraic Geometry. Math. Comp. Sci. 8, pp. 117-118. 2014. ISSN: 1661-8270. [bib]
Z. Li, J. Schicho F. Thomas and A. P. Gracia. Three types of parallel linkages. In: Computational Kinematics, F. Thomas and A. P. Gracia (ed.), pp. 111-120. 2014. Springer, ISBN: 978-94-007-7213-7. [bib]
M. Hodorog, J. Schicho. A Regularization Approach for Estimating the Type of a plane Curve Singularity. Theor. Comp. Sci. 479, pp. 99-119. 2013. 0304-3975. [bib]
A. Dickenstein, S. Di Rocco, E. Hubert, J. Schicho (eds.). Effective Methods in Algebraic Geometry. J. Symb. Comp. 151, pp. 1-114. 2013. 0747-7171. [bib]
G. Hegedüs, J. Schicho, H.-P. Schröcker. Factorization of Rational Curves in the Study Quadric and Revolute Linkages. Mech. Mach. Theory 69(1), pp. 142-152. 2013. 0094-114X. [bib]
G. Hegedüs, J. Schicho, H.-P. Schröcker. The Theory of Bonds: A New Method for the Analysis of Linkages. Mech. Mach. Theory 70, pp. 404-424. 2013. 0094-114X. [bib]
Z. Li, J. Schicho. Classification of angle-symmetric 6R linkages. Mech. Mach. Theory 70, pp. 372-379. 2013. 0094-114X. [bib]
J. Schicho, F.-O. Schreyer, M. Weimann. Computational aspects of gonal maps. AAECC 24, pp. 313-341. 2013. 0938-1279 . [bib]
M. Hodorog, B. Mourrain, J. Schicho. An Adapted Version of the Bentley-Ottmann Algorithm for Invariants of Plane Curve Singularities. In: Proceedings of the 11th International Conference on Computational Science and Its Applications, Part III, Session: Computational Geometry and Applications, B. Murgante et al. (ed.), Lecture Notes in Computer Science , pp. 121-131. 2011. Springer, Heidelberg, 978-3-642-21930-6. [pdf] [bib]
M. Hodorog, J. Schicho. A Symbolic-Numeric Algorithm for Genus Computation. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, U. Langer and P. Paule (ed.), pp. 65-95. 2011. Springer Wien, 0943-853X. [pdf] [bib]
M. Hodorog, J. Schicho. A Regularization Method for Computing Approximate Invariants of Plane Curves Singularities. In: Proceedings of the 4th International Workshop on Symbolic-Numeric Computation, L. Zhi et al. (ed.), pp. ?-?. 2011. ACM (Association for Computing Machinery), To appear. [pdf] [bib]
M. Hodorog, B. Mourrain, J. Schicho. GENOM3CK - A Library for Genus Computation of Plane Complex Algebraic Curves Using Knot Theory. July 2010. Software presentation at 35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010). [pdf] [bib]
M. Hodorog, B. Mourrain, J. Schicho. A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity. In: Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, T. Ida, V. Negru, T. Jebelean, D. Petcu, S. Watt, D. Zaharie (ed.), Proceedings of 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 23-26, Timisoara, Romania, pp. 21-28. 2010. 978-0-7695-4324-6. [pdf] [bib]
M. Hodorog, B. Mourrain, J. Schicho. GENOM3CK - A Library for Genus Computation of Plane Complex Algebraic Curves Using Knot Theory. December 2010. Association for Computing Machinery, Special Interest Group on Symbolic and Algebraic Manipulation, ACM SIGSAM Communications in Computer Algebra, vol. 44, issue 174, pp. 198-200, ISSN:1932-2240. [pdf] [bib]
B. Moore, J. Schicho, C. Gosselin. Determination of the complete set of statically balanced planar four-bar mechanisms. SFB F013. Technical report no. 2007-14, July 2007. [pdf] [bib]
W. A. de Graaf, M. Harrison, J. Pilnikova, J. Schicho. A Lie algebra method for rational parametrization of Severi–Brauer surfaces. Journal of Algebra 303(2), pp. 514-529. 2006. ISSN 0021-8693. [pdf] [bib]
I. Szil\'agyi and B. J\"uttler and J. Schicho. Local Parametrization of Cubic Surfaces. Journal of Symbolic Computation, pp. 1-24. 2005. ISSN 0747-7171. to appear. [bib]
M. Aigner, I. Szil\'agyi, B. J\"uttler, J. Schicho. Implicitization and Distance Bounds. In: Mathematic and Visualization, M. Elkadi (ed.), Mathematics and Visualization , pp. 1-14. 2005. Springer, to appear. [bib]
J. Schicho, I. Szil\'agyi. Numerical Stability of Surface Implicitization. Journal of Symbolic Computation, pp. 1-14. 2005. ISSN 0747-7171. to appear. [bib]
Bert Juettler, Josef Schicho, Mohamed Shalaby. Spline Implicitization of Planar Curves. Technical report no. 04-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 2004. conference paper. [ps] [bib]
Mohamed Shalaby, Bert Juettler, Josef Schicho. $C^1$ Spline Implicitization of Planar Curves. Technical report no. 04-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 2004. conference paper. [ps] [bib]
J. schicho, I. Szil\'agyi. Numerical Stability of Surface Implicitization. J. Kepler University, Linz. Technical report no. 2004-27, 2004. SFB-Report. [url] [bib]
I. Szil\'agyi and B. J\"uttler and J. Schicho. Local Parametrization of Cubic Surfaces. J. Kepler University, Linz. Technical report no. 2004-31, 2004. SFB-Report. [url] [bib]
Mohamed Shalaby, Bert Jüttler, Josef Schicho. $C^1$ Spline Implicitization of Planar Curves. In: Automated Deduction in Geometry - Proceedings of the Conference Automated Deduction in Geometry (ADG'2002), Franz Winkler (ed.), Proceedings of Automated Deduction in Geometry (ADG'2002), LNAI 2930, pp. -. 2004. Springer-Verlag, ISBN 3540209271. [bib]
J. Pilnikova, J. Schicho. Algorithms for solving rational quadratic forms. Johannes Kepler University, Linz. Technical report no. 32, 2004. SFB-Report. [url] [bib]
G. Bodnar, B. Kaltenbacher, P. Pau, J. Schicho. Exact real computation in computer algebra. In: Symbolic and Numerical Scientific Computing - Proc. of SNSC'01, U. Langer and F. Winkler (ed.), LNCS 2630, pp. 279-292. 2003. Springer, ISBN: 3-540-40554-2. [bib]
Bert Jüttler, Josef Schicho, Mohamed Shalaby. Spline Implicitization of Planar Curves. In: Curve and Surface Design: St. Malo 2002, T. Lyche, M. Mazure, L. Schumaker (ed.), Proceedings of St. Malo 2002, pp. 225-234. 2003. Nashboro Press, Brentwood, ISBN 0-9728482-0-7. [bib]
G. Landsmann, J. Schicho, F. Winkler. The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares. Journal of Symbolic Computation 32(1&2), pp. 119-132. 2001. ISSN 0747-7171. [ps] [pdf] [bib]
G. Bodnar, J. Schicho. Two computational techniques for singularity resolution. Journal of Symbolic Computation 32(1-2), pp. 39-54. 2001. ISSN: 0747-7171. [bib]
Gabor Bodnar, Josef Schicho. Two Computational Techniques for Singularity Resolution. Technical report no. 01-30 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2001. [ps] [bib]
G. Bodnar, J. Schicho. A Computer Program for the Resolution of Singularities. In: Resolution of Singularities, A research textbook in tribute to Oscar Zariski, H. Hauser and J. Lipman and F. Oort and A. Quir'os (ed.), Progress in Mathematics 181, pp. 231-238. 2000. Birkhäuser, Basel, ISBN 3-7643-6178-6. [bib]
G. Landsmann, J. Schicho, F. Winkler, E. Hillgarter. Symbolic Parametrization of pipe and Canal Surfaces. In: International Symposium on Symbolic and Algebraic Computation (ISSAC'00), C. Traverso (ed.), Proceedings of ISSAC'00, St. Andrews, Scotland, pp. 202-208. 2000. ACM-Press, ISBN 1-58113-218-2. [pdf] [ps] [bib]
G. Bodnar, J. Schicho. Automated Resolution of Singularities for Hypersurfaces. Journal of Symbolic Computation 30(4), pp. 401-428. 2000. London, ISSN: 0747-7171. [bib]
G. Bodnar, J. Schicho. An Improved Algorithm for the Resolution of Singularities. In: Proceedings of ISSAC 2000, C. Traverso (ed.), pp. 30-37. 2000. New York, ISBN: 1-58113-218-2. [bib]
Josef Schicho. Proper Parametrization of Surfaces with a Rational Pencil. Technical report no. 00-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2000. submitted to ISSAC 2000. [ps] [bib]
Gabor Bodnar, Josef Schicho. Improvements of the Algorithm for Resolution of Singularities. Technical report no. 00-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2000. [ps] [bib]
I. Kotsireas, J. Schicho. A computer algebra solution to a planar Newtonian 4-body problem with unequal masses. Technical report no. 00-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2000. also presented as a talk at MEGA 2000. [ps] [bib]
R. Gutierrez, J. Rubio, J. Schicho. Polynomial Parametrization of Regular Curves. Technical report no. 00-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2000. submitted to CAGD. [ps] [bib]
Joseph Schicho. The Parametrization Problem for Algebraic Surfaces - A Survey. Technical report no. 00-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2000. [ps] [bib]
S. Perez-Diaz, J. Schicho, J. R. Sendra. An Algorithmic Criterion for Deciding the Properness of Rational Parametrizations. Technical report no. 00-22 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2000. [ps] [bib]
Gabor Bodnar, Petru Pau, Josef Schicho. Exact Real Computation in Computer Algebra. Technical report no. 00-33 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2000. [ps] [bib]
B. Buchberger, J. Schicho. F 1303: Proving and Solving Over the Reals. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part I: Progress Report, April 1998-September 2000, B. Buchberger and U.Langer (ed.), pp. 126-142. October 2000. Johannes Kepler University Linz, Austria, [bib]
B. Buchberger, J. Schicho. F 1303: Proving and Solving Over the Reals (Progress Report). In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part I: Progress Report, April 1998-September 2000, B. Buchberger and U.Langer (ed.), pp. 126-142. October 2000. Johannes Kepler University Linz, Austria, [bib]
Josef Schicho. A direct method for polynomial parametrization of curves. Technical report no. 99-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 1999. [ps] [bib]
Gabor Bodnar, Josef Schicho. A Computer Program for the Resolution of Singularities. Technical report no. 99-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 1999. submitted to proceedings of Obergurgl 97. [ps] [bib]
Josef Schicho, Antonin Tesacek. An Improved Projection Operator for CAD using Groebner Bases. Technical report no. 99-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 1999. [ps] [bib]
Gabor Bodnar, Josef Schicho. Automated Resolution of Singularities for Hypersurfaces. Technical report no. 99-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 1999. Submitted for the JSC special issue (1999). [ps] [bib]
Petru Pau, Josef Schicho. Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition. Technical report no. 99-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 1999. [ps] [bib]
Josef Schicho. Proper Parametrization of Real Algebraic Surfaces. Technical report no. 99-28 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. July 1999. also submitted to JSC. [ps] [bib]
Josef Schicho. The Multiple Conical Surfaces. Technical report no. 99-29 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1999. submitted to Beitr. Alg. Geom.. [ps] [bib]
Josef Schicho. The Parametrization Problem for Algebraic Surfaces. Technical report no. 99-30 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1999. invited talk at the EACA'99, Septmeber 8-11, Tenerife. [ps] [bib]
Teimuraz Kutsia, Josef Schicho. Numerical Solving of Constraints of Multivariate Polynomial Strict Inequalities. Technical report no. 99-31 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. November 1999. [ps] [bib]
Erik Hillgarter, G\"unter Landsmann, Josef Schicho, Franz Winkler. Generalized Offsets as Envelopes of a One-parameter Set of Spheres. Technical report no. 99-27 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 1999. [ps] [bib]
Josef Schicho. Rational Parameterization of Real Algebraic Surfaces. Technical report no. 98-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 1998. submitted to ISSAC98. [ps] [bib]
Josef Schicho, Ziming Li. A Construction of Radical Ideals in Polynomial Algebra. Technical report no. 98-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. November 1998. [ps] [bib]
Bogdan Matasaru, Josef Schicho. The Complexity Analysis For An Algorithm To Compute Adjoints For Curves Due To Jeremy Teitelbaum. Technical report no. 98-21 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1998. [ps] [bib]
Josef Schicho. Logic 2 for Mathematicians and Computer Scientists - Lecture notes. Technical report no. 98-22 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1998. [ps] [bib]
Hoon Hong, Josef Schicho. Algorithms for Trigonometric Curves. Technical report no. 97-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 1997. [ps] [bib]
Josef Schicho. Rational Parametrization of Algebraic Surfaces. Technical report no. 97-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 1997. PhD Thesis, 2nd edition. [ps] [bib]
Josef Schicho. A Degree Bound for the Parameterization of a Rational Surface. Technical report no. 97-24 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1997. [ps] [bib]
Josef Schicho. A Note on a Theorem of Fried and MacRae. Technical report no. 97-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1997. [ps] [bib]
Josef Schicho. Inversion of Birational Maps with Gr\"obner Bases. Technical report no. 97-26 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1997. [ps] [bib]
Josef Schicho. Rational Parameterization of Surfaces. Technical report no. 97-27 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1997. [ps] [bib]
Josef Schicho. Embedded Desingularization of Hypersurfaces after Villamayor. Technical report no. 97-28 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1997. [ps] [bib]
Harald Hule, Josef Schicho. On two conjectures about systems of algebraic equations. Technical report no. 97-29 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1997. [ps] [bib]
Hoon Hong, Josef Schicho. A New Proof for the Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials. Technical report no. 96-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 1996. Not available in electronic form. Please retrieve the updated version of this paper, published as report 97-09.. [bib]
Hoon Hong, Josef Schicho, Wolfgang St\"ocher. Structure and Efficient Computation of Multiplication Tables and Associated Quadratic Forms. Technical report no. 95-51 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1995. [bib]
Josef Schicho. Rational Parametrization of Algebraic Surfaces. Symbolic Solution of an Equation in three Variables. RISC, Johannes Kepler University Linz. PhD Thesis. 1995. [bib]
Heinrich Rolletschek, Josef Schicho. On the Equation $p^2+q^3=x$. Technical report no. 92-65 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. [bib]
Josef Schicho, Juan Rafael Sendra. On the Choice of Pencils in the Parametrization of Curves. Technical report no. 91-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1991. [bib]


webmaster