Andrzej Trybulec

2.0k total citations
55 papers, 1.4k citations indexed

About

Andrzej Trybulec is a scholar working on Computational Theory and Mathematics, Geometry and Topology and Mathematical Physics. According to data from OpenAlex, Andrzej Trybulec has authored 55 papers receiving a total of 1.4k indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Computational Theory and Mathematics, 10 papers in Geometry and Topology and 9 papers in Mathematical Physics. Recurrent topics in Andrzej Trybulec's work include Advanced Algebra and Logic (14 papers), Computability, Logic, AI Algorithms (9 papers) and Mathematics and Applications (8 papers). Andrzej Trybulec is often cited by papers focused on Advanced Algebra and Logic (14 papers), Computability, Logic, AI Algorithms (9 papers) and Mathematics and Applications (8 papers). Andrzej Trybulec collaborates with scholars based in Poland, Canada and United States. Andrzej Trybulec's co-authors include Yatsuka Nakamura, Piotr Rudnicki, Grzegorz Bancerek, Howard A. Blair, Andrea Asperti, Artur Korniłowicz, Adam Naumowicz and Karol Pąk and has published in prestigious journals such as Lecture notes in computer science, Journal of Automated Reasoning and Journal of Symbolic Computation.

In The Last Decade

Andrzej Trybulec

34 papers receiving 554 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Andrzej Trybulec Poland	17	734	364	362	193	186	55	1.4k
Grzegorz Bancerek Poland	17	808 1.1×	416 1.1×	496 1.4×	218 1.1×	205 1.1×	60	1.6k
József Beck United States	21	590 0.8×	217 0.6×	168 0.5×	154 0.8×	257 1.4×	67	1.4k
Van H. Vu United States	25	652 0.9×	519 1.4×	296 0.8×	347 1.8×	166 0.9×	70	1.7k
Alfred Horn United States	19	762 1.0×	270 0.7×	401 1.1×	203 1.1×	241 1.3×	35	1.4k
Czesław Byliński Poland	4	372 0.5×	205 0.6×	259 0.7×	106 0.5×	76 0.4×	4	734
Kenneth P. Bogart United States	17	508 0.7×	177 0.5×	287 0.8×	64 0.3×	149 0.8×	50	1.3k
Vera T. Sós Hungary	22	1.4k 1.9×	954 2.6×	236 0.7×	242 1.3×	147 0.8×	62	2.2k
Aviezri S. Fraenkel Israel	25	940 1.3×	135 0.4×	1.3k 3.6×	188 1.0×	151 0.8×	169	2.2k
D. J. Hartfiel United States	16	306 0.4×	138 0.4×	105 0.3×	108 0.6×	107 0.6×	83	828
Jesús A. De Loera United States	19	573 0.8×	208 0.6×	121 0.3×	85 0.4×	232 1.2×	84	1.1k

Countries citing papers authored by Andrzej Trybulec

Since Specialization

Citations

This map shows the geographic impact of Andrzej Trybulec's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Andrzej Trybulec with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Andrzej Trybulec more than expected).

Fields of papers citing papers by Andrzej Trybulec

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Andrzej Trybulec. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Andrzej Trybulec. The network helps show where Andrzej Trybulec may publish in the future.

Co-authorship network of co-authors of Andrzej Trybulec

This figure shows the co-authorship network connecting the top 25 collaborators of Andrzej Trybulec. A scholar is included among the top collaborators of Andrzej Trybulec based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Andrzej Trybulec. Andrzej Trybulec is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Trybulec, Andrzej, et al.. (2012). Formal Mathematics for Mathematicians. Journal of Automated Reasoning. 50(2). 119–121. 10 indexed citations

2.

Trybulec, Andrzej. (2007). Modifying Addresses of Instructions of SCMFSA.

3.

Trybulec, Andrzej & Yatsuka Nakamura. (2007). On the Order on a Special Polygon. 1 indexed citations

4.

Asperti, Andrea, Grzegorz Bancerek, & Andrzej Trybulec. (2004). Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings (Lecture Notes in Computer Science). Springer eBooks. 3 indexed citations

5.

Rudnicki, Piotr, et al.. (2001). Defining power series and polynomials in Mizar. 191–204. 1 indexed citations

6.

Rudnicki, Piotr, et al.. (2001). Commutative Algebra in the Mizar System. Journal of Symbolic Computation. 32(1-2). 143–169. 18 indexed citations

7.

Nakamura, Yatsuka & Andrzej Trybulec. (1999). Bounded Domains and Unbounded Domains. 12 indexed citations

8.

Rudnicki, Piotr & Andrzej Trybulec. (1997). Fixpoints in Complete Lattices. 2 indexed citations

9.

Nakamura, Yatsuka & Andrzej Trybulec. (1997). The First Part of Jordan's Theorem for Special Polygons.

10.

Trybulec, Andrzej & Piotr Rudnicki. (1996). A Note on "How to Write a Proof". University of Alberta Library. 2 indexed citations

11.

Trybulec, Andrzej. (1996). On the Geometry of a Go-Board. 1 indexed citations

12.

Trybulec, Andrzej. (1996). On the Decomposition of Finite Sequences. 7 indexed citations

13.

Trybulec, Andrzej. (1990). Domains and Their Cartesian Products. 17(11). 998–1001. 172 indexed citations

14.

Trybulec, Andrzej. (1990). Function Domains and Frænkel Operator. 47 indexed citations

15.

Trybulec, Andrzej. (1990). Some Properties of Real Numbers 1. 28 indexed citations

16.

Trybulec, Andrzej. (1990). Tuples, Projections and Cartesian Products. 116 indexed citations

17.

Trybulec, Andrzej. (1990). Binary Operations Applied to Functions. 176 indexed citations

18.

Trybulec, Andrzej. (1990). Finite Join and Finite Meet, and Dual Lattices. 2 indexed citations

19.

Trybulec, Andrzej & Howard A. Blair. (1985). Computer assisted reasoning with MIZAR. International Joint Conference on Artificial Intelligence. 26–28. 29 indexed citations

20.

Trybulec, Andrzej & Howard A. Blair. (1985). Computer Aider Reasoning. 406–412. 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact