Log in

Relevant bibliographies by topics / Computer assisted proots

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Computer assisted proots'

Author: Grafiati

Published: 24 April 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Computer assisted proots.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Computer assisted proots"

1

Srzednicki, Roman. "On Computer-Assisted Proving The Existence Of Periodic And Bounded Orbits." Annales Mathematicae Silesianae 29, no. 1 (2015): 7–17. http://dx.doi.org/10.1515/amsil-2015-0001.

Full text

Abstract:

AbstractWe announce a new result on determining the Conley index of the Poincaré map for a time-periodic non-autonomous ordinary differential equation. The index is computed using some singular cycles related to an index pair of a small-step discretization of the equation. We indicate how the result can be applied to computer-assisted proofs of the existence of bounded and periodic solutions. We provide also some comments on computer-assisted proving in dynamics.

APA, Harvard, Vancouver, ISO, and other styles

2

McEvoy, M. "The Epistemological Status of Computer-Assisted Proofs." Philosophia Mathematica 16, no. 3 (2007): 374–87. http://dx.doi.org/10.1093/philmat/nkn014.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Gómez-Serrano, Javier. "Computer-assisted proofs in PDE: a survey." SeMA Journal 76, no. 3 (2019): 459–84. http://dx.doi.org/10.1007/s40324-019-00186-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Wunderlich, Jonathan, and Michael Plum. "Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems." Acta Cybernetica 24, no. 3 (2020): 373–91. http://dx.doi.org/10.14232/actacyb.24.3.2020.6.

Full text

Abstract:

Motivated by the three-dimensional time-dependent Schrödinger-Poisson system we prove the existence of non-trivial solutions of the one-dimensional stationary Schrödinger-Poisson system using computer-assisted methods. Starting from a numerical approximate solution, we compute a bound for its defect, and a norm bound for the inverse of the linearization at the approximate solution. For the latter, eigenvalue bounds play a crucial role, especially for the eigenvalues "close to" zero. Therefor, we use the Rayleigh-Ritz method and a corollary of the Temple-Lehmann Theorem to get enclosures

APA, Harvard, Vancouver, ISO, and other styles

5

Maarif, Samsul, Wahyudin Wahyudin, Muchamad Subali Noto, Wahyu Hidayat, and Herri Mulyono. "GEOMETRY EXPLORATION ACTIVITIES ASSISTED WITH DYNAMIC GEOMETRY SOFTWARE (DGS) IN A TEACHER EDUCATION CLASSROOM." Infinity Journal 7, no. 2 (2018): 133. http://dx.doi.org/10.22460/infinity.v7i2.p133-146.

Full text

Abstract:

The aims of this study were conducted to investigate the effectiveness of pre-service teachers’ geometric exploration activities assisted by Dynamic Geometry Software (DGS) Cabri II Plus computer application in constructing geometry proofs in a teacher education classroom. To these ends, mix-method design. A total of 72 pre-service teachers taking geometry course participated in the study. Findings of the study show that students who participated in geometric exploration activities assisted by DGS Cabri II Plus computer application had better achievement compared to their counterpart. The use

APA, Harvard, Vancouver, ISO, and other styles

6

Breden, Maxime. "Computer-assisted proofs for some nonlinear diffusion problems." Communications in Nonlinear Science and Numerical Simulation 109 (June 2022): 106292. http://dx.doi.org/10.1016/j.cnsns.2022.106292.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

JIN, Hai-Tao. "Formal residue and computer-assisted proofs of combinatorial identities." TURKISH JOURNAL OF MATHEMATICS 42, no. 5 (2018): 2466–80. http://dx.doi.org/10.3906/mat-1804-42.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Plum, Michael. "Computer-assisted proofs for semilinear elliptic boundary value problems." Japan Journal of Industrial and Applied Mathematics 26, no. 2-3 (2009): 419–42. http://dx.doi.org/10.1007/bf03186542.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Montaño, Ulianov. "Ugly Mathematics: Why Do Mathematicians Dislike Computer-Assisted Proofs?" Mathematical Intelligencer 34, no. 4 (2012): 21–28. http://dx.doi.org/10.1007/s00283-012-9325-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Mrozek, M. "Topological invariants, mulitvalued maps and computer assisted proofs in dynamics." Computers & Mathematics with Applications 32, no. 4 (1996): 83–104. http://dx.doi.org/10.1016/0898-1221(96)00127-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Computer assisted proots"

1

Minton, Gregory T. (Gregory Thomas). "Computer-assisted proofs in geometry and physics." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/84405.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Department of Mathematics, 2013.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references.<br>In this dissertation we apply computer-assisted proof techniques to two problems, one in discrete geometry and one in celestial mechanics. Our main tool is an effective inverse function theorem which shows that, in favorable conditions, the existence of an approximate solution to a system of equations implies the existence of an exact solution nearby. This allows us to leverage approximate computational techniques for findi

APA, Harvard, Vancouver, ISO, and other styles

2

Fogelklou, Oswald. "Computer-Assisted Proofs and Other Methods for Problems Regarding Nonlinear Differential Equations." Doctoral thesis, Uppsala universitet, Analys och tillämpad matematik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-161314.

Full text

Abstract:

This PhD thesis treats some problems concerning nonlinear differential equations. In the first two papers computer-assisted proofs are used. The differential equations there are rewritten as fixed point problems, and the existence of solutions are proved. The problem in the first paper is one-dimensional; with one boundary condition given by an integral. The problem in the second paper is three-dimensional, and Dirichlet boundary conditions are used. Both problems have their origins in fluid dynamics. Paper III describes an inverse problem for the heat equation. Given the solution, a solution

APA, Harvard, Vancouver, ISO, and other styles

3

Yepremyan, Astrik. "Of Proofs, Mathematicians, and Computers." Scholarship @ Claremont, 2015. http://scholarship.claremont.edu/scripps_theses/723.

Full text

Abstract:

As computers become a more prevalent commodity in mathematical research and mathematical proof, the question of whether or not a computer assisted proof can be considered a mathematical proof has become an ongoing topic of discussion in the mathematics community. The use of the computer in mathematical research leads to several implications about mathematics in the present day including the notion that mathematical proof can be based on empirical evidence, and that some mathematical conclusions can be achieved a posteriori instead of a priori, as most mathematicians have done before. While som

APA, Harvard, Vancouver, ISO, and other styles

4

Goble, Tiffany Danielle. "Automate Reasoning: Computer Assisted Proofs in Set Theory Using Godel's Algorithm for Class Formation." Thesis, Georgia Institute of Technology, 2004. http://hdl.handle.net/1853/4767.

Full text

Abstract:

Automated reasoning, and in particular automated theorem proving, has become a very important research field within the world of mathematics. Besides being used to verify proofs of theorems, it has also been used to discover proofs of theorems which were previously open problems. In this thesis, an automated reasoning assistant based on Godel's class theory is used to deduce several theorems.

APA, Harvard, Vancouver, ISO, and other styles

5

Goble, Tiffany Danielle. "Automate Reasoning computer assisted proofs in set theory using Gödel's algorithm for class formation /." Available online, Georgia Institute of Technology, 2004:, 2004. http://etd.gatech.edu/theses/available/etd-07252004-165909/unrestricted/Goble%5FTiffany%5FD%5F200412%5FMaster.pdf.

Full text

Abstract:

Thesis (M.S.)--Mathematics, Georgia Institute of Technology, 2005.<br>Belinfante, Johan, Committee Chair ; Green, William, Committee Member ; Manolios, Panagiotis, Committee Member. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

6

Rütters, Dagmar [Verfasser], and M. [Akademischer Betreuer] Plum. "Computer-assisted Multiplicity Proofs for Emden's Equation on Domains with Hole / Dagmar Rütters. Betreuer: M. Plum." Karlsruhe : KIT-Bibliothek, 2014. http://d-nb.info/1054397015/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Coleman, Marion Elizabeth. "The Use of a Repeated Readings with Computer Modeling Treatment Package to Promote Reading Fluency with Students Who Have Physical Disabilities." unrestricted, 2008. http://etd.gsu.edu/theses/available/etd-04232008-233823/.

Full text

Abstract:

Thesis (Ph. D.)--Georgia State University, 2008.<br>Title from file title page. Kathryn Wolff Heller, committee chair; Mary Beth Calhoon, Laura D. Fredrick, Paul A. Alberto, committee members. Electronic text (126 p.) : digital, PDF file. Description based on contents viewed August 12, 2008. Includes bibliographical references (p. 118-123).

APA, Harvard, Vancouver, ISO, and other styles

8

Bréhard, Florent. "Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSEN032/document.

Full text

Abstract:

Le calcul rigoureux vise à produire des représentations certifiées pour les solutions de nombreux problèmes, notamment en analyse fonctionnelle, comme des équations différentielles ou des problèmes de contrôle optimal. En effet, certains domaines particuliers comme l’ingénierie des systèmes critiques ou les preuves mathématiques assistées par ordinateur ont des exigences de fiabilité supérieures à ce qui peut résulter de l’utilisation d’algorithmes relevant de l’analyse numérique classique.Notre objectif consiste à développer des algorithmes à la fois efficaces et validés / certifiés, dans le

APA, Harvard, Vancouver, ISO, and other styles

9

Vogt, Karen Fay. "The use of technology in meeting science reform criteria: Can web-based instruction promote scientific literacy?" CSUSB ScholarWorks, 1999. https://scholarworks.lib.csusb.edu/etd-project/1861.

Full text

Abstract:

Science educators are currently facing the challenge of reforming the practices of science education. Publications of various science and educational organizations have established new criteria for accomplishing this goal. The new goal of science educators is scientific literacy for all.

APA, Harvard, Vancouver, ISO, and other styles

10

Siklos, Malin. "Aspects of viscous shocks." Doctoral thesis, KTH, Numerical Analysis and Computer Science, NADA, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-89.

Full text

Abstract:

<p>This thesis consists of an introduction and five papers concerning different numerical and mathematical aspects of viscous shocks. </p><p>Hyperbolic conservation laws are used to model wave motion and advect- ive transport in a variety of physical applications. Solutions of hyperbolic conservation laws may become discontinuous, even in cases where initial and boundary data are smooth. Shock waves is one important type of discontinu- ity. It is also interesting to study the corresponding slightly viscous system, i.e., the system obtained when a small viscous term is added to the hyper- bolic

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Computer assisted proots"

1

Nakao, Mitsuhiro T., Michael Plum, and Yoshitaka Watanabe. Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations. Springer Singapore, 2019. http://dx.doi.org/10.1007/978-981-13-7669-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Proton therapy physics. Taylor & Francis, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ginneken, Bram van, and Carol L. Novak. Medical imaging 2012: Computer-aided diagnosis : 7-9 February 2012, San Diego, California, United States. SPIE, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Brenden, Ann E. The lawyer's guide to creating persuasive computer presentations. 2nd ed. Law Practice Management Section, American Bar Association, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

1957-, Goodhue John D., and American Bar Association. Section of Law Practice Management., eds. The lawyer's guide to creating persuasive computer presentations. 2nd ed. Law Practice Management Section, American Bar Association, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Wong, Kenneth H., and Holmes David R. Medical imaging 2012: Image-guided procedures, robotic interventions, and modeling : 5-7 February 2012, San Diego, California, United States. Edited by SPIE (Society), Agilent Technologies, and American Association of Physicists in Medicine. SPIE, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Watanabe, Yoshitaka, Mitsuhiro T. Nakao, and Michael Plum. Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations. Springer, 2019.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Transforming Functions to Fit Data: Mathematical Explorations Using Probes, Electronic Data-Collection Devices, and Graphing Calculators. Key Curriculum Pr, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ion beams in tumor therapy. Chapman & Hall, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Brenden, Ann E., and John D. Goodhue. The Lawyer's Guide to Creating Persuasive Computer Presentations, Second Edition. 2nd ed. American Bar Association, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Computer assisted proots"

1

Lanford, Oscar E. "Computer assisted proofs." In Computational Methods in Field Theory. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55997-3_30.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Søgaard-Andersen, Jørgen F., Stephen J. Garland, John V. Guttag, Nancy A. Lynch, and Anna Pogosyants. "Computer-assisted simulation proofs." In Computer Aided Verification. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56922-7_25.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Nakao, Mitsuhiro T., Michael Plum, and Yoshitaka Watanabe. "Computer-Assisted Proofs for Dynamical Systems." In Springer Series in Computational Mathematics. Springer Singapore, 2019. http://dx.doi.org/10.1007/978-981-13-7669-6_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

de la Llave, R. "Computer Assisted Proofs of Stability of Matter." In Computer Aided Proofs in Analysis. Springer New York, 1991. http://dx.doi.org/10.1007/978-1-4613-9092-3_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Seco, Luis A. "Computer Assisted Lower Bounds for Atomic Energies." In Computer Aided Proofs in Analysis. Springer New York, 1991. http://dx.doi.org/10.1007/978-1-4613-9092-3_21.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Greve, Steven H. "A real-time coaching environment for triangle congruence proofs." In Computer Assisted Learning. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51142-3_57.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Nakao, Mitsuhiro T., Michael Plum, and Yoshitaka Watanabe. "Applications to the Computer-Assisted Proofs in Analysis." In Springer Series in Computational Mathematics. Springer Singapore, 2019. http://dx.doi.org/10.1007/978-981-13-7669-6_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Celletti, Alessandra, and Luigi Chierchia. "A Computer-Assisted Approach to Small-Divisors Problems Arising in Hamiltonian Mechanics." In Computer Aided Proofs in Analysis. Springer New York, 1991. http://dx.doi.org/10.1007/978-1-4613-9092-3_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Köppe, Matthias, and Yuan Zhou. "Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems." In Lecture Notes in Computer Science. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45587-7_29.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Gerhold, Stefan, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, and Burkhard Zimmermann. "Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order." In Texts & Monographs in Symbolic Computation. Springer Vienna, 2013. http://dx.doi.org/10.1007/978-3-7091-1616-6_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Computer assisted proots"

1

"Computer-assisted proofs." In 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006). IEEE, 2006. http://dx.doi.org/10.1109/scan.2006.11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Plum, M., Kaori Nagatou, Theodore E. Simos, George Psihoyios, and Ch Tsitouras. "Symposium: Validated Computations and Computer-Assisted Proofs." In NUMERICAL ANALYSIS AND APPLIED MATHEMATICS: International Conference on Numerical Analysis and Applied Mathematics 2009: Volume 1 and Volume 2. AIP, 2009. http://dx.doi.org/10.1063/1.3241631.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Popova, Evgenija D. "Computer-Assisted Proofs in Solving Linear Parametric Problems." In 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006). IEEE, 2006. http://dx.doi.org/10.1109/scan.2006.12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

KAPELA, TOMASZ. "N-BODY CHOREOGRAPHIES WITH A REFLECTIONAL SYMMETRY - COMPUTER ASSISTED EXISTENCE PROOFS." In Proceedings of the International Conference on Differential Equations. WORLD SCIENTIFIC, 2005. http://dx.doi.org/10.1142/9789812702067_0165.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Ulintz, Peter J. "Tractive Kinematic Regression: A Computer Assisted Deep Drawing Method." In ASME 2000 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/imece2000-1849.

Full text

Abstract:

Abstract Combining today’s computer technology with new generation, multiple-action, hydraulic press equipment, has created a new process opportunity in deep drawing. Integrating these modern machine and computer controls with innovative programming and tool designs, has led to the development of a production process that produces a double reverse-drawn, cylindrical shell that significantly exceeds traditional Limiting Drawing Ratios (LDR). The method used to produce these shells employs a recently developed technique, herein referred to as Tractive Kinematic Regression, or more simply, the TK

APA, Harvard, Vancouver, ISO, and other styles

6

Chen, Chih-Wei, Hong-Sen Kou, Hsueh-Erh Liu, Cheng-Keng Chuang, and Li-Jen Wang. "Computer Assisted Simulation Model in Cryosurgery for Prostate Tumor." In ASME 2009 Heat Transfer Summer Conference collocated with the InterPACK09 and 3rd Energy Sustainability Conferences. ASMEDC, 2009. http://dx.doi.org/10.1115/ht2009-88575.

Full text

Abstract:

Cryosurgery is also called as cryoablation or cryoleision. The third generation of cryo-machine use argon gas for cooling and helium for rewarming to destroy cancer cells. The probes may be put into the tumor during surgery or through the skin (percutaneously). After cryosurgery, the frozen tissue thaws and is either naturally absorbed by the body (for internal tumors), or it dissolves and forms a scab (for external tumors). The main purpose of this paper is to establish a preliminary computer assisted simulation in prostate tumor cryosurgery. A radiologist and an urologist in a medical center

APA, Harvard, Vancouver, ISO, and other styles

7

Nanthavong, Khamsing, and Somkid Saelee. "The Development of Demonstration Computer-assisted Instruction with Project-based Learning for Computer Graphics to Promote Creative Product for Certificate of Technical-Vocational College, Lao PDR." In The 12th National Conference on Technical Education and The 7th International Conference on Technical Education. KMUTNB, Bangkok, Thailand, 2020. http://dx.doi.org/10.14416/c.fte.2020.03.006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Chen, Chih-Wei, Hong-Sen Kou, Hsueh-Erh Liu, Cheng-Keng Chuang, and Li-Jen Wang. "Computer Assisted Simulation Model for Cryoablation of Prostate Cancer Including the Possible Injury of Rectum." In ASME 2010 10th Biennial Conference on Engineering Systems Design and Analysis. ASMEDC, 2010. http://dx.doi.org/10.1115/esda2010-25449.

Full text

Abstract:

This study is to establish a preliminary computer assisted simulation model for cryoablation of a prostate cancer. It is hoped that the results from this study can supply valuable data for the clinician to refer to before a real cryosurgery or cryotherapy. In order to reach the goal of real implementation, a radiologist and an urologist in a medical center in addition to the engineering specialist from the university participated in this interdisciplinary research program. Firstly, hundreds of the two-dimensional medical imaging photos for the patient are obtained from the magnetic resonance i

APA, Harvard, Vancouver, ISO, and other styles

9

Bzymek, Zbigniew M., and Eric Jordan. "Some Problems of Design for Nano-Manufacturing: Present and Future Aspects." In ASME 2002 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2002. http://dx.doi.org/10.1115/detc2002/dfm-34427.

Full text

Abstract:

This presentation contains introductory information about the possibility of Design for Manufacturing (DFM) of nanomachines and nanomechanisms. Some consideration was also given to the Computer-Aided Design (CAD) of mechanical nanosystems. It was written with two goals in mind: first, in order to promote discussion and a deeper understanding of nanomanufacturing problems and to shed some light on these “nano” challenges. The object of the second goal was to assist manufacturing engineers in facing and understanding the problems, methods, and procedures for the Design For Manufacturing (DFM) of

APA, Harvard, Vancouver, ISO, and other styles

10

Talley, Austin, Richard H. Crawford, and Kimberly Talley. "Engineering Applicability of a Universal Design Performance Measure." In ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/detc2011-47749.

Full text

Abstract:

Universal Design (UD) is defined as the creation of products and environments to be usable by all people, to the greatest extent possible, without the need for adaptation or specialization. There is a growing need for such products. However, many products are not accessible to all potential customers, arguably due to a lack of experience, design tools, and engineering methods for creating universally designed products. Currently, there are no industry standard design tools or methods to assist engineers in the universal design of products. The Center for Universal Design (North Carolina State

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Computer assisted proots"

1

Bailey, David H., and Jonathan M. Borwein. Computer-Assisted Discovery and Proof. Office of Scientific and Technical Information (OSTI), 2007. http://dx.doi.org/10.2172/983782.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!